$answer$ ; $proof$ ; $question$ = The squirrel needs the cat. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The lion is round. sent4: The lion likes the cat. sent5: The lion sees the rabbit. sent6: The rabbit is cold. sent7: The rabbit sees the lion. sent8: The squirrel is cold. sent9: The squirrel needs the lion. sent10: The squirrel sees the rabbit. sent11: If something needs the lion then it is nice. sent12: If something likes the lion and it sees the squirrel then the squirrel sees the rabbit. sent13: If something is nice then it needs the cat. sent14: If the squirrel needs the lion and the squirrel is kind then the lion needs the cat. sent15: If something needs the cat and the cat is nice then it is kind. sent16: If something likes the squirrel then the squirrel likes the rabbit. sent17: If something likes the cat then the cat needs the rabbit. sent18: If something is kind then it likes the rabbit. sent19: All kind, round things are cold.

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


$answer$ ; $proof$ ; $question$ = The squirrel does not need the cat. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The lion is round. sent4: The lion likes the cat. sent5: The lion sees the rabbit. sent6: The rabbit is cold. sent7: The rabbit sees the lion. sent8: The squirrel is cold. sent9: The squirrel needs the lion. sent10: The squirrel sees the rabbit. sent11: If something needs the lion then it is nice. sent12: If something likes the lion and it sees the squirrel then the squirrel sees the rabbit. sent13: If something is nice then it needs the cat. sent14: If the squirrel needs the lion and the squirrel is kind then the lion needs the cat. sent15: If something needs the cat and the cat is nice then it is kind. sent16: If something likes the squirrel then the squirrel likes the rabbit. sent17: If something likes the cat then the cat needs the rabbit. sent18: If something is kind then it likes the rabbit. sent19: All kind, round things are cold.

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


$answer$ ; $proof$ ; $question$ = The cat likes the rabbit. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The lion is round. sent4: The lion likes the cat. sent5: The lion sees the rabbit. sent6: The rabbit is cold. sent7: The rabbit sees the lion. sent8: The squirrel is cold. sent9: The squirrel needs the lion. sent10: The squirrel sees the rabbit. sent11: If something needs the lion then it is nice. sent12: If something likes the lion and it sees the squirrel then the squirrel sees the rabbit. sent13: If something is nice then it needs the cat. sent14: If the squirrel needs the lion and the squirrel is kind then the lion needs the cat. sent15: If something needs the cat and the cat is nice then it is kind. sent16: If something likes the squirrel then the squirrel likes the rabbit. sent17: If something likes the cat then the cat needs the rabbit. sent18: If something is kind then it likes the rabbit. sent19: All kind, round things are cold.

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


$answer$ ; $proof$ ; $question$ = The squirrel is not kind. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The lion is round. sent4: The lion likes the cat. sent5: The lion sees the rabbit. sent6: The rabbit is cold. sent7: The rabbit sees the lion. sent8: The squirrel is cold. sent9: The squirrel needs the lion. sent10: The squirrel sees the rabbit. sent11: If something needs the lion then it is nice. sent12: If something likes the lion and it sees the squirrel then the squirrel sees the rabbit. sent13: If something is nice then it needs the cat. sent14: If the squirrel needs the lion and the squirrel is kind then the lion needs the cat. sent15: If something needs the cat and the cat is nice then it is kind. sent16: If something likes the squirrel then the squirrel likes the rabbit. sent17: If something likes the cat then the cat needs the rabbit. sent18: If something is kind then it likes the rabbit. sent19: All kind, round things are cold.

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


$answer$ ; $proof$ ; $question$ = The lion needs the cat. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The lion is round. sent4: The lion likes the cat. sent5: The lion sees the rabbit. sent6: The rabbit is cold. sent7: The rabbit sees the lion. sent8: The squirrel is cold. sent9: The squirrel needs the lion. sent10: The squirrel sees the rabbit. sent11: If something needs the lion then it is nice. sent12: If something likes the lion and it sees the squirrel then the squirrel sees the rabbit. sent13: If something is nice then it needs the cat. sent14: If the squirrel needs the lion and the squirrel is kind then the lion needs the cat. sent15: If something needs the cat and the cat is nice then it is kind. sent16: If something likes the squirrel then the squirrel likes the rabbit. sent17: If something likes the cat then the cat needs the rabbit. sent18: If something is kind then it likes the rabbit. sent19: All kind, round things are cold.

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


