$answer$ ; $proof$ ; $question$ = The tiger sees the squirrel. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

$answer$ = True ; $proof$ = # sent19%int1 sent8 ; 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 cat. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


$answer$ ; $proof$ ; $question$ = The tiger sees the bear. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


$answer$ ; $proof$ ; $question$ = The tiger does not see the bear. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


$answer$ ; $proof$ ; $question$ = The tiger is cold. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


$answer$ ; $proof$ ; $question$ = The tiger is not cold. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


$answer$ ; $proof$ ; $question$ = The tiger sees the tiger. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


$answer$ ; $proof$ ; $question$ = The tiger does not see the tiger. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


$answer$ ; $proof$ ; $question$ = The tiger is young. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


$answer$ ; $proof$ ; $question$ = The tiger is not young. ; $context$ = sent1: The bear chases the cat. sent2: The bear sees the squirrel. sent3: The cat is cold. sent4: The cat is young. sent5: The squirrel chases the cat. sent6: The squirrel is young. sent7: The squirrel needs the tiger. sent8: The squirrel sees the tiger. sent9: The tiger chases the cat. sent10: The tiger needs the cat. sent11: If the tiger sees the bear then the tiger is cold. sent12: If something is cold then it sees the tiger. sent13: If the tiger chases the cat and the tiger sees the squirrel then the tiger sees the bear. sent14: If something chases the bear then the bear chases the tiger. sent15: If the bear does not chase the squirrel then the bear needs the cat. sent16: If something needs the squirrel and the squirrel does not need the cat then the squirrel needs the tiger. sent17: If something needs the bear and it sees the cat then the cat needs the tiger. sent18: If something sees the tiger and the tiger does not chase the bear then it is young. sent19: If something sees the tiger then the tiger sees the squirrel.

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


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

$answer$ = True ; $proof$ = sent10


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

$answer$ = False ; $proof$ = sent4


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

$answer$ = False ; $proof$ = # sent23%int1 & sent2 # sent22%int2 & # sent21%int3 & # sent17%int4 & # sent20%int5 sent2 sent1 sent1 # sent20%int5 sent2 ; 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 cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The cat is not big. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The cat likes the cat. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

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


$answer$ ; $proof$ ; $question$ = The cat does not like the cat. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

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


$answer$ ; $proof$ ; $question$ = The dog sees the dog. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

$answer$ = True ; $proof$ = # sent8%int1 # sent12%int2 naf1 ; 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 cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

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


$answer$ ; $proof$ ; $question$ = The dog sees the lion. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

$answer$ = True ; $proof$ = # sent16%int1 # sent8%int2 # sent12%int3 naf1 ; 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 lion. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

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


$answer$ ; $proof$ ; $question$ = The lion chases the cat. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

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


$answer$ ; $proof$ ; $question$ = The lion does not chase the cat. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

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


$answer$ ; $proof$ ; $question$ = The lion sees the dog. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

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


$answer$ ; $proof$ ; $question$ = The lion does not see the dog. ; $context$ = sent1: The cat is big. sent2: The cat is kind. sent3: The cat sees the cow. sent4: The cow sees the cat. sent5: The dog is red. sent6: The dog is round. sent7: The lion sees the cat. sent8: If something chases the cat then it sees the dog. sent9: If something sees the lion and it does not like the dog then the lion chases the cat. sent10: If something is round and it does not chase the dog then it chases the cow. sent11: If something is young then it chases the cow. sent12: If something sees the cow and it does not like the dog then the dog chases the cat. sent13: If something sees the dog and the dog likes the cow then the dog chases the cat. sent14: If something chases the dog then the dog likes the lion. sent15: If something is big then it likes the cat. sent16: If something sees the dog then the dog sees the lion.

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


$answer$ ; $proof$ ; $question$ = Anne is smart. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Charlie is not cold. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Fiona is cold. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Anne is not big. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Erin is big. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Erin is not big. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Erin is smart. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Erin is not smart. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Erin is round. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Erin is not round. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Erin is cold. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = Erin is not cold. ; $context$ = sent1: Anne is cold. sent2: Anne is green. sent3: Anne is rough. sent4: Anne is smart. sent5: Charlie is big. sent6: Charlie is cold. sent7: Charlie is green. sent8: Charlie is red. sent9: Charlie is rough. sent10: Charlie is round. sent11: Erin is red. sent12: Fiona is big. sent13: Fiona is red. sent14: Fiona is rough. sent15: Fiona is round. sent16: Fiona is smart. sent17: If someone is red then they are green. sent18: Green people are big. sent19: All big people are smart. sent20: Smart people are round. sent21: If someone is big and round then they are cold. sent22: If Fiona is green and Fiona is round then Fiona is big. sent23: If Fiona is big and Fiona is smart then Fiona is green.

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


