$answer$ ; $proof$ ; $question$ = The cow needs the lion. ; $context$ = sent1: The bear eats the cow. sent2: The bear is rough. sent3: The bear needs the cow. sent4: The cow needs the bear. sent5: The dog needs the cow. sent6: The lion is nice. sent7: The lion needs the cow. sent8: If something needs the cow and it is rough then the cow is blue. sent9: If something is blue and it likes the lion then the lion is blue. sent10: If something is blue then it eats the cow. sent11: If something needs the dog and it is kind then the dog needs the cow. sent12: If something eats the dog and the dog likes the lion then the lion needs the bear. sent13: If something eats the cow then it likes the lion. sent14: If something is blue then it needs the lion.

$answer$ = True ; $proof$ = # sent14%int1 # sent8%int2 sent2 ; 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 lion. ; $context$ = sent1: The bear eats the cow. sent2: The bear is rough. sent3: The bear needs the cow. sent4: The cow needs the bear. sent5: The dog needs the cow. sent6: The lion is nice. sent7: The lion needs the cow. sent8: If something needs the cow and it is rough then the cow is blue. sent9: If something is blue and it likes the lion then the lion is blue. sent10: If something is blue then it eats the cow. sent11: If something needs the dog and it is kind then the dog needs the cow. sent12: If something eats the dog and the dog likes the lion then the lion needs the bear. sent13: If something eats the cow then it likes the lion. sent14: If something is blue then it needs the lion.

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


$answer$ ; $proof$ ; $question$ = The cow likes the lion. ; $context$ = sent1: The bear eats the cow. sent2: The bear is rough. sent3: The bear needs the cow. sent4: The cow needs the bear. sent5: The dog needs the cow. sent6: The lion is nice. sent7: The lion needs the cow. sent8: If something needs the cow and it is rough then the cow is blue. sent9: If something is blue and it likes the lion then the lion is blue. sent10: If something is blue then it eats the cow. sent11: If something needs the dog and it is kind then the dog needs the cow. sent12: If something eats the dog and the dog likes the lion then the lion needs the bear. sent13: If something eats the cow then it likes the lion. sent14: If something is blue then it needs the lion.

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


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

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


$answer$ ; $proof$ ; $question$ = The lion is blue. ; $context$ = sent1: The bear eats the cow. sent2: The bear is rough. sent3: The bear needs the cow. sent4: The cow needs the bear. sent5: The dog needs the cow. sent6: The lion is nice. sent7: The lion needs the cow. sent8: If something needs the cow and it is rough then the cow is blue. sent9: If something is blue and it likes the lion then the lion is blue. sent10: If something is blue then it eats the cow. sent11: If something needs the dog and it is kind then the dog needs the cow. sent12: If something eats the dog and the dog likes the lion then the lion needs the bear. sent13: If something eats the cow then it likes the lion. sent14: If something is blue then it needs the lion.

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


$answer$ ; $proof$ ; $question$ = The lion is not blue. ; $context$ = sent1: The bear eats the cow. sent2: The bear is rough. sent3: The bear needs the cow. sent4: The cow needs the bear. sent5: The dog needs the cow. sent6: The lion is nice. sent7: The lion needs the cow. sent8: If something needs the cow and it is rough then the cow is blue. sent9: If something is blue and it likes the lion then the lion is blue. sent10: If something is blue then it eats the cow. sent11: If something needs the dog and it is kind then the dog needs the cow. sent12: If something eats the dog and the dog likes the lion then the lion needs the bear. sent13: If something eats the cow then it likes the lion. sent14: If something is blue then it needs the lion.

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


$answer$ ; $proof$ ; $question$ = The lion eats the cow. ; $context$ = sent1: The bear eats the cow. sent2: The bear is rough. sent3: The bear needs the cow. sent4: The cow needs the bear. sent5: The dog needs the cow. sent6: The lion is nice. sent7: The lion needs the cow. sent8: If something needs the cow and it is rough then the cow is blue. sent9: If something is blue and it likes the lion then the lion is blue. sent10: If something is blue then it eats the cow. sent11: If something needs the dog and it is kind then the dog needs the cow. sent12: If something eats the dog and the dog likes the lion then the lion needs the bear. sent13: If something eats the cow then it likes the lion. sent14: If something is blue then it needs the lion.

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


