$answer$ ; $proof$ ; $question$ = Anne is blue. ; $context$ = sent1: Anne is smart. sent2: Charlie is quiet. sent3: Charlie is smart. sent4: Erin is smart. sent5: Erin is young. sent6: Harry is big. sent7: Harry is green. sent8: If someone is big then they are white. sent9: Young, quiet people are big. sent10: All quiet, young people are big. sent11: If someone is smart then they are quiet. sent12: Quiet people are young. sent13: Green, big people are blue. sent14: Big, green people are smart. sent15: If Anne is big then Anne is green.

$answer$ = True ; $proof$ = # sent13%int1 & # sent15%int2 # sent10%int3 & # sent11%int5 sent1 # sent12%int4 # sent11%int5 sent1 # sent10%int3 & # sent11%int5 sent1 # sent12%int4 # sent11%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is not blue. ; $context$ = sent1: Anne is smart. sent2: Charlie is quiet. sent3: Charlie is smart. sent4: Erin is smart. sent5: Erin is young. sent6: Harry is big. sent7: Harry is green. sent8: If someone is big then they are white. sent9: Young, quiet people are big. sent10: All quiet, young people are big. sent11: If someone is smart then they are quiet. sent12: Quiet people are young. sent13: Green, big people are blue. sent14: Big, green people are smart. sent15: If Anne is big then Anne is green.

$answer$ = False ; $proof$ = # sent13%int1 & # sent15%int2 # sent10%int3 & # sent11%int5 sent1 # sent12%int4 # sent11%int5 sent1 # sent10%int3 & # sent11%int5 sent1 # sent12%int4 # sent11%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is furry. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = Bob is not furry. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Bob is blue. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = True ; $proof$ = # sent17%int1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is not red. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = False ; $proof$ = # sent14%int1 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Charlie is smart. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is not red. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = False ; $proof$ = # sent14%int1 & sent2 # sent17%int2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is smart. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = True ; $proof$ = # sent16%int1 # sent14%int2 & sent2 # sent17%int3 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is not kind. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = False ; $proof$ = # sent18%int1 # sent16%int2 # sent14%int3 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is kind. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = True ; $proof$ = # sent18%int1 # sent16%int2 # sent14%int3 & sent2 # sent17%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is not kind. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = False ; $proof$ = # sent18%int1 # sent16%int2 # sent14%int3 & sent2 # sent17%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is big. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = True ; $proof$ = # sent13%int1 # sent18%int2 # sent16%int3 # sent14%int4 & sent2 # sent17%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is not big. ; $context$ = sent1: Bob is furry. sent2: Bob is quiet. sent3: Charlie is furry. sent4: Charlie is kind. sent5: Gary is blue. sent6: Gary is quiet. sent7: Harry is big. sent8: Harry is blue. sent9: Harry is furry. sent10: Harry is kind. sent11: Harry is quiet. sent12: Harry is smart. sent13: If something is kind then it is big. sent14: All quiet, blue things are red. sent15: If Charlie is not quiet then Charlie is red. sent16: Red things are smart. sent17: Furry things are blue. sent18: If something is smart then it is kind. sent19: If Charlie is big then Charlie is smart.

$answer$ = False ; $proof$ = # sent13%int1 # sent18%int2 # sent16%int3 # sent14%int4 & sent2 # sent17%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow eats the cat. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The rabbit does not chase the cat. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = False ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = The rabbit is young. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = True ; $proof$ = # sent18%int1 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The bear is not young. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = False ; $proof$ = # sent18%int1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The bear chases the cow. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = True ; $proof$ = # sent21%int1 & # sent18%int2 sent1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit does not eat the rabbit. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = False ; $proof$ = # sent19%int1 & sent13 # sent18%int2 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow eats the rabbit. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = True ; $proof$ = # sent22%int1 & # sent21%int3 & # sent18%int4 sent1 naf1 # sent23%int2 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow does not eat the rabbit. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = False ; $proof$ = # sent22%int1 & # sent21%int3 & # sent18%int4 sent1 naf1 # sent23%int2 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The bear eats the cat. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = True ; $proof$ = # sent25%int1 & sent8 # sent22%int2 & # sent21%int4 & # sent18%int5 sent1 naf1 # sent23%int3 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The bear does not eat the cat. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = False ; $proof$ = # sent25%int1 & sent8 # sent22%int2 & # sent21%int4 & # sent18%int5 sent1 naf1 # sent23%int3 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The bear eats the rabbit. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = True ; $proof$ = # sent19%int1 & # sent25%int2 & sent8 # sent22%int3 & # sent21%int5 & # sent18%int6 sent1 naf1 # sent23%int4 sent12 # sent18%int6 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The bear does not eat the rabbit. ; $context$ = sent1: The bear eats the cow. sent2: The cat chases the bear. sent3: The cat eats the rabbit. sent4: The cat is red. sent5: The cat needs the cow. sent6: The cow eats the bear. sent7: The cow eats the cat. sent8: The cow needs the bear. sent9: The cow needs the rabbit. sent10: The rabbit chases the bear. sent11: The rabbit chases the cat. sent12: The rabbit eats the bear. sent13: The rabbit eats the cat. sent14: The rabbit eats the cow. sent15: The rabbit is green. sent16: The rabbit is red. sent17: If something needs the cat and it chases the bear then it is round. sent18: If something eats the cow then it is young. sent19: If something eats the cat and it is young then it eats the rabbit. sent20: If the cat eats the cow then the cow eats the cat. sent21: If something is young and not red then it chases the cow. sent22: If the bear chases the cow and the bear is round then the cow eats the rabbit. sent23: If something eats the bear then the bear is round. sent24: If something eats the cat and the cat needs the bear then it needs the cow. sent25: If something needs the bear and it eats the rabbit then the bear eats the cat.

$answer$ = False ; $proof$ = # sent19%int1 & # sent25%int2 & sent8 # sent22%int3 & # sent21%int5 & # sent18%int6 sent1 naf1 # sent23%int4 sent12 # sent18%int6 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.