$answer$ ; $proof$ ; $question$ = The dog visits the bald eagle. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = True ; $proof$ = sent13


$answer$ ; $proof$ ; $question$ = The dog does not see the bald eagle. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = False ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = The bald eagle is red. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = True ; $proof$ = # sent21%int1 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The dog does not need the squirrel. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = False ; $proof$ = # sent17%int1 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel visits the dog. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = True ; $proof$ = # sent18%int1 & sent5 # sent22%int2 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel does not visit the dog. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = False ; $proof$ = # sent18%int1 & sent5 # sent22%int2 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel is blue. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = True ; $proof$ = # sent22%int1 & # sent18%int2 & sent5 # sent22%int3 sent11 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel is not blue. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = False ; $proof$ = # sent22%int1 & # sent18%int2 & sent5 # sent22%int3 sent11 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel visits the bear. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = True ; $proof$ = # sent19%int1 # sent22%int2 & # sent18%int3 & sent5 # sent22%int4 sent11 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel does not visit the bear. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = False ; $proof$ = # sent19%int1 # sent22%int2 & # sent18%int3 & sent5 # sent22%int4 sent11 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The bald eagle visits the bald eagle. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = True ; $proof$ = # sent20%int1 & sent4 # sent19%int2 # sent22%int3 & # sent18%int4 & sent5 # sent22%int5 sent11 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The bald eagle does not visit the bald eagle. ; $context$ = sent1: The bald eagle is round. sent2: The bald eagle sees the bear. sent3: The bald eagle sees the dog. sent4: The bald eagle sees the squirrel. sent5: The bald eagle visits the dog. sent6: The bald eagle visits the squirrel. sent7: The bear is young. sent8: The bear needs the squirrel. sent9: The bear sees the squirrel. sent10: The dog is nice. sent11: The dog sees the bald eagle. sent12: The dog sees the bear. sent13: The dog visits the bald eagle. sent14: The squirrel is red. sent15: The squirrel is round. sent16: The squirrel needs the dog. sent17: If something visits the dog then the dog needs the squirrel. sent18: If something sees the squirrel and it is blue then the squirrel visits the dog. sent19: If something is blue then it visits the bear. sent20: If something sees the squirrel and the squirrel visits the bear then it visits the bald eagle. sent21: Round things are red. sent22: If something visits the dog and the dog sees the bald eagle then it is blue. sent23: If something is young and it sees the bald eagle then the bald eagle needs the bear. sent24: If something visits the bear then the bear sees the squirrel.

$answer$ = False ; $proof$ = # sent20%int1 & sent4 # sent19%int2 # sent22%int3 & # sent18%int4 & sent5 # sent22%int5 sent11 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The mouse visits the squirrel. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The tiger does not like the squirrel. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = False ; $proof$ = sent13


$answer$ ; $proof$ ; $question$ = The tiger likes the mouse. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = True ; $proof$ = # sent22%int1 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The cow does not visit the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = False ; $proof$ = # sent19%int1 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger visits the mouse. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = True ; $proof$ = # sent15%int1 & # sent22%int2 sent13 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger does not visit the mouse. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = False ; $proof$ = # sent15%int1 & # sent22%int2 sent13 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The mouse likes the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 & # sent22%int3 sent13 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The mouse does not like the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = False ; $proof$ = # sent16%int1 # sent15%int2 & # sent22%int3 sent13 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The mouse likes the tiger. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = True ; $proof$ = # sent18%int1 # sent16%int2 # sent15%int3 & # sent22%int4 sent13 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The mouse does not like the tiger. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = False ; $proof$ = # sent18%int1 # sent16%int2 # sent15%int3 & # sent22%int4 sent13 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The mouse visits the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = True ; $proof$ = # sent19%int1 # sent18%int2 # sent16%int3 # sent15%int4 & # sent22%int5 sent13 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The mouse does not visit the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the tiger. sent3: The cow visits the tiger. sent4: The mouse chases the squirrel. sent5: The mouse is red. sent6: The mouse is round. sent7: The mouse visits the squirrel. sent8: The squirrel chases the mouse. sent9: The squirrel chases the tiger. sent10: The tiger chases the mouse. sent11: The tiger chases the squirrel. sent12: The tiger is blue. sent13: The tiger likes the squirrel. sent14: The tiger visits the squirrel. sent15: If something likes the mouse and it likes the squirrel then it visits the mouse. sent16: If something visits the mouse then the mouse likes the cow. sent17: If something likes the cow and it is red then the cow likes the mouse. sent18: If something likes the cow then it likes the tiger. sent19: If something likes the tiger then it visits the cow. sent20: If the mouse is round then the mouse is red. sent21: If something visits the tiger then the tiger chases the mouse. sent22: If something likes the squirrel then it likes the mouse. sent23: If something is nice then it likes the mouse.

