$answer$ ; $proof$ ; $question$ = Erin is not big. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = False ; $proof$ = # sent13%int1 sent5 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Anne is cold. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = True ; $proof$ = # sent15%int1 # sent18%int2 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is not red. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = False ; $proof$ = # sent20%int1 # sent13%int2 sent5 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Anne is big. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = True ; $proof$ = # sent13%int1 & # sent15%int2 # sent18%int3 sent2 # sent18%int3 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Anne is not big. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = False ; $proof$ = # sent13%int1 & # sent15%int2 # sent18%int3 sent2 # sent18%int3 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Anne is smart. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = True ; $proof$ = # sent19%int1 & # sent13%int2 & # sent15%int3 # sent18%int4 sent2 # sent18%int4 sent2 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Anne is not smart. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = False ; $proof$ = # sent19%int1 & # sent13%int2 & # sent15%int3 # sent18%int4 sent2 # sent18%int4 sent2 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Anne is rough. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = True ; $proof$ = # sent14%int1 & # sent19%int2 & # sent13%int3 & # sent15%int4 # sent18%int5 sent2 # sent18%int5 sent2 sent1 # sent15%int4 # sent18%int5 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Anne is not rough. ; $context$ = sent1: Anne is red. sent2: Anne is round. sent3: Dave is red. sent4: Erin is cold. sent5: Erin is quiet. sent6: Erin is rough. sent7: Erin is smart. sent8: Harry is big. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is round. sent12: Harry is smart. sent13: All cold, quiet things are big. sent14: Smart, cold things are rough. sent15: If something is quiet then it is cold. sent16: If something is big and cold then it is smart. sent17: If Erin is rough then Erin is cold. sent18: All round things are quiet. sent19: If something is big and red then it is smart. sent20: Big things are red.

$answer$ = False ; $proof$ = # sent14%int1 & # sent19%int2 & # sent13%int3 & # sent15%int4 # sent18%int5 sent2 # sent18%int5 sent2 sent1 # sent15%int4 # sent18%int5 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is kind. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Charlie is not blue. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = False ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Fiona is kind. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = True ; $proof$ = # sent16%int1 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is not kind. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = False ; $proof$ = # sent16%int1 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Gary is nice. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = True ; $proof$ = # sent15%int1 & # sent16%int2 sent12 sent11 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is not green. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = False ; $proof$ = # sent13%int1 & # sent16%int2 sent10 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Gary is rough. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = True ; $proof$ = # sent19%int1 & # sent13%int2 & # sent16%int3 sent12 sent12 sent12 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Gary is not rough. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = False ; $proof$ = # sent19%int1 & # sent13%int2 & # sent16%int3 sent12 sent12 sent12 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is blue. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = True ; $proof$ = # sent14%int1 & # sent13%int3 & # sent16%int4 sent10 sent10 # sent19%int2 & # sent13%int3 & # sent16%int4 sent10 sent10 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is not blue. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = False ; $proof$ = # sent14%int1 & # sent13%int3 & # sent16%int4 sent10 sent10 # sent19%int2 & # sent13%int3 & # sent16%int4 sent10 sent10 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is nice. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = True ; $proof$ = # sent15%int1 & # sent16%int5 sent10 # sent14%int2 & # sent13%int4 & # sent16%int5 sent10 sent10 # sent19%int3 & # sent13%int4 & # sent16%int5 sent10 sent10 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is not nice. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Charlie is blue. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Fiona is white. sent11: Gary is blue. sent12: Gary is white. sent13: All kind, white things are green. sent14: Green, rough things are blue. sent15: All kind, blue things are nice. sent16: All white things are kind. sent17: All green, nice things are white. sent18: If Gary is rough then Gary is green. sent19: If something is green and white then it is rough. sent20: Rough things are white. sent21: If Charlie is rough then Charlie is green.