$answer$ ; $proof$ ; $question$ = The lion does not need the cat. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The lion is round. sent4: The lion likes the cat. sent5: The lion sees the rabbit. sent6: The rabbit is cold. sent7: The rabbit sees the lion. sent8: The squirrel is cold. sent9: The squirrel needs the lion. sent10: The squirrel sees the rabbit. sent11: If something needs the lion then it is nice. sent12: If something likes the lion and it sees the squirrel then the squirrel sees the rabbit. sent13: If something is nice then it needs the cat. sent14: If the squirrel needs the lion and the squirrel is kind then the lion needs the cat. sent15: If something needs the cat and the cat is nice then it is kind. sent16: If something likes the squirrel then the squirrel likes the rabbit. sent17: If something likes the cat then the cat needs the rabbit. sent18: If something is kind then it likes the rabbit. sent19: All kind, round things are cold.

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


$answer$ ; $proof$ ; $question$ = The lion is kind. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The lion is round. sent4: The lion likes the cat. sent5: The lion sees the rabbit. sent6: The rabbit is cold. sent7: The rabbit sees the lion. sent8: The squirrel is cold. sent9: The squirrel needs the lion. sent10: The squirrel sees the rabbit. sent11: If something needs the lion then it is nice. sent12: If something likes the lion and it sees the squirrel then the squirrel sees the rabbit. sent13: If something is nice then it needs the cat. sent14: If the squirrel needs the lion and the squirrel is kind then the lion needs the cat. sent15: If something needs the cat and the cat is nice then it is kind. sent16: If something likes the squirrel then the squirrel likes the rabbit. sent17: If something likes the cat then the cat needs the rabbit. sent18: If something is kind then it likes the rabbit. sent19: All kind, round things are cold.

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


$answer$ ; $proof$ ; $question$ = The lion is not kind. ; $context$ = sent1: The cat is nice. sent2: The cat needs the lion. sent3: The lion is round. sent4: The lion likes the cat. sent5: The lion sees the rabbit. sent6: The rabbit is cold. sent7: The rabbit sees the lion. sent8: The squirrel is cold. sent9: The squirrel needs the lion. sent10: The squirrel sees the rabbit. sent11: If something needs the lion then it is nice. sent12: If something likes the lion and it sees the squirrel then the squirrel sees the rabbit. sent13: If something is nice then it needs the cat. sent14: If the squirrel needs the lion and the squirrel is kind then the lion needs the cat. sent15: If something needs the cat and the cat is nice then it is kind. sent16: If something likes the squirrel then the squirrel likes the rabbit. sent17: If something likes the cat then the cat needs the rabbit. sent18: If something is kind then it likes the rabbit. sent19: All kind, round things are cold.

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


$answer$ ; $proof$ ; $question$ = The mouse needs the dog. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

$answer$ = True ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = The squirrel does not eat the lion. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

$answer$ = False ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = The lion needs the mouse. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

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


$answer$ ; $proof$ ; $question$ = The lion does not need the mouse. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

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


$answer$ ; $proof$ ; $question$ = The mouse sees the squirrel. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

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


$answer$ ; $proof$ ; $question$ = The mouse does not see the squirrel. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

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


$answer$ ; $proof$ ; $question$ = The mouse needs the mouse. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

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


$answer$ ; $proof$ ; $question$ = The dog does not need the mouse. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

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


$answer$ ; $proof$ ; $question$ = The squirrel is blue. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

$answer$ = True ; $proof$ = # sent22%int1 # sent21%int2 & sent9 # sent15%int3 # sent22%int4 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel is not blue. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

$answer$ = False ; $proof$ = # sent22%int1 # sent21%int2 & sent9 # sent15%int3 # sent22%int4 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel sees the squirrel. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

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


$answer$ ; $proof$ ; $question$ = The squirrel does not see the squirrel. ; $context$ = sent1: The dog is nice. sent2: The dog needs the squirrel. sent3: The dog sees the lion. sent4: The lion eats the squirrel. sent5: The lion sees the mouse. sent6: The lion sees the squirrel. sent7: The mouse is nice. sent8: The mouse needs the dog. sent9: The mouse needs the lion. sent10: The squirrel eats the lion. sent11: The squirrel is green. sent12: The squirrel needs the lion. sent13: The squirrel sees the lion. sent14: The squirrel sees the mouse. sent15: If something is blue then it sees the squirrel. sent16: If something sees the lion then the lion sees the squirrel. sent17: If something sees the squirrel then it needs the mouse. sent18: If the squirrel is round then the squirrel eats the lion. sent19: If something eats the dog and the dog sees the squirrel then the dog needs the squirrel. sent20: If something needs the dog and it sees the squirrel then the dog sees the squirrel. sent21: If something needs the lion and it sees the squirrel then the squirrel is nice. sent22: All nice things are blue.

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