$answer$ = False ; $proof$ = # sent19%int1 # sent18%int2 # sent16%int3 # sent15%int4 & # sent22%int5 sent13 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is red. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = True ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Dave is not red. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Harry is furry. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = True ; $proof$ = # sent11%int1 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is not round. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = False ; $proof$ = # sent18%int1 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is white. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = True ; $proof$ = # sent14%int1 # sent18%int2 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is not white. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = False ; $proof$ = # sent14%int1 # sent18%int2 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is blue. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = True ; $proof$ = # sent13%int1 & sent10 # sent17%int2 & # sent11%int3 sent9 sent8 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is not blue. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = False ; $proof$ = # sent13%int1 & sent10 # sent17%int2 & # sent11%int3 sent9 sent8 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is young. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = True ; $proof$ = # sent17%int1 & # sent11%int2 & # sent14%int3 # sent18%int4 sent5 # sent18%int4 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is not young. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = False ; $proof$ = # sent17%int1 & # sent11%int2 & # sent14%int3 # sent18%int4 sent5 # sent18%int4 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is blue. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = True ; $proof$ = # sent13%int1 & # sent14%int4 # sent18%int5 sent5 # sent17%int2 & # sent11%int3 & # sent14%int4 # sent18%int5 sent5 # sent18%int5 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is not blue. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is young. sent5: Dave is red. sent6: Fiona is white. sent7: Harry is big. sent8: Harry is red. sent9: Harry is round. sent10: Harry is white. sent11: White, round things are furry. sent12: All blue, young things are big. sent13: If something is white and young then it is blue. sent14: If Dave is round then Dave is white. sent15: If something is blue and white then it is round. sent16: If Harry is big and Harry is white then Harry is red. sent17: All furry, red things are young. sent18: Red things are round. sent19: If something is blue then it is red.

$answer$ = False ; $proof$ = # sent13%int1 & # sent14%int4 # sent18%int5 sent5 # sent17%int2 & # sent11%int3 & # sent14%int4 # sent18%int5 sent5 # sent18%int5 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is white. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = True ; $proof$ = sent14


$answer$ ; $proof$ ; $question$ = Dave is not round. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = True ; $proof$ = # sent23%int1 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is not blue. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = False ; $proof$ = # sent17%int1 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is round. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = True ; $proof$ = # sent20%int1 & # sent23%int2 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not round. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = False ; $proof$ = # sent20%int1 & # sent23%int2 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is furry. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = True ; $proof$ = # sent18%int1 & sent5 # sent20%int2 & # sent23%int3 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not furry. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = False ; $proof$ = # sent18%int1 & sent5 # sent20%int2 & # sent23%int3 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is smart. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = True ; $proof$ = # sent15%int1 # sent18%int2 & sent5 # sent20%int3 & # sent23%int4 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not smart. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = False ; $proof$ = # sent15%int1 # sent18%int2 & sent5 # sent20%int3 & # sent23%int4 sent5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is white. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = True ; $proof$ = # sent16%int1 & # sent15%int2 # sent18%int3 & sent5 # sent20%int4 & # sent23%int5 sent5 sent5 sent4 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not white. ; $context$ = sent1: Dave is furry. sent2: Dave is round. sent3: Dave is smart. sent4: Erin is blue. sent5: Erin is nice. sent6: Gary is blue. sent7: Gary is furry. sent8: Gary is smart. sent9: Gary is white. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: Harry is smart. sent14: Harry is white. sent15: Furry things are smart. sent16: All smart, blue things are white. sent17: If something is nice and kind then it is blue. sent18: All nice, round things are furry. sent19: All round things are blue. sent20: If something is kind and nice then it is round. sent21: If Gary is smart and Gary is white then Gary is furry. sent22: Smart, round things are white. sent23: All nice things are kind.

