$answer$ ; $proof$ ; $question$ = Gary is not white. ; $context$ = sent1: Erin is green. sent2: Erin is rough. sent3: Erin is round. sent4: Erin is smart. sent5: Fiona is rough. sent6: Fiona is white. sent7: Gary is big. sent8: Gary is round. sent9: Harry is furry. sent10: Harry is green. sent11: Harry is white. sent12: If something is green and round then it is white. sent13: If something is smart then it is furry. sent14: If Erin is rough and Erin is not round then Erin is furry. sent15: If something is furry and smart then it is rough. sent16: All smart, rough things are green. sent17: All round things are smart.

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


$answer$ ; $proof$ ; $question$ = Gary is furry. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Harry is not rough. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Bob is furry. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

$answer$ = True ; $proof$ = # sent14%int1 sent1 ; 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 kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

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


$answer$ ; $proof$ ; $question$ = Gary is quiet. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

$answer$ = True ; $proof$ = # sent12%int1 & # sent11%int2 sent6 sent3 ; 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: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is rough. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is not rough. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is nice. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is not nice. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is quiet. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is not quiet. ; $context$ = sent1: Bob is kind. sent2: Charlie is rough. sent3: Gary is furry. sent4: Gary is green. sent5: Gary is kind. sent6: Gary is rough. sent7: Harry is rough. sent8: If someone is green then they are rough. sent9: If someone is furry then they are green. sent10: All furry, red people are nice. sent11: Furry, rough people are nice. sent12: If someone is nice and furry then they are quiet. sent13: Green, red people are kind. sent14: All kind people are furry.

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


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

$answer$ = True ; $proof$ = sent5


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

$answer$ = False ; $proof$ = sent3


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

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


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

$answer$ = False ; $proof$ = # sent14%int1 sent5 ; 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 nice. sent2: Dave is big. sent3: Dave is white. sent4: Gary is blue. sent5: Gary is furry. sent6: Gary is red. sent7: Harry is big. sent8: Harry is furry. sent9: Harry is nice. sent10: Harry is red. sent11: All nice things are big. sent12: Furry things are red. sent13: Nice, big things are red. sent14: If something is furry then it is big. sent15: Big, red things are young. sent16: Furry things are white. sent17: All nice things are blue. sent18: Red, big things are young. sent19: If something is young and blue then it is furry.

$answer$ = True ; $proof$ = # sent13%int1 & sent1 # sent11%int2 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 nice. sent2: Dave is big. sent3: Dave is white. sent4: Gary is blue. sent5: Gary is furry. sent6: Gary is red. sent7: Harry is big. sent8: Harry is furry. sent9: Harry is nice. sent10: Harry is red. sent11: All nice things are big. sent12: Furry things are red. sent13: Nice, big things are red. sent14: If something is furry then it is big. sent15: Big, red things are young. sent16: Furry things are white. sent17: All nice things are blue. sent18: Red, big things are young. sent19: If something is young and blue then it is furry.

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


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

$answer$ = True ; $proof$ = # sent15%int1 & # sent11%int3 sent1 # sent13%int2 & sent1 # sent11%int3 sent1 ; 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 nice. sent2: Dave is big. sent3: Dave is white. sent4: Gary is blue. sent5: Gary is furry. sent6: Gary is red. sent7: Harry is big. sent8: Harry is furry. sent9: Harry is nice. sent10: Harry is red. sent11: All nice things are big. sent12: Furry things are red. sent13: Nice, big things are red. sent14: If something is furry then it is big. sent15: Big, red things are young. sent16: Furry things are white. sent17: All nice things are blue. sent18: Red, big things are young. sent19: If something is young and blue then it is furry.

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


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

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


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

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


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

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


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

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


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

$answer$ = True ; $proof$ = sent6


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

$answer$ = False ; $proof$ = sent1


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = The rabbit needs the bald eagle. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

$answer$ = True ; $proof$ = sent12