$answer$ ; $proof$ ; $question$ = The lion does not need the lion. ; $context$ = sent1: The bear eats the cow. sent2: The bear is rough. sent3: The bear needs the cow. sent4: The cow needs the bear. sent5: The dog needs the cow. sent6: The lion is nice. sent7: The lion needs the cow. sent8: If something needs the cow and it is rough then the cow is blue. sent9: If something is blue and it likes the lion then the lion is blue. sent10: If something is blue then it eats the cow. sent11: If something needs the dog and it is kind then the dog needs the cow. sent12: If something eats the dog and the dog likes the lion then the lion needs the bear. sent13: If something eats the cow then it likes the lion. sent14: If something is blue then it needs the lion.

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


$answer$ ; $proof$ ; $question$ = Dave is white. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Charlie is not white. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Charlie is nice. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Dave is not nice. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Dave is young. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is not young. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Dave is round. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is not round. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is red. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is not red. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is quiet. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is not quiet. ; $context$ = sent1: Charlie is white. sent2: Dave is red. sent3: Dave is white. sent4: Fiona is quiet. sent5: Harry is furry. sent6: Harry is nice. sent7: Harry is young. sent8: If someone is nice then they are young. sent9: If someone is white then they are nice. sent10: If someone is quiet then they are white. sent11: If someone is nice then they are white. sent12: If someone is quiet then they are white. sent13: If Charlie is red and Charlie is young then Charlie is quiet. sent14: Nice, young people are round. sent15: If Charlie is round then Charlie is red.

$answer$ = False ; $proof$ = # sent13%int1 & # sent15%int2 # sent14%int3 & # sent9%int5 sent1 # sent8%int4 # sent9%int5 sent1 # sent8%int4 # sent9%int5 sent1 ; 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 blue. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is nice. sent5: Anne is quiet. sent6: Anne is red. sent7: Anne is round. sent8: Bob is quiet. sent9: Bob is red. sent10: Bob is round. sent11: Dave is red. sent12: Dave is round. sent13: Fiona is nice. sent14: Fiona is red. sent15: If someone is quiet then they are cold. sent16: All blue people are red. sent17: All red people are quiet. sent18: Furry people are blue. sent19: All red, cold people are round. sent20: Nice, quiet people are red. sent21: Round, red people are furry. sent22: All furry people are cold.

$answer$ = True ; $proof$ = sent6


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

$answer$ = False ; $proof$ = sent12


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

$answer$ = True ; $proof$ = sent12


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

$answer$ = False ; $proof$ = sent2


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

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


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

$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$ = Dave is green. ; $context$ = sent1: Dave is red. sent2: Dave is rough. sent3: Dave is smart. sent4: Erin is rough. sent5: Fiona is green. sent6: Gary is cold. sent7: Gary is green. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is smart. sent11: Gary is white. sent12: Gary is young. sent13: If someone is white and green then they are cold. sent14: All rough people are red. sent15: Red, young people are green. sent16: If someone is cold and red then they are white. sent17: Red, rough people are young. sent18: If someone is green and young then they are white. sent19: All white people are young.

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


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

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


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

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


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

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


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

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


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

$answer$ = False ; $proof$ = # sent18%int1 & # sent15%int2 & # sent14%int4 sent4 # sent17%int3 & # sent14%int4 sent4 sent4 # sent17%int3 & # sent14%int4 sent4 sent4 ; 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: Dave is red. sent2: Dave is rough. sent3: Dave is smart. sent4: Erin is rough. sent5: Fiona is green. sent6: Gary is cold. sent7: Gary is green. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is smart. sent11: Gary is white. sent12: Gary is young. sent13: If someone is white and green then they are cold. sent14: All rough people are red. sent15: Red, young people are green. sent16: If someone is cold and red then they are white. sent17: Red, rough people are young. sent18: If someone is green and young then they are white. sent19: All white people are young.

$answer$ = True ; $proof$ = # sent13%int1 & # sent18%int2 & # sent15%int3 & # sent14%int5 sent4 # sent17%int4 & # sent14%int5 sent4 sent4 # sent17%int4 & # sent14%int5 sent4 sent4 # sent15%int3 & # sent14%int5 sent4 # sent17%int4 & # sent14%int5 sent4 sent4 ; 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: Dave is red. sent2: Dave is rough. sent3: Dave is smart. sent4: Erin is rough. sent5: Fiona is green. sent6: Gary is cold. sent7: Gary is green. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is smart. sent11: Gary is white. sent12: Gary is young. sent13: If someone is white and green then they are cold. sent14: All rough people are red. sent15: Red, young people are green. sent16: If someone is cold and red then they are white. sent17: Red, rough people are young. sent18: If someone is green and young then they are white. sent19: All white people are young.

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