$answer$ = False ; $proof$ = # sent15%int1 & # sent16%int5 sent10 # sent14%int2 & # sent13%int4 & # sent16%int5 sent10 sent10 # sent19%int3 & # sent13%int4 & # sent16%int5 sent10 sent10 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear eats the cow. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The dog does not see the cow. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = False ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = The bear eats the dog. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = True ; $proof$ = # sent15%int1 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog does not eat the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = False ; $proof$ = # sent20%int1 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow eats the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = True ; $proof$ = # sent20%int1 # sent21%int2 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog does not like the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = False ; $proof$ = # sent23%int1 & # sent20%int2 sent9 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear is kind. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = True ; $proof$ = # sent18%int1 # sent23%int2 & # sent20%int3 sent9 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog does not eat the dog. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = False ; $proof$ = # sent22%int1 & # sent23%int2 & # sent20%int3 sent9 sent1 # sent20%int3 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear eats the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = True ; $proof$ = # sent20%int1 # sent18%int2 # sent23%int3 & # sent20%int4 sent9 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear does not eat the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = False ; $proof$ = # sent20%int1 # sent18%int2 # sent23%int3 & # sent20%int4 sent9 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear likes the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = True ; $proof$ = # sent23%int1 & # sent20%int2 # sent18%int3 # sent23%int4 & # sent20%int5 sent9 sent1 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear does not like the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear sees the cow. sent3: The bear sees the squirrel. sent4: The cow is blue. sent5: The cow likes the squirrel. sent6: The cow sees the squirrel. sent7: The dog eats the cow. sent8: The dog is cold. sent9: The dog is kind. sent10: The dog sees the cow. sent11: The squirrel eats the cow. sent12: The squirrel likes the dog. sent13: The squirrel sees the bear. sent14: The squirrel sees the cow. sent15: If something sees the squirrel then it eats the dog. sent16: If something sees the bear then the bear is rough. sent17: If the cow likes the dog then the cow sees the dog. sent18: If something likes the bear then the bear is kind. sent19: If the cow eats the bear then the bear sees the cow. sent20: If something is kind then it eats the bear. sent21: Blue things are kind. sent22: If something likes the bear and it eats the bear then it eats the dog. sent23: If something eats the bear and the bear eats the cow then it likes the bear.

$answer$ = False ; $proof$ = # sent23%int1 & # sent20%int2 # sent18%int3 # sent23%int4 & # sent20%int5 sent9 sent1 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Bob is cold. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Fiona is not cold. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = False ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Fiona is smart. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = True ; $proof$ = # sent13%int1 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is not red. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = False ; $proof$ = # sent9%int1 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is young. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = True ; $proof$ = # sent11%int1 # sent13%int2 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Gary is not cold. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = False ; $proof$ = # sent16%int1 # sent11%int2 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is young. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = True ; $proof$ = # sent12%int1 & sent2 # sent9%int2 # sent10%int3 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is not young. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = False ; $proof$ = # sent12%int1 & sent2 # sent9%int2 # sent10%int3 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is green. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = True ; $proof$ = # sent14%int1 # sent12%int2 & sent2 # sent9%int3 # sent10%int4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is not green. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = False ; $proof$ = # sent14%int1 # sent12%int2 & sent2 # sent9%int3 # sent10%int4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = True ; $proof$ = # sent15%int1 & # sent9%int4 # sent10%int5 sent2 # sent14%int2 # sent12%int3 & sent2 # sent9%int4 # sent10%int5 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is not kind. ; $context$ = sent1: Bob is cold. sent2: Erin is rough. sent3: Fiona is cold. sent4: Fiona is green. sent5: Gary is green. sent6: Gary is red. sent7: Gary is smart. sent8: If something is rough and young then it is red. sent9: If something is cold then it is red. sent10: All rough things are cold. sent11: All smart things are young. sent12: If something is rough and red then it is young. sent13: All green things are smart. sent14: If Erin is young then Erin is green. sent15: All red, green things are kind. sent16: If Gary is young then Gary is cold.

$answer$ = False ; $proof$ = # sent15%int1 & # sent9%int4 # sent10%int5 sent2 # sent14%int2 # sent12%int3 & sent2 # sent9%int4 # sent10%int5 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bald eagle likes the cow. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The bald eagle is not rough. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = The bald eagle is kind. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = True ; $proof$ = # sent13%int1 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bald eagle is not kind. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = False ; $proof$ = # sent13%int1 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow is green. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = True ; $proof$ = # sent17%int1 & # sent13%int2 sent8 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bald eagle does not chase the cow. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = False ; $proof$ = # sent16%int1 # sent13%int2 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bald eagle is young. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = True ; $proof$ = # sent14%int1 & # sent13%int3 sent1 # sent16%int2 # sent13%int3 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow is not kind. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = False ; $proof$ = # sent13%int1 # sent17%int2 & # sent13%int3 sent8 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow chases the cow. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = True ; $proof$ = # sent16%int1 # sent13%int2 # sent17%int3 & # sent13%int4 sent8 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow does not chase the cow. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = False ; $proof$ = # sent16%int1 # sent13%int2 # sent17%int3 & # sent13%int4 sent8 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow is young. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = True ; $proof$ = # sent14%int1 & # sent13%int3 # sent17%int4 & # sent13%int5 sent8 sent9 # sent16%int2 # sent13%int3 # sent17%int4 & # sent13%int5 sent8 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow is not young. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle is rough. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the mouse. sent5: The bald eagle visits the lion. sent6: The cow likes the lion. sent7: The lion chases the cow. sent8: The lion is green. sent9: The lion visits the cow. sent10: The mouse chases the lion. sent11: The mouse visits the lion. sent12: If something visits the mouse and it is kind then the mouse likes the bald eagle. sent13: If something is green then it is kind. sent14: If something is kind and it chases the cow then it is young. sent15: If something is green and round then it visits the cow. sent16: If something is kind then it chases the cow. sent17: If something is kind and it visits the cow then the cow is green.