$answer$ ; $proof$ ; $question$ = Erin is green. ; $context$ = sent1: Bob is big. sent2: Charlie is green. sent3: Charlie is red. sent4: Erin is big. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is green. sent9: Fiona is red. sent10: Fiona is smart. sent11: Fiona is white. sent12: Green, nice people are white. sent13: If someone is red then they are nice. sent14: All green people are white. sent15: All red, nice people are green. sent16: If someone is smart then they are red. sent17: Big people are nice. sent18: If Erin is smart then Erin is big. sent19: If someone is big and green then they are red. sent20: Nice people are smart.

$answer$ = True ; $proof$ = sent5


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

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Bob is nice. ; $context$ = sent1: Bob is big. sent2: Charlie is green. sent3: Charlie is red. sent4: Erin is big. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is green. sent9: Fiona is red. sent10: Fiona is smart. sent11: Fiona is white. sent12: Green, nice people are white. sent13: If someone is red then they are nice. sent14: All green people are white. sent15: All red, nice people are green. sent16: If someone is smart then they are red. sent17: Big people are nice. sent18: If Erin is smart then Erin is big. sent19: If someone is big and green then they are red. sent20: Nice people are smart.

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


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

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


$answer$ ; $proof$ ; $question$ = Charlie is smart. ; $context$ = sent1: Bob is big. sent2: Charlie is green. sent3: Charlie is red. sent4: Erin is big. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is green. sent9: Fiona is red. sent10: Fiona is smart. sent11: Fiona is white. sent12: Green, nice people are white. sent13: If someone is red then they are nice. sent14: All green people are white. sent15: All red, nice people are green. sent16: If someone is smart then they are red. sent17: Big people are nice. sent18: If Erin is smart then Erin is big. sent19: If someone is big and green then they are red. sent20: Nice people are smart.

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


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

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


$answer$ ; $proof$ ; $question$ = Bob is red. ; $context$ = sent1: Bob is big. sent2: Charlie is green. sent3: Charlie is red. sent4: Erin is big. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is green. sent9: Fiona is red. sent10: Fiona is smart. sent11: Fiona is white. sent12: Green, nice people are white. sent13: If someone is red then they are nice. sent14: All green people are white. sent15: All red, nice people are green. sent16: If someone is smart then they are red. sent17: Big people are nice. sent18: If Erin is smart then Erin is big. sent19: If someone is big and green then they are red. sent20: Nice people are smart.

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


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

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


$answer$ ; $proof$ ; $question$ = Bob is green. ; $context$ = sent1: Bob is big. sent2: Charlie is green. sent3: Charlie is red. sent4: Erin is big. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is green. sent9: Fiona is red. sent10: Fiona is smart. sent11: Fiona is white. sent12: Green, nice people are white. sent13: If someone is red then they are nice. sent14: All green people are white. sent15: All red, nice people are green. sent16: If someone is smart then they are red. sent17: Big people are nice. sent18: If Erin is smart then Erin is big. sent19: If someone is big and green then they are red. sent20: Nice people are smart.

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


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

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


$answer$ ; $proof$ ; $question$ = Bob is white. ; $context$ = sent1: Bob is big. sent2: Charlie is green. sent3: Charlie is red. sent4: Erin is big. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is green. sent9: Fiona is red. sent10: Fiona is smart. sent11: Fiona is white. sent12: Green, nice people are white. sent13: If someone is red then they are nice. sent14: All green people are white. sent15: All red, nice people are green. sent16: If someone is smart then they are red. sent17: Big people are nice. sent18: If Erin is smart then Erin is big. sent19: If someone is big and green then they are red. sent20: Nice people are smart.

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


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

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


$answer$ ; $proof$ ; $question$ = The cow needs the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

$answer$ = True ; $proof$ = sent13


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

$answer$ = False ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = The bear needs the dog. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

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


$answer$ ; $proof$ ; $question$ = The bear does not need the dog. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

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


$answer$ ; $proof$ ; $question$ = The bear needs the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

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


$answer$ ; $proof$ ; $question$ = The bear does not need the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

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


