$answer$ ; $proof$ ; $question$ = Charlie is not blue. ; $context$ = sent1: Anne is red. sent2: Bob is big. sent3: Bob is green. sent4: Bob is red. sent5: Charlie is furry. sent6: Dave is big. sent7: Dave is blue. sent8: If something is big then it is smart. sent9: If something is blue then it is green. sent10: All furry things are big. sent11: Smart things are blue. sent12: If something is green then it is furry. sent13: Green things are smart. sent14: All green things are quiet.

$answer$ = False ; $proof$ = # sent11%int1 # sent8%int2 # sent10%int3 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Charlie is green. ; $context$ = sent1: Anne is red. sent2: Bob is big. sent3: Bob is green. sent4: Bob is red. sent5: Charlie is furry. sent6: Dave is big. sent7: Dave is blue. sent8: If something is big then it is smart. sent9: If something is blue then it is green. sent10: All furry things are big. sent11: Smart things are blue. sent12: If something is green then it is furry. sent13: Green things are smart. sent14: All green things are quiet.

$answer$ = True ; $proof$ = # sent9%int1 # sent11%int2 # sent8%int3 # sent10%int4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Charlie is not green. ; $context$ = sent1: Anne is red. sent2: Bob is big. sent3: Bob is green. sent4: Bob is red. sent5: Charlie is furry. sent6: Dave is big. sent7: Dave is blue. sent8: If something is big then it is smart. sent9: If something is blue then it is green. sent10: All furry things are big. sent11: Smart things are blue. sent12: If something is green then it is furry. sent13: Green things are smart. sent14: All green things are quiet.

$answer$ = False ; $proof$ = # sent9%int1 # sent11%int2 # sent8%int3 # sent10%int4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Charlie is quiet. ; $context$ = sent1: Anne is red. sent2: Bob is big. sent3: Bob is green. sent4: Bob is red. sent5: Charlie is furry. sent6: Dave is big. sent7: Dave is blue. sent8: If something is big then it is smart. sent9: If something is blue then it is green. sent10: All furry things are big. sent11: Smart things are blue. sent12: If something is green then it is furry. sent13: Green things are smart. sent14: All green things are quiet.

$answer$ = True ; $proof$ = # sent14%int1 # sent9%int2 # sent11%int3 # sent8%int4 # sent10%int5 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Charlie is not quiet. ; $context$ = sent1: Anne is red. sent2: Bob is big. sent3: Bob is green. sent4: Bob is red. sent5: Charlie is furry. sent6: Dave is big. sent7: Dave is blue. sent8: If something is big then it is smart. sent9: If something is blue then it is green. sent10: All furry things are big. sent11: Smart things are blue. sent12: If something is green then it is furry. sent13: Green things are smart. sent14: All green things are quiet.

$answer$ = False ; $proof$ = # sent14%int1 # sent9%int2 # sent11%int3 # sent8%int4 # sent10%int5 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is white. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Anne is not big. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Anne is cold. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = True ; $proof$ = # sent18%int1 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is not cold. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = False ; $proof$ = # sent18%int1 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is big. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = True ; $proof$ = # sent17%int1 & sent10 # sent12%int2 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = False ; $proof$ = # sent17%int1 & sent10 # sent12%int2 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is blue. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = True ; $proof$ = # sent15%int1 & # sent12%int3 sent10 # sent17%int2 & sent10 # sent12%int3 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is not blue. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = False ; $proof$ = # sent15%int1 & # sent12%int3 sent10 # sent17%int2 & sent10 # sent12%int3 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is green. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 & # sent12%int4 sent10 # sent17%int3 & sent10 # sent12%int4 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is not green. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = False ; $proof$ = # sent16%int1 # sent15%int2 & # sent12%int4 sent10 # sent17%int3 & sent10 # sent12%int4 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is rough. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = True ; $proof$ = # sent13%int1 & # sent18%int2 # sent15%int3 & # sent12%int5 sent10 # sent17%int4 & sent10 # sent12%int5 sent10 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is not rough. ; $context$ = sent1: Anne is big. sent2: Anne is blue. sent3: Anne is rough. sent4: Bob is cold. sent5: Bob is green. sent6: Bob is rough. sent7: Bob is white. sent8: Dave is blue. sent9: Dave is white. sent10: Harry is young. sent11: If Bob is big then Bob is white. sent12: Young people are white. sent13: Cold, young people are rough. sent14: If Anne is green and Anne is young then Anne is white. sent15: White, big people are blue. sent16: All blue people are green. sent17: If someone is young and white then they are big. sent18: Blue people are cold.