$answer$ = False ; $proof$ = # sent14%int1 & # sent13%int3 # sent17%int4 & # sent13%int5 sent8 sent9 # sent16%int2 # sent13%int3 # sent17%int4 & # sent13%int5 sent8 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger likes the bald eagle. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = The tiger is not green. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = The tiger is rough. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = True ; $proof$ = # sent18%int1 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bald eagle does not like the bald eagle. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = False ; $proof$ = # sent14%int1 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger is nice. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = True ; $proof$ = # sent16%int1 # sent18%int2 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger is not nice. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = False ; $proof$ = # sent16%int1 # sent18%int2 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog sees the bald eagle. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = True ; $proof$ = # sent13%int1 & sent10 # sent16%int2 # sent18%int3 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog does not see the bald eagle. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = False ; $proof$ = # sent13%int1 & sent10 # sent16%int2 # sent18%int3 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog is green. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = True ; $proof$ = # sent12%int1 # sent13%int2 & sent10 # sent16%int3 # sent18%int4 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog is not green. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = False ; $proof$ = # sent12%int1 # sent13%int2 & sent10 # sent16%int3 # sent18%int4 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog sees the cow. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = True ; $proof$ = # sent11%int1 # sent12%int2 # sent13%int3 & sent10 # sent16%int4 # sent18%int5 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog does not see the cow. ; $context$ = sent1: The bald eagle likes the dog. sent2: The bald eagle sees the cow. sent3: The bald eagle sees the dog. sent4: The cow chases the tiger. sent5: The cow is cold. sent6: The dog likes the tiger. sent7: The dog sees the tiger. sent8: The tiger is green. sent9: The tiger likes the bald eagle. sent10: The tiger likes the dog. sent11: If someone is green then they see the cow. sent12: If the dog sees the bald eagle then the dog is green. sent13: If someone likes the dog and they are nice then the dog sees the bald eagle. sent14: If someone sees the dog then they like the bald eagle. sent15: If someone chases the tiger then the tiger is green. sent16: All rough people are nice. sent17: If someone likes the dog and they are green then they chase the tiger. sent18: If someone chases the tiger then the tiger is rough. sent19: If someone is rough and not nice then they like the cow.