$answer$ = False ; $proof$ = # sent16%int1 & # sent15%int2 # sent18%int3 & sent5 # sent20%int4 & # sent23%int5 sent5 sent5 sent4 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Fiona is big. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = True ; $proof$ = sent12


$answer$ ; $proof$ ; $question$ = Anne is not blue. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Dave is big. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = True ; $proof$ = # sent21%int1 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Fiona is not cold. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = False ; $proof$ = # sent20%int1 sent12 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Fiona is young. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = True ; $proof$ = # sent19%int1 # sent16%int2 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Fiona is not young. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = False ; $proof$ = # sent19%int1 # sent16%int2 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is big. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = True ; $proof$ = # sent21%int1 # sent19%int2 # sent16%int3 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not big. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = False ; $proof$ = # sent21%int1 # sent19%int2 # sent16%int3 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is red. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = True ; $proof$ = # sent18%int1 & # sent19%int3 # sent16%int4 sent5 # sent21%int2 # sent19%int3 # sent16%int4 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not red. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = False ; $proof$ = # sent18%int1 & # sent19%int3 # sent16%int4 sent5 # sent21%int2 # sent19%int3 # sent16%int4 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is cold. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = True ; $proof$ = # sent20%int1 & # sent18%int2 & # sent19%int4 # sent16%int5 sent5 # sent21%int3 # sent19%int4 # sent16%int5 sent5 # sent21%int3 # sent19%int4 # sent16%int5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not cold. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is red. sent4: Anne is young. sent5: Charlie is blue. sent6: Dave is blue. sent7: Dave is cold. sent8: Dave is kind. sent9: Dave is nice. sent10: Dave is red. sent11: Dave is young. sent12: Fiona is big. sent13: Fiona is blue. sent14: Fiona is red. sent15: Cold, blue people are nice. sent16: All blue people are nice. sent17: If Dave is kind then Dave is young. sent18: Young, big people are red. sent19: If someone is nice then they are young. sent20: If someone is red and big then they are cold. sent21: Young people are big.

$answer$ = False ; $proof$ = # sent20%int1 & # sent18%int2 & # sent19%int4 # sent16%int5 sent5 # sent21%int3 # sent19%int4 # sent16%int5 sent5 # sent21%int3 # sent19%int4 # sent16%int5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Gary is not green. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Anne is rough. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

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


$answer$ ; $proof$ ; $question$ = Anne is not rough. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

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


$answer$ ; $proof$ ; $question$ = Charlie is smart. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = True ; $proof$ = # sent15%int1 & # sent21%int2 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not smart. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = False ; $proof$ = # sent15%int1 & # sent21%int2 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is green. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = True ; $proof$ = # sent19%int1 & sent3 # sent15%int2 & # sent21%int3 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not green. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = False ; $proof$ = # sent19%int1 & sent3 # sent15%int2 & # sent21%int3 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is rough. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = True ; $proof$ = # sent17%int1 # sent19%int2 & sent3 # sent15%int3 & # sent21%int4 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not rough. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = False ; $proof$ = # sent17%int1 # sent19%int2 & sent3 # sent15%int3 & # sent21%int4 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is big. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = True ; $proof$ = # sent20%int1 & # sent19%int3 & sent3 # sent15%int4 & # sent21%int5 sent3 sent3 # sent17%int2 # sent19%int3 & sent3 # sent15%int4 & # sent21%int5 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not blue. ; $context$ = sent1: Anne is blue. sent2: Anne is smart. sent3: Charlie is kind. sent4: Erin is green. sent5: Erin is kind. sent6: Erin is nice. sent7: Gary is big. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is nice. sent11: Gary is rough. sent12: Gary is smart. sent13: All blue people are rough. sent14: If someone is smart and not kind then they are rough. sent15: Nice, kind people are smart. sent16: All rough, kind people are smart. sent17: If Charlie is green then Charlie is rough. sent18: Rough people are blue. sent19: If someone is kind and smart then they are green. sent20: If someone is green and rough then they are big. sent21: If someone is kind then they are nice.