$answer$ = False ; $proof$ = # sent13%int1 & # sent18%int2 # sent15%int3 & # sent12%int5 sent10 # sent17%int4 & sent10 # sent12%int5 sent10 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = sent7


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

$answer$ = False ; $proof$ = sent5


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

$answer$ = True ; $proof$ = # sent8%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent8%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent8%int1 # sent11%int2 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent9%int1 & # sent8%int2 sent4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent9%int1 & # sent8%int2 # sent11%int3 sent3 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent12%int1 & sent5 # sent9%int2 & # sent8%int3 sent4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent12%int1 & sent1 # sent9%int2 & # sent8%int3 # sent11%int4 sent3 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent9%int1 & # sent8%int3 # sent11%int4 sent7 # sent10%int2 & # sent8%int3 # sent11%int4 sent7 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent12%int1 & # sent10%int3 & # sent8%int4 # sent11%int5 sent7 sent7 # sent9%int2 & # sent8%int4 # sent11%int5 sent7 # sent10%int3 & # sent8%int4 # sent11%int5 sent7 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent12%int1 & # sent10%int3 & # sent8%int4 # sent11%int5 sent7 sent7 # sent9%int2 & # sent8%int4 # sent11%int5 sent7 # sent10%int3 & # sent8%int4 # sent11%int5 sent7 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Fiona is young. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Erin is not furry. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Bob is big. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent11%int1 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is not nice. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent15%int1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is smart. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is not smart. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent16%int1 # sent15%int2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is smart. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 & sent3 # sent11%int3 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is not smart. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent16%int1 # sent15%int2 & sent3 # sent11%int3 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Erin is green. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent8%int1 & sent5 # sent13%int2 # sent16%int3 # sent15%int4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is not young. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent13%int1 # sent16%int2 # sent15%int3 & sent3 # sent11%int4 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is green. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = True ; $proof$ = # sent8%int1 & # sent15%int4 & sent3 # sent11%int5 sent3 # sent13%int2 # sent16%int3 # sent15%int4 & sent3 # sent11%int5 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is not green. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Bob is furry. sent4: Erin is big. sent5: Erin is furry. sent6: Fiona is green. sent7: Fiona is young. sent8: Nice, young things are green. sent9: Rough, nice things are green. sent10: If something is rough then it is green. sent11: All furry things are big. sent12: If Anne is rough then Anne is big. sent13: Smart things are young. sent14: All big, rough things are nice. sent15: Furry, big things are nice. sent16: If something is nice then it is smart.