$answer$ = False ; $proof$ = # sent11%int1 # sent12%int2 # sent13%int3 & sent10 # sent16%int4 # sent18%int5 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is rough. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Charlie is not quiet. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Charlie is big. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent13%int1 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Bob is not smart. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent21%int1 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is round. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent17%int1 & sent7 # sent13%int2 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is not round. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent17%int1 & sent7 # sent13%int2 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is green. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent15%int1 # sent17%int2 & sent7 # sent13%int3 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is not green. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent15%int1 # sent17%int2 & sent7 # sent13%int3 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is nice. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent16%int1 & # sent15%int2 # sent17%int3 & sent7 # sent13%int4 sent7 sent6 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is not nice. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent16%int1 & # sent15%int2 # sent17%int3 & sent7 # sent13%int4 sent7 sent6 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is smart. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent21%int1 # sent16%int2 & # sent15%int3 # sent17%int4 & sent7 # sent13%int5 sent7 sent6 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Charlie is not smart. ; $context$ = sent1: Bob is big. sent2: Bob is nice. sent3: Bob is quiet. sent4: Bob is rough. sent5: Bob is round. sent6: Charlie is quiet. sent7: Charlie is rough. sent8: Dave is green. sent9: Dave is nice. sent10: Erin is rough. sent11: Erin is round. sent12: Erin is smart. sent13: Rough things are big. sent14: If Dave is nice then Dave is green. sent15: If something is round then it is green. sent16: If something is green and quiet then it is nice. sent17: Rough, big things are round. sent18: Quiet, nice things are rough. sent19: All quiet, smart things are green. sent20: Quiet, smart things are nice. sent21: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent21%int1 # sent16%int2 & # sent15%int3 # sent17%int4 & sent7 # sent13%int5 sent7 sent6 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The rabbit eats the tiger. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The rabbit does not see the cow. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The bear is red. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = True ; $proof$ = # sent15%int1 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger does not visit the rabbit. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = False ; $proof$ = # sent13%int1 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger is kind. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = True ; $proof$ = # sent11%int1 # sent13%int2 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger is not kind. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = False ; $proof$ = # sent11%int1 # sent13%int2 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The rabbit eats the cow. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = True ; $proof$ = # sent12%int1 & sent8 # sent13%int3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The rabbit does not eat the cow. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = False ; $proof$ = # sent12%int1 & sent8 # sent13%int3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The rabbit visits the rabbit. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = True ; $proof$ = # sent13%int1 & # sent12%int2 & sent8 # sent13%int4 sent3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The rabbit does not visit the rabbit. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = False ; $proof$ = # sent13%int1 & # sent12%int2 & sent8 # sent13%int4 sent3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The rabbit is kind. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = True ; $proof$ = # sent11%int1 # sent13%int2 & # sent12%int3 & sent8 # sent13%int5 sent3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The rabbit is not kind. ; $context$ = sent1: The bear eats the tiger. sent2: The bear is kind. sent3: The cow sees the rabbit. sent4: The rabbit eats the tiger. sent5: The rabbit sees the bear. sent6: The rabbit sees the cow. sent7: The rabbit visits the cow. sent8: The tiger eats the cow. sent9: The tiger is cold. sent10: The tiger is nice. sent11: If someone visits the rabbit then they are kind. sent12: If someone is kind and they visit the rabbit then the rabbit eats the cow. sent13: If someone eats the cow and the cow sees the rabbit then they visit the rabbit. sent14: If the tiger visits the rabbit then the tiger eats the cow. sent15: If the bear eats the tiger then the bear is red. sent16: If someone eats the cow and they are not kind then they see the cow. sent17: If someone visits the rabbit and the rabbit sees the cow then the rabbit visits the cow.

$answer$ = False ; $proof$ = # sent11%int1 # sent13%int2 & # sent12%int3 & sent8 # sent13%int5 sent3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger is green. ; $context$ = sent1: The bear is green. sent2: The bear is nice. sent3: The cow is round. sent4: The cow likes the tiger. sent5: The cow sees the tiger. sent6: The cow visits the tiger. sent7: The mouse is round. sent8: The mouse likes the cow. sent9: The mouse sees the tiger. sent10: The tiger is green. sent11: The tiger likes the bear. sent12: If something is nice then it likes the tiger. sent13: If the tiger is green then the tiger is big. sent14: If something likes the cow and the cow does not see the mouse then it is nice. sent15: If the bear is round and the bear is kind then the bear is big. sent16: If something sees the bear then it likes the mouse. sent17: If something likes the tiger then it sees the bear. sent18: If something likes the mouse and the mouse likes the cow then it visits the bear. sent19: If the bear is not round and the bear does not like the tiger then the tiger likes the mouse.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = The cow does not like the tiger. ; $context$ = sent1: The bear is green. sent2: The bear is nice. sent3: The cow is round. sent4: The cow likes the tiger. sent5: The cow sees the tiger. sent6: The cow visits the tiger. sent7: The mouse is round. sent8: The mouse likes the cow. sent9: The mouse sees the tiger. sent10: The tiger is green. sent11: The tiger likes the bear. sent12: If something is nice then it likes the tiger. sent13: If the tiger is green then the tiger is big. sent14: If something likes the cow and the cow does not see the mouse then it is nice. sent15: If the bear is round and the bear is kind then the bear is big. sent16: If something sees the bear then it likes the mouse. sent17: If something likes the tiger then it sees the bear. sent18: If something likes the mouse and the mouse likes the cow then it visits the bear. sent19: If the bear is not round and the bear does not like the tiger then the tiger likes the mouse.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The tiger is big. ; $context$ = sent1: The bear is green. sent2: The bear is nice. sent3: The cow is round. sent4: The cow likes the tiger. sent5: The cow sees the tiger. sent6: The cow visits the tiger. sent7: The mouse is round. sent8: The mouse likes the cow. sent9: The mouse sees the tiger. sent10: The tiger is green. sent11: The tiger likes the bear. sent12: If something is nice then it likes the tiger. sent13: If the tiger is green then the tiger is big. sent14: If something likes the cow and the cow does not see the mouse then it is nice. sent15: If the bear is round and the bear is kind then the bear is big. sent16: If something sees the bear then it likes the mouse. sent17: If something likes the tiger then it sees the bear. sent18: If something likes the mouse and the mouse likes the cow then it visits the bear. sent19: If the bear is not round and the bear does not like the tiger then the tiger likes the mouse.