$answer$ ; $proof$ ; $question$ = The dog is not green. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The bald eagle visits the mouse. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The mouse does not visit the rabbit. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit is nice. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit is not nice. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit needs the dog. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not need the dog. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit likes the rabbit. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not like the rabbit. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit visits the mouse. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not visit the mouse. ; $context$ = sent1: The bald eagle likes the rabbit. sent2: The bald eagle needs the mouse. sent3: The bald eagle needs the rabbit. sent4: The bald eagle visits the dog. sent5: The dog is big. sent6: The dog is cold. sent7: The dog is green. sent8: The dog visits the mouse. sent9: The mouse visits the dog. sent10: The rabbit likes the dog. sent11: The rabbit likes the mouse. sent12: The rabbit needs the bald eagle. sent13: If the mouse likes the bald eagle then the mouse is green. sent14: If something needs the rabbit and the rabbit is nice then the rabbit needs the dog. sent15: If something likes the dog and it needs the dog then it likes the rabbit. sent16: If something visits the bald eagle then it likes the dog. sent17: If something likes the mouse and the mouse visits the rabbit then it is nice. sent18: If something is green then it needs the dog. sent19: If something likes the rabbit then it visits the mouse. sent20: If something likes the mouse then the mouse visits the rabbit.

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


$answer$ ; $proof$ ; $question$ = Anne is big. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Bob is not furry. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

$answer$ = False ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = Bob is quiet. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Bob is not quiet. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Fiona is big. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Fiona is not big. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Erin is furry. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Fiona is not furry. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Fiona is kind. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Erin is not kind. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Erin is nice. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = Erin is not nice. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Anne is furry. sent4: Anne is green. sent5: Anne is kind. sent6: Anne is quiet. sent7: Bob is big. sent8: Bob is cold. sent9: Bob is furry. sent10: Erin is green. sent11: Fiona is green. sent12: Fiona is nice. sent13: Cold, furry things are quiet. sent14: If something is green then it is quiet. sent15: If something is cold and big then it is furry. sent16: If something is big and green then it is furry. sent17: Green, furry things are kind. sent18: If Anne is kind then Anne is nice. sent19: All quiet things are big. sent20: If something is big and kind then it is nice. sent21: If something is cold and not big then it is nice.

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


$answer$ ; $proof$ ; $question$ = The rabbit is round. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

$answer$ = True ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The dog is not round. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The squirrel likes the rabbit. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The dog does not like the cow. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The rabbit sees the dog. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not see the dog. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The dog sees the cow. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The dog does not see the cow. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The dog is red. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The dog is not red. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The dog sees the dog. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = The dog does not see the dog. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is cold. sent3: The cow likes the rabbit. sent4: The dog is round. sent5: The rabbit eats the squirrel. sent6: The rabbit is round. sent7: The rabbit likes the cow. sent8: The rabbit sees the cow. sent9: The squirrel eats the dog. sent10: The squirrel is rough. sent11: If something sees the dog then the dog sees the cow. sent12: If something sees the cow then it is red. sent13: If the squirrel likes the rabbit and the squirrel is nice then the rabbit sees the squirrel. sent14: If something is rough and it eats the rabbit then it is round. sent15: If the squirrel eats the dog and the dog is not rough then the squirrel likes the rabbit. sent16: If the dog does not like the rabbit then the dog likes the cow. sent17: If something is red then it sees the dog. sent18: If something likes the dog then it eats the squirrel.

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


$answer$ ; $proof$ ; $question$ = Erin is nice. ; $context$ = sent1: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Harry is not round. ; $context$ = sent1: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

$answer$ = False ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = Harry is red. ; $context$ = sent1: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

$answer$ = True ; $proof$ = # sent15%int1 sent10 ; 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: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

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


$answer$ ; $proof$ ; $question$ = Bob is cold. ; $context$ = sent1: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

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


$answer$ ; $proof$ ; $question$ = Bob is not quiet. ; $context$ = sent1: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

$answer$ = False ; $proof$ = # sent13%int1 & sent1 # sent19%int2 sent1 ; 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: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

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


$answer$ ; $proof$ ; $question$ = Harry is not kind. ; $context$ = sent1: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

$answer$ = False ; $proof$ = # sent17%int1 & # sent15%int4 sent10 # sent18%int2 & # sent19%int3 sent9 # sent15%int4 sent10 ; 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: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

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

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


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

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