$answer$ = False ; $proof$ = # sent8%int1 & # sent15%int4 & sent3 # sent11%int5 sent3 # sent13%int2 # sent16%int3 # sent15%int4 & sent3 # sent11%int5 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cat eats the dog. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The dog does not eat the cat. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The dog visits the cat. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = True ; $proof$ = # sent18%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The mouse does not visit the cat. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = False ; $proof$ = # sent18%int1 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The mouse is blue. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = True ; $proof$ = # sent13%int1 & sent8 # sent18%int2 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The dog is not blue. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = False ; $proof$ = # sent13%int1 & sent4 # sent18%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The mouse eats the rabbit. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = True ; $proof$ = # sent12%int1 # sent13%int2 & sent8 # sent18%int3 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The dog does not eat the rabbit. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = False ; $proof$ = # sent12%int1 # sent13%int2 & sent4 # sent18%int3 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit sees the dog. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = True ; $proof$ = # sent11%int1 # sent12%int2 # sent13%int3 & sent4 # sent18%int4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit does not see the dog. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = False ; $proof$ = # sent11%int1 # sent12%int2 # sent13%int3 & sent4 # sent18%int4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit eats the rabbit. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = True ; $proof$ = # sent17%int1 # sent11%int2 # sent12%int3 # sent13%int4 & sent4 # sent18%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit does not eat the rabbit. ; $context$ = sent1: The cat eats the dog. sent2: The cat eats the mouse. sent3: The cat sees the mouse. sent4: The dog eats the cat. sent5: The dog eats the mouse. sent6: The dog is red. sent7: The dog visits the rabbit. sent8: The mouse eats the cat. sent9: The rabbit visits the dog. sent10: The rabbit visits the mouse. sent11: If something eats the rabbit then the rabbit sees the dog. sent12: If something is blue then it eats the rabbit. sent13: If something eats the cat and it visits the cat then it is blue. sent14: If something visits the rabbit and it sees the rabbit then the rabbit sees the dog. sent15: If something is round and it sees the dog then it visits the dog. sent16: If something is red then it eats the cat. sent17: If something sees the dog then it eats the rabbit. sent18: If something eats the cat then it visits the cat. sent19: If something is red and it sees the dog then it sees the cat.

$answer$ = False ; $proof$ = # sent17%int1 # sent11%int2 # sent12%int3 # sent13%int4 & sent4 # sent18%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = sent2


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

$answer$ = False ; $proof$ = sent2


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

$answer$ = True ; $proof$ = # sent16%int1 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow does not chase the bear. ; $context$ = sent1: The bear visits the lion. sent2: The cat visits the lion. sent3: The cow is blue. sent4: The cow is kind. sent5: The cow needs the bear. sent6: The lion is rough. sent7: The lion needs the cow. sent8: If something chases the cow then the cow visits the lion. sent9: If something chases the bear then the bear needs the cow. sent10: If something needs the cat then the cat chases the lion. sent11: If something needs the lion and the lion is round then it chases the bear. sent12: If something is kind then it chases the bear. sent13: If something needs the lion then the lion chases the cat. sent14: If something chases the lion then the lion chases the cow. sent15: If the cow visits the cat then the cat chases the bear. sent16: If something visits the lion and it is not big then it needs the cat.

$answer$ = False ; $proof$ = # sent12%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent9%int1 # sent12%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cat does not chase the lion. ; $context$ = sent1: The bear visits the lion. sent2: The cat visits the lion. sent3: The cow is blue. sent4: The cow is kind. sent5: The cow needs the bear. sent6: The lion is rough. sent7: The lion needs the cow. sent8: If something chases the cow then the cow visits the lion. sent9: If something chases the bear then the bear needs the cow. sent10: If something needs the cat then the cat chases the lion. sent11: If something needs the lion and the lion is round then it chases the bear. sent12: If something is kind then it chases the bear. sent13: If something needs the lion then the lion chases the cat. sent14: If something chases the lion then the lion chases the cow. sent15: If the cow visits the cat then the cat chases the bear. sent16: If something visits the lion and it is not big then it needs the cat.

$answer$ = False ; $proof$ = # sent10%int1 # sent16%int2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent14%int1 # sent10%int2 # sent16%int3 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion does not chase the cow. ; $context$ = sent1: The bear visits the lion. sent2: The cat visits the lion. sent3: The cow is blue. sent4: The cow is kind. sent5: The cow needs the bear. sent6: The lion is rough. sent7: The lion needs the cow. sent8: If something chases the cow then the cow visits the lion. sent9: If something chases the bear then the bear needs the cow. sent10: If something needs the cat then the cat chases the lion. sent11: If something needs the lion and the lion is round then it chases the bear. sent12: If something is kind then it chases the bear. sent13: If something needs the lion then the lion chases the cat. sent14: If something chases the lion then the lion chases the cow. sent15: If the cow visits the cat then the cat chases the bear. sent16: If something visits the lion and it is not big then it needs the cat.