$answer$ = False ; $proof$ = # sent18%int1 # sent17%int2 # sent19%int3 & sent3 # sent15%int4 & # sent21%int5 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel sees the tiger. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = The bear does not see the cat. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = The cat sees the bear. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = True ; $proof$ = # sent17%int1 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The cat does not see the bear. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = False ; $proof$ = # sent17%int1 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The bear is young. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = True ; $proof$ = # sent12%int1 & sent3 # sent17%int2 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The bear is not young. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = False ; $proof$ = # sent12%int1 & sent3 # sent17%int2 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger visits the squirrel. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = True ; $proof$ = # sent14%int1 & # sent12%int2 & sent3 # sent17%int3 sent2 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The bear does not need the squirrel. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = False ; $proof$ = # sent13%int1 & sent2 # sent12%int2 & sent3 # sent17%int3 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger is round. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = True ; $proof$ = # sent16%int1 & # sent14%int2 & # sent12%int3 & sent3 # sent17%int4 sent2 sent1 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger is not round. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = False ; $proof$ = # sent16%int1 & # sent14%int2 & # sent12%int3 & sent3 # sent17%int4 sent2 sent1 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger needs the tiger. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = True ; $proof$ = # sent15%int1 # sent16%int2 & # sent14%int3 & # sent12%int4 & sent3 # sent17%int5 sent2 sent1 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger does not need the tiger. ; $context$ = sent1: The bear needs the tiger. sent2: The bear sees the cat. sent3: The cat is green. sent4: The cat visits the tiger. sent5: The squirrel is cold. sent6: The squirrel is round. sent7: The squirrel needs the bear. sent8: The squirrel needs the tiger. sent9: The squirrel sees the tiger. sent10: The squirrel visits the cat. sent11: The tiger visits the cat. sent12: If someone is green and they see the bear then the bear is young. sent13: If someone sees the cat and they are young then they need the squirrel. sent14: If someone is young and they need the tiger then the tiger visits the squirrel. sent15: If someone is round then they need the tiger. sent16: If someone visits the squirrel and they are not cold then they are round. sent17: If someone sees the cat then the cat sees the bear.

$answer$ = False ; $proof$ = # sent15%int1 # sent16%int2 & # sent14%int3 & # sent12%int4 & sent3 # sent17%int5 sent2 sent1 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Fiona is quiet. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Bob is not round. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Harry is quiet. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = True ; $proof$ = # sent8%int1 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Bob is not rough. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = False ; $proof$ = # sent14%int1 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is rough. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = True ; $proof$ = # sent14%int1 # sent8%int2 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Fiona is not white. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = False ; $proof$ = # sent12%int1 # sent14%int2 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Fiona is kind. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = True ; $proof$ = # sent10%int1 & # sent14%int3 sent3 # sent12%int2 # sent14%int3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not kind. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = False ; $proof$ = # sent10%int1 & # sent14%int3 sent5 # sent12%int2 # sent14%int3 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is kind. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = True ; $proof$ = # sent10%int1 & # sent14%int3 # sent8%int4 sent7 # sent12%int2 # sent14%int3 # sent8%int4 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is not kind. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = False ; $proof$ = # sent10%int1 & # sent14%int3 # sent8%int4 sent7 # sent12%int2 # sent14%int3 # sent8%int4 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = True ; $proof$ = # sent15%int1 & # sent10%int2 & # sent14%int4 # sent8%int5 sent7 # sent12%int3 # sent14%int4 # sent8%int5 sent7 # sent12%int3 # sent14%int4 # sent8%int5 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is not round. ; $context$ = sent1: Bob is quiet. sent2: Bob is round. sent3: Fiona is quiet. sent4: Fiona is round. sent5: Gary is quiet. sent6: Gary is round. sent7: Harry is young. sent8: Young things are quiet. sent9: White, cold things are kind. sent10: Rough, white things are kind. sent11: If something is cold and young then it is kind. sent12: Rough things are white. sent13: If Bob is kind then Bob is white. sent14: Quiet things are rough. sent15: All kind, white things are round.