$answer$ ; $proof$ ; $question$ = The bear likes the dog. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

$answer$ = True ; $proof$ = # sent25%int1 & # sent22%int2 # sent20%int3 sent12 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear does not like the dog. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

$answer$ = False ; $proof$ = # sent25%int1 & # sent22%int2 # sent20%int3 sent12 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog is red. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

$answer$ = True ; $proof$ = # sent17%int1 & sent4 # sent25%int2 & # sent22%int3 # sent20%int4 sent12 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


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

$answer$ = False ; $proof$ = # sent17%int1 & sent4 # sent25%int2 & # sent22%int3 # sent20%int4 sent12 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog likes the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

$answer$ = True ; $proof$ = # sent23%int1 # sent17%int2 & sent4 # sent25%int3 & # sent22%int4 # sent20%int5 sent12 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog does not like the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bear chases the bald eagle. sent3: The bear chases the dog. sent4: The bear is green. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear likes the cow. sent8: The bear needs the cow. sent9: The cow chases the bald eagle. sent10: The cow chases the dog. sent11: The cow is nice. sent12: The cow likes the bear. sent13: The cow needs the bald eagle. sent14: The cow needs the dog. sent15: The dog chases the bald eagle. sent16: The dog likes the bear. sent17: If something is green and it likes the dog then the dog is red. sent18: If something is red and nice then it needs the dog. sent19: If something is green and rough then it needs the cow. sent20: If something likes the bear then the bear needs the dog. sent21: If the bear likes the bald eagle and the bear is rough then the bald eagle needs the cow. sent22: If something needs the dog then it needs the bald eagle. sent23: If something is red then it likes the bald eagle. sent24: If something is kind and rough then it needs the dog. sent25: If something needs the bald eagle and it is green then it likes the dog.

$answer$ = False ; $proof$ = # sent23%int1 # sent17%int2 & sent4 # sent25%int3 & # sent22%int4 # sent20%int5 sent12 sent4 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is quiet. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Fiona is not nice. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Harry is big. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Harry is green. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Fiona is not big. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Dave is green. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Dave is not green. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Charlie is big. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Charlie is not big. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Charlie is green. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = Charlie is not green. ; $context$ = sent1: Charlie is quiet. sent2: Dave is nice. sent3: Dave is rough. sent4: Fiona is nice. sent5: Fiona is quiet. sent6: Fiona is rough. sent7: Harry is furry. sent8: All quiet things are rough. sent9: If something is rough and quiet then it is nice. sent10: If Harry is big then Harry is blue. sent11: Nice, rough things are furry. sent12: If something is rough and nice then it is furry. sent13: If something is furry then it is big. sent14: If something is big then it is green.

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


$answer$ ; $proof$ ; $question$ = The rabbit sees the tiger. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = The rabbit does not need the lion. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = The rabbit is nice. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The rabbit is not nice. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The dog is nice. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The dog is not nice. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The dog is young. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The rabbit is not green. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The dog is green. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The dog is not green. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The dog sees the dog. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


$answer$ ; $proof$ ; $question$ = The dog does not see the dog. ; $context$ = sent1: The dog is rough. sent2: The lion chases the tiger. sent3: The lion needs the tiger. sent4: The lion sees the tiger. sent5: The rabbit chases the dog. sent6: The rabbit chases the tiger. sent7: The rabbit is rough. sent8: The rabbit needs the lion. sent9: The rabbit sees the dog. sent10: The rabbit sees the tiger. sent11: The tiger chases the dog. sent12: The tiger is red. sent13: The tiger needs the dog. sent14: The tiger needs the lion. sent15: Young people are green. sent16: If someone is rough then they chase the tiger. sent17: If the tiger sees the lion then the tiger needs the rabbit. sent18: If someone chases the tiger then they are nice. sent19: If someone chases the dog and they need the tiger then the dog sees the tiger. sent20: If someone is rough and green then they see the dog. sent21: If someone is young and red then they need the dog. sent22: If the tiger needs the rabbit then the rabbit chases the lion. sent23: Nice, rough people are young.

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


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

$answer$ = True ; $proof$ = sent7


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