$answer$ = False ; $proof$ = # sent14%int1 # sent10%int2 # sent16%int3 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent8%int1 # sent14%int2 # sent10%int3 # sent16%int4 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent8%int1 # sent14%int2 # sent10%int3 # sent16%int4 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent16%int1 & # sent8%int2 # sent14%int3 # sent10%int4 # sent16%int5 naf2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow does not need the cat. ; $context$ = sent1: The bear visits the lion. sent2: The cat visits the lion. sent3: The cow is blue. sent4: The cow is kind. sent5: The cow needs the bear. sent6: The lion is rough. sent7: The lion needs the cow. sent8: If something chases the cow then the cow visits the lion. sent9: If something chases the bear then the bear needs the cow. sent10: If something needs the cat then the cat chases the lion. sent11: If something needs the lion and the lion is round then it chases the bear. sent12: If something is kind then it chases the bear. sent13: If something needs the lion then the lion chases the cat. sent14: If something chases the lion then the lion chases the cow. sent15: If the cow visits the cat then the cat chases the bear. sent16: If something visits the lion and it is not big then it needs the cat.

$answer$ = False ; $proof$ = # sent16%int1 & # sent8%int2 # sent14%int3 # sent10%int4 # sent16%int5 naf2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is round. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Harry is not smart. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Gary is cold. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = True ; $proof$ = # sent9%int1 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is not cold. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = False ; $proof$ = # sent9%int1 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is blue. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = True ; $proof$ = # sent10%int1 & sent4 # sent9%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Harry is not quiet. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = False ; $proof$ = # sent12%int1 & sent5 # sent9%int2 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is furry. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = True ; $proof$ = # sent13%int1 & # sent10%int2 & sent4 # sent9%int3 sent4 # sent9%int3 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is not furry. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = False ; $proof$ = # sent13%int1 & # sent10%int2 & sent4 # sent9%int3 sent4 # sent9%int3 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is quiet. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = True ; $proof$ = # sent12%int1 & # sent13%int2 & # sent10%int3 & sent4 # sent9%int4 sent4 # sent9%int4 sent4 # sent9%int4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is not quiet. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = False ; $proof$ = # sent12%int1 & # sent13%int2 & # sent10%int3 & sent4 # sent9%int4 sent4 # sent9%int4 sent4 # sent9%int4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is smart. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = True ; $proof$ = # sent8%int1 # sent12%int2 & # sent13%int3 & # sent10%int4 & sent4 # sent9%int5 sent4 # sent9%int5 sent4 # sent9%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is not smart. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.

$answer$ = False ; $proof$ = # sent8%int1 # sent12%int2 & # sent13%int3 & # sent10%int4 & sent4 # sent9%int5 sent4 # sent9%int5 sent4 # sent9%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Charlie is quiet. ; $context$ = sent1: Anne is green. sent2: Charlie is big. sent3: Charlie is quiet. sent4: Charlie is round. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is nice. sent8: Erin is quiet. sent9: Fiona is blue. sent10: Fiona is kind. sent11: Fiona is quiet. sent12: If something is kind then it is nice. sent13: If something is round and quiet then it is blue. sent14: If Charlie is kind then Charlie is big. sent15: All big, blue things are kind. sent16: Nice things are quiet. sent17: All green things are big. sent18: Quiet things are kind. sent19: Big things are kind. sent20: If Anne is green then Anne is round.

$answer$ = True ; $proof$ = sent3


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