$answer$ ; $proof$ ; $question$ = Erin is not kind. ; $context$ = sent1: Bob is nice. sent2: Bob is red. sent3: Bob is round. sent4: Erin is nice. sent5: Erin is round. sent6: Gary is kind. sent7: Gary is quiet. sent8: Gary is white. sent9: Harry is nice. sent10: Harry is quiet. sent11: Harry is round. sent12: All cold people are quiet. sent13: All nice, white people are quiet. sent14: If someone is kind then they are red. sent15: Quiet people are red. sent16: If someone is quiet and not nice then they are kind. sent17: Red, cold people are kind. sent18: All white, red people are cold. sent19: Nice people are white.

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


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

$answer$ = True ; $proof$ = sent6


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

$answer$ = False ; $proof$ = sent11


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = Gary is kind. ; $context$ = sent1: Anne is cold. sent2: Fiona is red. sent3: Fiona is smart. sent4: Fiona is young. sent5: Gary is cold. sent6: Gary is furry. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is young. sent10: Harry is furry. sent11: Cold people are red. sent12: Rough, red people are furry. sent13: All kind people are rough. sent14: If someone is red then they are smart. sent15: Smart people are kind. sent16: All young, red people are kind.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Fiona is not smart. ; $context$ = sent1: Anne is cold. sent2: Fiona is red. sent3: Fiona is smart. sent4: Fiona is young. sent5: Gary is cold. sent6: Gary is furry. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is young. sent10: Harry is furry. sent11: Cold people are red. sent12: Rough, red people are furry. sent13: All kind people are rough. sent14: If someone is red then they are smart. sent15: Smart people are kind. sent16: All young, red people are kind.

$answer$ = False ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Anne is red. ; $context$ = sent1: Anne is cold. sent2: Fiona is red. sent3: Fiona is smart. sent4: Fiona is young. sent5: Gary is cold. sent6: Gary is furry. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is young. sent10: Harry is furry. sent11: Cold people are red. sent12: Rough, red people are furry. sent13: All kind people are rough. sent14: If someone is red then they are smart. sent15: Smart people are kind. sent16: All young, red people are kind.

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


$answer$ ; $proof$ ; $question$ = Gary is not rough. ; $context$ = sent1: Anne is cold. sent2: Fiona is red. sent3: Fiona is smart. sent4: Fiona is young. sent5: Gary is cold. sent6: Gary is furry. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is young. sent10: Harry is furry. sent11: Cold people are red. sent12: Rough, red people are furry. sent13: All kind people are rough. sent14: If someone is red then they are smart. sent15: Smart people are kind. sent16: All young, red people are kind.

$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$ = Anne is smart. ; $context$ = sent1: Anne is cold. sent2: Fiona is red. sent3: Fiona is smart. sent4: Fiona is young. sent5: Gary is cold. sent6: Gary is furry. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is young. sent10: Harry is furry. sent11: Cold people are red. sent12: Rough, red people are furry. sent13: All kind people are rough. sent14: If someone is red then they are smart. sent15: Smart people are kind. sent16: All young, red people are kind.

$answer$ = True ; $proof$ = # sent14%int1 # sent11%int2 sent1 ; 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: Anne is cold. sent2: Fiona is red. sent3: Fiona is smart. sent4: Fiona is young. sent5: Gary is cold. sent6: Gary is furry. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is young. sent10: Harry is furry. sent11: Cold people are red. sent12: Rough, red people are furry. sent13: All kind people are rough. sent14: If someone is red then they are smart. sent15: Smart people are kind. sent16: All young, red people are kind.

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


$answer$ ; $proof$ ; $question$ = Anne is kind. ; $context$ = sent1: Anne is cold. sent2: Fiona is red. sent3: Fiona is smart. sent4: Fiona is young. sent5: Gary is cold. sent6: Gary is furry. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is young. sent10: Harry is furry. sent11: Cold people are red. sent12: Rough, red people are furry. sent13: All kind people are rough. sent14: If someone is red then they are smart. sent15: Smart people are kind. sent16: All young, red people are kind.

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