$answer$ ; $proof$ ; $question$ = The rabbit is blue. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

$answer$ = True ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = The bear is not red. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The bear is young. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The cat is not red. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The cat is young. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The cat is not young. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The bear needs the rabbit. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The bear is not blue. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The cat is blue. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The bear does not eat the cat. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The cat eats the cat. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The cat does not eat the cat. ; $context$ = sent1: The bear is red. sent2: The bear sees the cat. sent3: The cat is kind. sent4: The cat needs the bear. sent5: The lion is kind. sent6: The rabbit eats the bear. sent7: The rabbit is big. sent8: The rabbit is blue. sent9: The rabbit is kind. sent10: The rabbit needs the lion. sent11: If someone sees the bear and they see the cat then the cat is young. sent12: If someone is young then they see the lion. sent13: If someone sees the lion and they do not eat the lion then they are blue. sent14: If someone sees the lion then they need the rabbit. sent15: If the cat does not see the rabbit then the cat is red. sent16: Red people are young. sent17: If someone is blue then they eat the cat.

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


$answer$ ; $proof$ ; $question$ = The cat eats the squirrel. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The cat is not kind. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The bear likes the squirrel. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cat does not chase the squirrel. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cat eats the cow. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cat does not eat the cow. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cow is kind. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cow is not kind. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cow likes the squirrel. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cow does not chase the squirrel. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cow eats the cow. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


$answer$ ; $proof$ ; $question$ = The cow does not eat the cow. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat eats the squirrel. sent4: The cat is kind. sent5: The cat is rough. sent6: The cow is nice. sent7: The squirrel likes the bear. sent8: If the cow is red and the cow does not like the bear then the bear likes the cow. sent9: If something eats the squirrel then the squirrel is rough. sent10: If something is kind then it likes the squirrel. sent11: If something is red and it chases the cow then it likes the squirrel. sent12: If something chases the squirrel then it eats the cow. sent13: If something chases the cow and it is nice then it eats the squirrel. sent14: If something is kind then it chases the squirrel. sent15: If something eats the cow then the cow is kind.

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


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

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The bear does not need the tiger. ; $context$ = sent1: The bear is rough. sent2: The bear needs the cow. sent3: The bear needs the tiger. sent4: The bear sees the dog. sent5: The cow is cold. sent6: The cow is green. sent7: The cow needs the tiger. sent8: The cow sees the dog. sent9: The dog is cold. sent10: The dog sees the tiger. sent11: The tiger eats the bear. sent12: The tiger is cold. sent13: The tiger needs the bear. sent14: The tiger sees the cow. sent15: If something eats the tiger then the tiger is young. sent16: If something is cold and it needs the tiger then it eats the dog. sent17: If the tiger sees the cow then the tiger eats the cow. sent18: If something needs the bear and the bear sees the dog then the dog is green. sent19: If something needs the dog then the dog needs the tiger. sent20: If something eats the dog then it needs the dog. sent21: If something sees the tiger then the tiger is cold. sent22: If something eats the cow then it is cold. sent23: If something needs the cow and the cow needs the bear then the bear needs the cow.

$answer$ = False ; $proof$ = sent3


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = The cow does not need the dog. ; $context$ = sent1: The bear is rough. sent2: The bear needs the cow. sent3: The bear needs the tiger. sent4: The bear sees the dog. sent5: The cow is cold. sent6: The cow is green. sent7: The cow needs the tiger. sent8: The cow sees the dog. sent9: The dog is cold. sent10: The dog sees the tiger. sent11: The tiger eats the bear. sent12: The tiger is cold. sent13: The tiger needs the bear. sent14: The tiger sees the cow. sent15: If something eats the tiger then the tiger is young. sent16: If something is cold and it needs the tiger then it eats the dog. sent17: If the tiger sees the cow then the tiger eats the cow. sent18: If something needs the bear and the bear sees the dog then the dog is green. sent19: If something needs the dog then the dog needs the tiger. sent20: If something eats the dog then it needs the dog. sent21: If something sees the tiger then the tiger is cold. sent22: If something eats the cow then it is cold. sent23: If something needs the cow and the cow needs the bear then the bear needs the cow.

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


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