$answer$ = False ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Erin is big. ; $context$ = sent1: Anne is green. sent2: Charlie is big. sent3: Charlie is quiet. sent4: Charlie is round. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is nice. sent8: Erin is quiet. sent9: Fiona is blue. sent10: Fiona is kind. sent11: Fiona is quiet. sent12: If something is kind then it is nice. sent13: If something is round and quiet then it is blue. sent14: If Charlie is kind then Charlie is big. sent15: All big, blue things are kind. sent16: Nice things are quiet. sent17: All green things are big. sent18: Quiet things are kind. sent19: Big things are kind. sent20: If Anne is green then Anne is round.

$answer$ = True ; $proof$ = # sent17%int1 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent17%int1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is kind. ; $context$ = sent1: Anne is green. sent2: Charlie is big. sent3: Charlie is quiet. sent4: Charlie is round. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is nice. sent8: Erin is quiet. sent9: Fiona is blue. sent10: Fiona is kind. sent11: Fiona is quiet. sent12: If something is kind then it is nice. sent13: If something is round and quiet then it is blue. sent14: If Charlie is kind then Charlie is big. sent15: All big, blue things are kind. sent16: Nice things are quiet. sent17: All green things are big. sent18: Quiet things are kind. sent19: Big things are kind. sent20: If Anne is green then Anne is round.

$answer$ = True ; $proof$ = # sent19%int1 # sent17%int2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent12%int1 # sent19%int2 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is nice. ; $context$ = sent1: Anne is green. sent2: Charlie is big. sent3: Charlie is quiet. sent4: Charlie is round. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is nice. sent8: Erin is quiet. sent9: Fiona is blue. sent10: Fiona is kind. sent11: Fiona is quiet. sent12: If something is kind then it is nice. sent13: If something is round and quiet then it is blue. sent14: If Charlie is kind then Charlie is big. sent15: All big, blue things are kind. sent16: Nice things are quiet. sent17: All green things are big. sent18: Quiet things are kind. sent19: Big things are kind. sent20: If Anne is green then Anne is round.

$answer$ = True ; $proof$ = # sent12%int1 # sent19%int2 # sent17%int3 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent12%int1 # sent19%int2 # sent17%int3 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is quiet. ; $context$ = sent1: Anne is green. sent2: Charlie is big. sent3: Charlie is quiet. sent4: Charlie is round. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is nice. sent8: Erin is quiet. sent9: Fiona is blue. sent10: Fiona is kind. sent11: Fiona is quiet. sent12: If something is kind then it is nice. sent13: If something is round and quiet then it is blue. sent14: If Charlie is kind then Charlie is big. sent15: All big, blue things are kind. sent16: Nice things are quiet. sent17: All green things are big. sent18: Quiet things are kind. sent19: Big things are kind. sent20: If Anne is green then Anne is round.

$answer$ = True ; $proof$ = # sent16%int1 # sent12%int2 # sent19%int3 # sent17%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent16%int1 # sent12%int2 # sent19%int3 # sent17%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Anne is blue. ; $context$ = sent1: Anne is green. sent2: Charlie is big. sent3: Charlie is quiet. sent4: Charlie is round. sent5: Erin is green. sent6: Erin is kind. sent7: Erin is nice. sent8: Erin is quiet. sent9: Fiona is blue. sent10: Fiona is kind. sent11: Fiona is quiet. sent12: If something is kind then it is nice. sent13: If something is round and quiet then it is blue. sent14: If Charlie is kind then Charlie is big. sent15: All big, blue things are kind. sent16: Nice things are quiet. sent17: All green things are big. sent18: Quiet things are kind. sent19: Big things are kind. sent20: If Anne is green then Anne is round.