$answer$ = False ; $proof$ = sent3


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = Dave is green. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Dave is not big. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Dave is smart. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is not smart. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is young. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is not young. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is rough. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is not rough. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is green. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is not green. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is nice. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Gary is not nice. ; $context$ = sent1: Dave is big. sent2: Dave is green. sent3: Dave is nice. sent4: Dave is quiet. sent5: Erin is quiet. sent6: Erin is young. sent7: Fiona is big. sent8: Fiona is nice. sent9: Fiona is rough. sent10: Fiona is young. sent11: Gary is quiet. sent12: All smart, big people are rough. sent13: Smart, young people are rough. sent14: If someone is smart then they are young. sent15: All big people are young. sent16: If Fiona is green and Fiona is big then Fiona is young. sent17: If Gary is quiet then Gary is smart. sent18: All nice, big people are smart. sent19: All rough people are green. sent20: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Charlie is rough. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is rough. sent6: Charlie is cold. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is kind. sent12: Erin is rough. sent13: Erin is white. sent14: Harry is white. sent15: All big, rough things are cold. sent16: If something is rough then it is cold. sent17: All rough, red things are cold. sent18: Red things are rough. sent19: If something is white then it is blue. sent20: If Harry is blue and Harry is not white then Harry is big. sent21: If Harry is blue then Harry is big. sent22: If something is big then it is red. sent23: If Harry is blue then Harry is kind.

$answer$ = True ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Bob is not red. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is rough. sent6: Charlie is cold. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is kind. sent12: Erin is rough. sent13: Erin is white. sent14: Harry is white. sent15: All big, rough things are cold. sent16: If something is rough then it is cold. sent17: All rough, red things are cold. sent18: Red things are rough. sent19: If something is white then it is blue. sent20: If Harry is blue and Harry is not white then Harry is big. sent21: If Harry is blue then Harry is big. sent22: If something is big then it is red. sent23: If Harry is blue then Harry is kind.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Harry is blue. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is rough. sent6: Charlie is cold. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is kind. sent12: Erin is rough. sent13: Erin is white. sent14: Harry is white. sent15: All big, rough things are cold. sent16: If something is rough then it is cold. sent17: All rough, red things are cold. sent18: Red things are rough. sent19: If something is white then it is blue. sent20: If Harry is blue and Harry is not white then Harry is big. sent21: If Harry is blue then Harry is big. sent22: If something is big then it is red. sent23: If Harry is blue then Harry is kind.

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


$answer$ ; $proof$ ; $question$ = Erin is not red. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is rough. sent6: Charlie is cold. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is kind. sent12: Erin is rough. sent13: Erin is white. sent14: Harry is white. sent15: All big, rough things are cold. sent16: If something is rough then it is cold. sent17: All rough, red things are cold. sent18: Red things are rough. sent19: If something is white then it is blue. sent20: If Harry is blue and Harry is not white then Harry is big. sent21: If Harry is blue then Harry is big. sent22: If something is big then it is red. sent23: If Harry is blue then Harry is kind.

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


$answer$ ; $proof$ ; $question$ = Harry is big. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is rough. sent6: Charlie is cold. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is kind. sent12: Erin is rough. sent13: Erin is white. sent14: Harry is white. sent15: All big, rough things are cold. sent16: If something is rough then it is cold. sent17: All rough, red things are cold. sent18: Red things are rough. sent19: If something is white then it is blue. sent20: If Harry is blue and Harry is not white then Harry is big. sent21: If Harry is blue then Harry is big. sent22: If something is big then it is red. sent23: If Harry is blue then Harry is kind.

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


$answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is rough. sent6: Charlie is cold. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is kind. sent12: Erin is rough. sent13: Erin is white. sent14: Harry is white. sent15: All big, rough things are cold. sent16: If something is rough then it is cold. sent17: All rough, red things are cold. sent18: Red things are rough. sent19: If something is white then it is blue. sent20: If Harry is blue and Harry is not white then Harry is big. sent21: If Harry is blue then Harry is big. sent22: If something is big then it is red. sent23: If Harry is blue then Harry is kind.

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


$answer$ ; $proof$ ; $question$ = Harry is red. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is rough. sent6: Charlie is cold. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is kind. sent12: Erin is rough. sent13: Erin is white. sent14: Harry is white. sent15: All big, rough things are cold. sent16: If something is rough then it is cold. sent17: All rough, red things are cold. sent18: Red things are rough. sent19: If something is white then it is blue. sent20: If Harry is blue and Harry is not white then Harry is big. sent21: If Harry is blue then Harry is big. sent22: If something is big then it is red. sent23: If Harry is blue then Harry is kind.

$answer$ = True ; $proof$ = # sent22%int1 # sent21%int2 # sent19%int3 sent14 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.