$answer$ = True ; $proof$ = # sent19%int1 # sent20%int2 # sent16%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 tiger. ; $context$ = sent1: The bear is rough. sent2: The bear needs the cow. sent3: The bear needs the tiger. sent4: The bear sees the dog. sent5: The cow is cold. sent6: The cow is green. sent7: The cow needs the tiger. sent8: The cow sees the dog. sent9: The dog is cold. sent10: The dog sees the tiger. sent11: The tiger eats the bear. sent12: The tiger is cold. sent13: The tiger needs the bear. sent14: The tiger sees the cow. sent15: If something eats the tiger then the tiger is young. sent16: If something is cold and it needs the tiger then it eats the dog. sent17: If the tiger sees the cow then the tiger eats the cow. sent18: If something needs the bear and the bear sees the dog then the dog is green. sent19: If something needs the dog then the dog needs the tiger. sent20: If something eats the dog then it needs the dog. sent21: If something sees the tiger then the tiger is cold. sent22: If something eats the cow then it is cold. sent23: If something needs the cow and the cow needs the bear then the bear needs the cow.

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


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

$answer$ = True ; $proof$ = # sent16%int1 & sent5 # sent19%int2 # sent20%int3 # sent16%int4 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 eat the dog. ; $context$ = sent1: The bear is rough. sent2: The bear needs the cow. sent3: The bear needs the tiger. sent4: The bear sees the dog. sent5: The cow is cold. sent6: The cow is green. sent7: The cow needs the tiger. sent8: The cow sees the dog. sent9: The dog is cold. sent10: The dog sees the tiger. sent11: The tiger eats the bear. sent12: The tiger is cold. sent13: The tiger needs the bear. sent14: The tiger sees the cow. sent15: If something eats the tiger then the tiger is young. sent16: If something is cold and it needs the tiger then it eats the dog. sent17: If the tiger sees the cow then the tiger eats the cow. sent18: If something needs the bear and the bear sees the dog then the dog is green. sent19: If something needs the dog then the dog needs the tiger. sent20: If something eats the dog then it needs the dog. sent21: If something sees the tiger then the tiger is cold. sent22: If something eats the cow then it is cold. sent23: If something needs the cow and the cow needs the bear then the bear needs the cow.

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


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

$answer$ = True ; $proof$ = # sent20%int1 # sent16%int2 & sent5 # sent19%int3 # sent20%int4 # sent16%int5 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 dog. ; $context$ = sent1: The bear is rough. sent2: The bear needs the cow. sent3: The bear needs the tiger. sent4: The bear sees the dog. sent5: The cow is cold. sent6: The cow is green. sent7: The cow needs the tiger. sent8: The cow sees the dog. sent9: The dog is cold. sent10: The dog sees the tiger. sent11: The tiger eats the bear. sent12: The tiger is cold. sent13: The tiger needs the bear. sent14: The tiger sees the cow. sent15: If something eats the tiger then the tiger is young. sent16: If something is cold and it needs the tiger then it eats the dog. sent17: If the tiger sees the cow then the tiger eats the cow. sent18: If something needs the bear and the bear sees the dog then the dog is green. sent19: If something needs the dog then the dog needs the tiger. sent20: If something eats the dog then it needs the dog. sent21: If something sees the tiger then the tiger is cold. sent22: If something eats the cow then it is cold. sent23: If something needs the cow and the cow needs the bear then the bear needs the cow.

$answer$ = False ; $proof$ = # sent20%int1 # sent16%int2 & sent5 # sent19%int3 # sent20%int4 # sent16%int5 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Bob is smart. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Charlie is not furry. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Anne is quiet. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

$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$ = Charlie is not cold. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

$answer$ = False ; $proof$ = # sent18%int1 sent8 ; 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: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

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


$answer$ ; $proof$ ; $question$ = Anne is not furry. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

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


$answer$ ; $proof$ ; $question$ = Anne is smart. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

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


$answer$ ; $proof$ ; $question$ = Anne is not green. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

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


$answer$ ; $proof$ ; $question$ = Anne is kind. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

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


$answer$ ; $proof$ ; $question$ = Anne is not kind. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

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


$answer$ ; $proof$ ; $question$ = Anne is cold. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

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