$answer$ = True ; $proof$ = # sent13%int1 & # sent20%int6 sent1 # sent16%int2 # sent12%int3 # sent19%int4 # sent17%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent13%int1 & # sent20%int6 sent1 # sent16%int2 # sent12%int3 # sent19%int4 # sent17%int5 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The bear needs the lion. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The cat is not blue. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The lion visits the bear. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = True ; $proof$ = # sent14%int1 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion does not visit the bear. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = False ; $proof$ = # sent14%int1 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit is cold. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = True ; $proof$ = # sent18%int1 # sent15%int2 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit does not eat the rabbit. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = False ; $proof$ = # sent17%int1 # sent15%int2 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion needs the bear. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = True ; $proof$ = # sent20%int1 & # sent18%int2 # sent15%int3 sent11 # sent15%int3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion does not need the bear. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = False ; $proof$ = # sent20%int1 & # sent18%int2 # sent15%int3 sent11 # sent15%int3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion visits the lion. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = True ; $proof$ = # sent15%int1 # sent20%int2 & # sent18%int3 # sent15%int4 sent11 # sent15%int4 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The bear does not eat the lion. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = False ; $proof$ = # sent21%int1 # sent20%int2 & # sent18%int3 # sent15%int4 sent11 # sent15%int4 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion eats the rabbit. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = True ; $proof$ = # sent17%int1 # sent15%int2 # sent20%int3 & # sent18%int4 # sent15%int5 sent11 # sent15%int5 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion does not eat the rabbit. ; $context$ = sent1: The bear eats the cat. sent2: The bear is cold. sent3: The bear is young. sent4: The bear needs the lion. sent5: The cat is blue. sent6: The cat is kind. sent7: The cat needs the rabbit. sent8: The lion is cold. sent9: The lion is red. sent10: The rabbit is blue. sent11: The rabbit needs the bear. sent12: The rabbit visits the cat. sent13: If the rabbit is kind and the rabbit needs the cat then the rabbit is cold. sent14: If someone is red then they visit the bear. sent15: If someone needs the bear then they visit the lion. sent16: If the bear visits the cat then the cat needs the bear. sent17: If someone visits the lion then they eat the rabbit. sent18: If someone visits the lion then they are cold. sent19: If someone visits the rabbit then they are cold. sent20: If someone is cold and they visit the lion then the lion needs the bear. sent21: If the lion needs the bear then the bear eats the lion.

$answer$ = False ; $proof$ = # sent17%int1 # sent15%int2 # sent20%int3 & # sent18%int4 # sent15%int5 sent11 # sent15%int5 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The mouse likes the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The mouse does not like the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The squirrel is rough. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = True ; $proof$ = # sent18%int1 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The squirrel does not chase the squirrel. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = False ; $proof$ = # sent23%int1 sent14 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow likes the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = True ; $proof$ = # sent17%int1 # sent19%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow does not like the cow. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = False ; $proof$ = # sent17%int1 # sent19%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow is kind. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = True ; $proof$ = # sent20%int1 & # sent17%int2 # sent19%int3 sent4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow is not kind. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = False ; $proof$ = # sent20%int1 & # sent17%int2 # sent19%int3 sent4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow chases the rabbit. ; $context$ = sent1: The cow chases the mouse. sent2: The cow likes the mouse. sent3: The cow likes the rabbit. sent4: The cow likes the squirrel. sent5: The cow sees the mouse. sent6: The cow sees the squirrel. sent7: The mouse likes the cow. sent8: The mouse likes the rabbit. sent9: The rabbit chases the squirrel. sent10: The rabbit sees the cow. sent11: The squirrel chases the rabbit. sent12: The squirrel is kind. sent13: The squirrel likes the rabbit. sent14: The squirrel sees the cow. sent15: If someone likes the cow and the cow sees the rabbit then the cow is kind. sent16: If someone sees the rabbit and they like the cow then the cow is cold. sent17: If someone is red then they like the cow. sent18: If someone chases the rabbit then they are rough. sent19: If someone likes the squirrel then they are red. sent20: If someone likes the cow and they like the squirrel then the cow is kind. sent21: If someone is kind then they chase the rabbit. sent22: If someone likes the rabbit and the rabbit is rough then the rabbit chases the squirrel. sent23: If someone sees the cow then they chase the squirrel.

$answer$ = True ; $proof$ = # sent21%int1 # sent20%int2 & # sent17%int3 # sent19%int4 sent4 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.