$answer$ = False ; $proof$ = # sent15%int1 & # sent10%int2 & # sent14%int4 # sent8%int5 sent7 # sent12%int3 # sent14%int4 # sent8%int5 sent7 # sent12%int3 # sent14%int4 # sent8%int5 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The bear needs the dog. ; $context$ = sent1: The bald eagle chases the bear. sent2: The bald eagle likes the tiger. sent3: The bear chases the dog. sent4: The bear likes the dog. sent5: The bear needs the dog. sent6: The dog is nice. sent7: The tiger chases the dog. sent8: If something is nice then it needs the bald eagle. sent9: If something chases the dog and it is not red then it needs the bald eagle. sent10: If something chases the tiger then it chases the dog. sent11: If the bald eagle likes the dog then the bald eagle needs the dog. sent12: If something needs the bald eagle and it is nice then the bald eagle chases the tiger. sent13: If something needs the bald eagle and it does not like the bald eagle then it likes the dog. sent14: All big things are cold.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The bear does not like the dog. ; $context$ = sent1: The bald eagle chases the bear. sent2: The bald eagle likes the tiger. sent3: The bear chases the dog. sent4: The bear likes the dog. sent5: The bear needs the dog. sent6: The dog is nice. sent7: The tiger chases the dog. sent8: If something is nice then it needs the bald eagle. sent9: If something chases the dog and it is not red then it needs the bald eagle. sent10: If something chases the tiger then it chases the dog. sent11: If the bald eagle likes the dog then the bald eagle needs the dog. sent12: If something needs the bald eagle and it is nice then the bald eagle chases the tiger. sent13: If something needs the bald eagle and it does not like the bald eagle then it likes the dog. sent14: All big things are cold.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The tiger needs the bald eagle. ; $context$ = sent1: The bald eagle chases the bear. sent2: The bald eagle likes the tiger. sent3: The bear chases the dog. sent4: The bear likes the dog. sent5: The bear needs the dog. sent6: The dog is nice. sent7: The tiger chases the dog. sent8: If something is nice then it needs the bald eagle. sent9: If something chases the dog and it is not red then it needs the bald eagle. sent10: If something chases the tiger then it chases the dog. sent11: If the bald eagle likes the dog then the bald eagle needs the dog. sent12: If something needs the bald eagle and it is nice then the bald eagle chases the tiger. sent13: If something needs the bald eagle and it does not like the bald eagle then it likes the dog. sent14: All big things are cold.

$answer$ = True ; $proof$ = # sent9%int1 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger does not need the bald eagle. ; $context$ = sent1: The bald eagle chases the bear. sent2: The bald eagle likes the tiger. sent3: The bear chases the dog. sent4: The bear likes the dog. sent5: The bear needs the dog. sent6: The dog is nice. sent7: The tiger chases the dog. sent8: If something is nice then it needs the bald eagle. sent9: If something chases the dog and it is not red then it needs the bald eagle. sent10: If something chases the tiger then it chases the dog. sent11: If the bald eagle likes the dog then the bald eagle needs the dog. sent12: If something needs the bald eagle and it is nice then the bald eagle chases the tiger. sent13: If something needs the bald eagle and it does not like the bald eagle then it likes the dog. sent14: All big things are cold.

$answer$ = False ; $proof$ = # sent9%int1 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.