$answer$ = True ; $proof$ = # sent13%int1 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear does not like the tiger. ; $context$ = sent1: The bear is green. sent2: The bear is nice. sent3: The cow is round. sent4: The cow likes the tiger. sent5: The cow sees the tiger. sent6: The cow visits the tiger. sent7: The mouse is round. sent8: The mouse likes the cow. sent9: The mouse sees the tiger. sent10: The tiger is green. sent11: The tiger likes the bear. sent12: If something is nice then it likes the tiger. sent13: If the tiger is green then the tiger is big. sent14: If something likes the cow and the cow does not see the mouse then it is nice. sent15: If the bear is round and the bear is kind then the bear is big. sent16: If something sees the bear then it likes the mouse. sent17: If something likes the tiger then it sees the bear. sent18: If something likes the mouse and the mouse likes the cow then it visits the bear. sent19: If the bear is not round and the bear does not like the tiger then the tiger likes the mouse.

$answer$ = False ; $proof$ = # sent12%int1 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow likes the mouse. ; $context$ = sent1: The bear is green. sent2: The bear is nice. sent3: The cow is round. sent4: The cow likes the tiger. sent5: The cow sees the tiger. sent6: The cow visits the tiger. sent7: The mouse is round. sent8: The mouse likes the cow. sent9: The mouse sees the tiger. sent10: The tiger is green. sent11: The tiger likes the bear. sent12: If something is nice then it likes the tiger. sent13: If the tiger is green then the tiger is big. sent14: If something likes the cow and the cow does not see the mouse then it is nice. sent15: If the bear is round and the bear is kind then the bear is big. sent16: If something sees the bear then it likes the mouse. sent17: If something likes the tiger then it sees the bear. sent18: If something likes the mouse and the mouse likes the cow then it visits the bear. sent19: If the bear is not round and the bear does not like the tiger then the tiger likes the mouse.

$answer$ = True ; $proof$ = # sent16%int1 # sent17%int2 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The mouse does not like the tiger. ; $context$ = sent1: The bear is green. sent2: The bear is nice. sent3: The cow is round. sent4: The cow likes the tiger. sent5: The cow sees the tiger. sent6: The cow visits the tiger. sent7: The mouse is round. sent8: The mouse likes the cow. sent9: The mouse sees the tiger. sent10: The tiger is green. sent11: The tiger likes the bear. sent12: If something is nice then it likes the tiger. sent13: If the tiger is green then the tiger is big. sent14: If something likes the cow and the cow does not see the mouse then it is nice. sent15: If the bear is round and the bear is kind then the bear is big. sent16: If something sees the bear then it likes the mouse. sent17: If something likes the tiger then it sees the bear. sent18: If something likes the mouse and the mouse likes the cow then it visits the bear. sent19: If the bear is not round and the bear does not like the tiger then the tiger likes the mouse.

$answer$ = False ; $proof$ = # sent12%int1 # sent14%int2 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear likes the mouse. ; $context$ = sent1: The bear is green. sent2: The bear is nice. sent3: The cow is round. sent4: The cow likes the tiger. sent5: The cow sees the tiger. sent6: The cow visits the tiger. sent7: The mouse is round. sent8: The mouse likes the cow. sent9: The mouse sees the tiger. sent10: The tiger is green. sent11: The tiger likes the bear. sent12: If something is nice then it likes the tiger. sent13: If the tiger is green then the tiger is big. sent14: If something likes the cow and the cow does not see the mouse then it is nice. sent15: If the bear is round and the bear is kind then the bear is big. sent16: If something sees the bear then it likes the mouse. sent17: If something likes the tiger then it sees the bear. sent18: If something likes the mouse and the mouse likes the cow then it visits the bear. sent19: If the bear is not round and the bear does not like the tiger then the tiger likes the mouse.

$answer$ = True ; $proof$ = # sent16%int1 # sent17%int2 # sent12%int3 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.