$answer$ ; $proof$ ; $question$ = Anne is not cold. ; $context$ = sent1: Anne is big. sent2: Bob is big. sent3: Bob is kind. sent4: Bob is quiet. sent5: Bob is smart. sent6: Charlie is furry. sent7: Charlie is green. sent8: Charlie is kind. sent9: Charlie is quiet. sent10: Fiona is green. sent11: Fiona is smart. sent12: All big people are quiet. sent13: If someone is furry then they are smart. sent14: If someone is quiet and big then they are furry. sent15: If Anne is furry and Anne is green then Anne is kind. sent16: If Anne is green then Anne is big. sent17: Furry, big people are green. sent18: If someone is kind then they are cold.

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


$answer$ ; $proof$ ; $question$ = Dave is big. ; $context$ = sent1: Charlie is red. sent2: Charlie is white. sent3: Charlie is young. sent4: Dave is big. sent5: Dave is kind. sent6: Dave is quiet. sent7: Dave is red. sent8: Dave is white. sent9: Gary is white. sent10: Harry is big. sent11: Harry is young. sent12: All quiet things are red. sent13: If something is cold and young then it is white. sent14: All red things are kind. sent15: If Charlie is cold and Charlie is quiet then Charlie is big. sent16: Big, young things are cold. sent17: White, big things are quiet. sent18: If Harry is kind then Harry is big.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Charlie is red. sent2: Charlie is white. sent3: Charlie is young. sent4: Dave is big. sent5: Dave is kind. sent6: Dave is quiet. sent7: Dave is red. sent8: Dave is white. sent9: Gary is white. sent10: Harry is big. sent11: Harry is young. sent12: All quiet things are red. sent13: If something is cold and young then it is white. sent14: All red things are kind. sent15: If Charlie is cold and Charlie is quiet then Charlie is big. sent16: Big, young things are cold. sent17: White, big things are quiet. sent18: If Harry is kind then Harry is big.

$answer$ = False ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Harry is cold. ; $context$ = sent1: Charlie is red. sent2: Charlie is white. sent3: Charlie is young. sent4: Dave is big. sent5: Dave is kind. sent6: Dave is quiet. sent7: Dave is red. sent8: Dave is white. sent9: Gary is white. sent10: Harry is big. sent11: Harry is young. sent12: All quiet things are red. sent13: If something is cold and young then it is white. sent14: All red things are kind. sent15: If Charlie is cold and Charlie is quiet then Charlie is big. sent16: Big, young things are cold. sent17: White, big things are quiet. sent18: If Harry is kind then Harry is big.

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


$answer$ ; $proof$ ; $question$ = Charlie is not kind. ; $context$ = sent1: Charlie is red. sent2: Charlie is white. sent3: Charlie is young. sent4: Dave is big. sent5: Dave is kind. sent6: Dave is quiet. sent7: Dave is red. sent8: Dave is white. sent9: Gary is white. sent10: Harry is big. sent11: Harry is young. sent12: All quiet things are red. sent13: If something is cold and young then it is white. sent14: All red things are kind. sent15: If Charlie is cold and Charlie is quiet then Charlie is big. sent16: Big, young things are cold. sent17: White, big things are quiet. sent18: If Harry is kind then Harry is big.

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


$answer$ ; $proof$ ; $question$ = Harry is white. ; $context$ = sent1: Charlie is red. sent2: Charlie is white. sent3: Charlie is young. sent4: Dave is big. sent5: Dave is kind. sent6: Dave is quiet. sent7: Dave is red. sent8: Dave is white. sent9: Gary is white. sent10: Harry is big. sent11: Harry is young. sent12: All quiet things are red. sent13: If something is cold and young then it is white. sent14: All red things are kind. sent15: If Charlie is cold and Charlie is quiet then Charlie is big. sent16: Big, young things are cold. sent17: White, big things are quiet. sent18: If Harry is kind then Harry is big.

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


$answer$ ; $proof$ ; $question$ = Harry is not white. ; $context$ = sent1: Charlie is red. sent2: Charlie is white. sent3: Charlie is young. sent4: Dave is big. sent5: Dave is kind. sent6: Dave is quiet. sent7: Dave is red. sent8: Dave is white. sent9: Gary is white. sent10: Harry is big. sent11: Harry is young. sent12: All quiet things are red. sent13: If something is cold and young then it is white. sent14: All red things are kind. sent15: If Charlie is cold and Charlie is quiet then Charlie is big. sent16: Big, young things are cold. sent17: White, big things are quiet. sent18: If Harry is kind then Harry is big.

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