$answer$ ; $proof$ ; $question$ = The lion is round. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The lion is not round. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

$answer$ = False ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The lion is red. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = The tiger is not red. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = The tiger visits the squirrel. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

$answer$ = True ; $proof$ = # sent10%int1 # sent13%int2 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 visit the squirrel. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = The squirrel is round. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = The squirrel is not round. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = The squirrel is red. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = The squirrel is not red. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = The squirrel visits the squirrel. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = The squirrel does not visit the squirrel. ; $context$ = sent1: The cat needs the lion. sent2: The lion is blue. sent3: The lion is round. sent4: The squirrel eats the lion. sent5: The squirrel eats the tiger. sent6: The tiger is rough. sent7: The tiger is round. sent8: If the cat visits the tiger and the cat is round then the cat is rough. sent9: If something eats the squirrel and it eats the cat then the squirrel eats the cat. sent10: If something is red then it visits the squirrel. sent11: If the cat eats the lion and the cat is round then the cat needs the squirrel. sent12: If something visits the squirrel and it visits the tiger then the squirrel eats the lion. sent13: If something is round then it is red. sent14: If something is green then it eats the tiger. sent15: If something needs the tiger and the tiger eats the cat then it eats the lion. sent16: If something visits the squirrel then the squirrel is round.

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


$answer$ ; $proof$ ; $question$ = Erin is rough. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

$answer$ = True ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = Erin is not red. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

$answer$ = False ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Fiona is furry. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

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


$answer$ ; $proof$ ; $question$ = Gary is not quiet. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

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


$answer$ ; $proof$ ; $question$ = Fiona is quiet. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

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


$answer$ ; $proof$ ; $question$ = Fiona is not quiet. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

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


$answer$ ; $proof$ ; $question$ = Fiona is white. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

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


$answer$ ; $proof$ ; $question$ = Fiona is not white. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

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


$answer$ ; $proof$ ; $question$ = Fiona is rough. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

$answer$ = True ; $proof$ = # sent22%int1 # sent24%int2 & # sent21%int3 # sent18%int4 sent13 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is not rough. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

$answer$ = False ; $proof$ = # sent22%int1 # sent24%int2 & # sent21%int3 # sent18%int4 sent13 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is nice. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

$answer$ = True ; $proof$ = # sent23%int1 # sent22%int2 # sent24%int3 & # sent21%int4 # sent18%int5 sent13 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is not nice. ; $context$ = sent1: Charlie is big. sent2: Charlie is furry. sent3: Charlie is nice. sent4: Charlie is quiet. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is nice. sent10: Erin is red. sent11: Erin is rough. sent12: Erin is white. sent13: Fiona is red. sent14: Gary is red. sent15: Gary is rough. sent16: Gary is white. sent17: If something is nice and white then it is furry. sent18: If something is red then it is furry. sent19: White, red things are quiet. sent20: Big, nice things are quiet. sent21: If something is furry then it is quiet. sent22: All white things are rough. sent23: If something is rough then it is nice. sent24: If something is quiet and not big then it is white.

$answer$ = False ; $proof$ = # sent23%int1 # sent22%int2 # sent24%int3 & # sent21%int4 # sent18%int5 sent13 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


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

$answer$ = True ; $proof$ = sent8


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

$answer$ = False ; $proof$ = sent4


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

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

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


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

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

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


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

$answer$ = True ; $proof$ = # sent15%int1 # sent17%int2 & sent4 # sent18%int3 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 see the mouse. ; $context$ = sent1: The cat is young. sent2: The lion chases the mouse. sent3: The lion sees the mouse. sent4: The mouse eats the cat. sent5: The tiger chases the lion. sent6: The tiger eats the cat. sent7: The tiger eats the lion. sent8: The tiger eats the mouse. sent9: The tiger is cold. sent10: The tiger is round. sent11: The tiger is young. sent12: The tiger sees the cat. sent13: If something is round then it sees the cat. sent14: If something eats the tiger and it chases the mouse then the mouse is young. sent15: If something sees the lion then it sees the mouse. sent16: If something is rough and it does not eat the tiger then it sees the lion. sent17: If something is young and it chases the tiger then it sees the lion. sent18: If something eats the cat and it does not chase the mouse then the cat chases the tiger. sent19: If something eats the lion and the lion does not chase the cat then it eats the mouse. sent20: If the mouse eats the cat and the cat sees the lion then the mouse is rough.

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


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

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


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

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


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

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


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

$answer$ = False ; $proof$ = # sent15%int1 # sent16%int2 & # sent20%int3 & sent1 # sent17%int4 & sent4 # sent18%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 eats the dog. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The tiger is not round. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The bear likes the tiger. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

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


$answer$ ; $proof$ ; $question$ = The tiger does not like the tiger. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

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


$answer$ ; $proof$ ; $question$ = The tiger eats the lion. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

$answer$ = True ; $proof$ = # sent14%int1 # sent8%int2 sent6 ; 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 lion. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

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


$answer$ ; $proof$ ; $question$ = The bear visits the dog. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

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


$answer$ ; $proof$ ; $question$ = The bear is not round. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

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


$answer$ ; $proof$ ; $question$ = The bear is blue. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

$answer$ = True ; $proof$ = # sent13%int1 # sent15%int2 & sent6 # sent14%int3 # sent8%int4 sent6 ; 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 eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

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


$answer$ ; $proof$ ; $question$ = The bear is big. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

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


$answer$ ; $proof$ ; $question$ = The bear is not big. ; $context$ = sent1: The bear eats the dog. sent2: The bear eats the tiger. sent3: The dog is round. sent4: The lion eats the dog. sent5: The lion visits the bear. sent6: The tiger eats the bear. sent7: The tiger is round. sent8: If someone eats the bear then they like the tiger. sent9: If someone eats the lion and the lion visits the bear then the bear visits the dog. sent10: If someone is round and blue then they are big. sent11: If someone visits the bear then the bear likes the tiger. sent12: If the bear eats the lion then the lion likes the bear. sent13: If someone is round then they are blue. sent14: If someone likes the tiger then they eat the lion. sent15: If someone eats the bear and they eat the lion then the bear is round.

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


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

$answer$ = True ; $proof$ = sent6


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

$answer$ = False ; $proof$ = sent4


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

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


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

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


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

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


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

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

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


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

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


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

$answer$ = True ; $proof$ = # sent16%int1 # sent11%int2 & # sent12%int3 & # sent13%int4 sent5 sent5 # sent13%int4 sent5 ; 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: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is quiet. sent5: Charlie is furry. sent6: Dave is furry. sent7: Erin is big. sent8: Erin is furry. sent9: Erin is kind. sent10: Erin is quiet. sent11: Red, cold people are big. sent12: If someone is cold and furry then they are red. sent13: Furry people are cold. sent14: If someone is cold and red then they are furry. sent15: All kind, furry people are cold. sent16: If Charlie is big then Charlie is kind. sent17: If someone is quiet and green then they are big. sent18: All cold, kind people are quiet. sent19: All quiet people are red.

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = Erin is red. ; $context$ = sent1: Anne is cold. sent2: Charlie is furry. sent3: Charlie is young. sent4: Erin is cold. sent5: Erin is red. sent6: Fiona is big. sent7: Fiona is kind. sent8: Cold people are big. sent9: All cold, kind people are young. sent10: If Fiona is big and Fiona is red then Fiona is furry. sent11: Green, young people are cold. sent12: If Fiona is green then Fiona is furry. sent13: If someone is furry then they are kind. sent14: If Charlie is kind then Charlie is red. sent15: Red, young people are green. sent16: If Fiona is kind then Fiona is red.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Erin is not cold. ; $context$ = sent1: Anne is cold. sent2: Charlie is furry. sent3: Charlie is young. sent4: Erin is cold. sent5: Erin is red. sent6: Fiona is big. sent7: Fiona is kind. sent8: Cold people are big. sent9: All cold, kind people are young. sent10: If Fiona is big and Fiona is red then Fiona is furry. sent11: Green, young people are cold. sent12: If Fiona is green then Fiona is furry. sent13: If someone is furry then they are kind. sent14: If Charlie is kind then Charlie is red. sent15: Red, young people are green. sent16: If Fiona is kind then Fiona is red.

$answer$ = False ; $proof$ = sent4