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

$answer$ = False ; $proof$ = # sent12%int1 & # sent14%int2 # sent13%int3 sent1 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent11%int1 & # sent13%int4 sent1 # sent12%int2 & # sent14%int3 # sent13%int4 sent1 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent11%int1 & # sent13%int4 sent1 # sent12%int2 & # sent14%int3 # sent13%int4 sent1 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

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


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

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


$answer$ ; $proof$ ; $question$ = Fiona is kind. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Fiona is not big. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Harry is green. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = True ; $proof$ = # sent14%int1 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not green. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = False ; $proof$ = # sent14%int1 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is big. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = True ; $proof$ = # sent13%int1 # sent14%int2 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = False ; $proof$ = # sent13%int1 # sent14%int2 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is nice. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = True ; $proof$ = # sent10%int1 # sent13%int2 # sent14%int3 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not nice. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = False ; $proof$ = # sent10%int1 # sent13%int2 # sent14%int3 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is blue. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = True ; $proof$ = # sent9%int1 & # sent10%int2 # sent13%int3 # sent14%int4 sent6 # sent14%int4 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not blue. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = False ; $proof$ = # sent9%int1 & # sent10%int2 # sent13%int3 # sent14%int4 sent6 # sent14%int4 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is kind. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = True ; $proof$ = # sent16%int1 # sent9%int2 & # sent10%int3 # sent13%int4 # sent14%int5 sent6 # sent14%int5 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not kind. ; $context$ = sent1: Charlie is nice. sent2: Fiona is big. sent3: Fiona is green. sent4: Fiona is kind. sent5: Fiona is nice. sent6: Gary is red. sent7: Harry is red. sent8: If someone is big then they are red. sent9: If Gary is nice and Gary is green then Gary is blue. sent10: If someone is big then they are nice. sent11: If someone is kind and red then they are big. sent12: If Fiona is red and Fiona is green then Fiona is blue. sent13: All green people are big. sent14: If someone is red then they are green. sent15: If Fiona is nice then Fiona is blue. sent16: If someone is blue then they are kind.

$answer$ = False ; $proof$ = # sent16%int1 # sent9%int2 & # sent10%int3 # sent13%int4 # sent14%int5 sent6 # sent14%int5 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is big. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Charlie is not quiet. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Gary is red. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = True ; $proof$ = # sent21%int1 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not red. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = False ; $proof$ = # sent21%int1 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is quiet. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = True ; $proof$ = # sent22%int1 # sent21%int2 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not quiet. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = False ; $proof$ = # sent22%int1 # sent21%int2 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is big. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = True ; $proof$ = # sent23%int1 & # sent21%int3 sent16 # sent22%int2 # sent21%int3 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not big. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = False ; $proof$ = # sent23%int1 & # sent21%int3 sent16 # sent22%int2 # sent21%int3 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is rough. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = True ; $proof$ = # sent24%int1 # sent23%int2 & # sent21%int4 sent16 # sent22%int3 # sent21%int4 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not rough. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = False ; $proof$ = # sent24%int1 # sent23%int2 & # sent21%int4 sent16 # sent22%int3 # sent21%int4 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is furry. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = True ; $proof$ = # sent17%int1 & # sent24%int2 # sent23%int3 & # sent21%int5 sent16 # sent22%int4 # sent21%int5 sent16 # sent22%int4 # sent21%int5 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not furry. ; $context$ = sent1: Anne is big. sent2: Anne is quiet. sent3: Anne is red. sent4: Charlie is cold. sent5: Charlie is furry. sent6: Charlie is quiet. sent7: Charlie is red. sent8: Charlie is rough. sent9: Charlie is young. sent10: Dave is big. sent11: Dave is cold. sent12: Dave is furry. sent13: Dave is red. sent14: Dave is rough. sent15: Dave is young. sent16: Gary is cold. sent17: Rough, quiet things are furry. sent18: Furry things are quiet. sent19: If Charlie is rough then Charlie is quiet. sent20: If Charlie is red then Charlie is cold. sent21: If something is cold then it is red. sent22: If something is red then it is quiet. sent23: If Gary is red and Gary is quiet then Gary is big. sent24: All big things are rough. sent25: All cold things are red.

$answer$ = False ; $proof$ = # sent17%int1 & # sent24%int2 # sent23%int3 & # sent21%int5 sent16 # sent22%int4 # sent21%int5 sent16 # sent22%int4 # sent21%int5 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = sent10


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

$answer$ = False ; $proof$ = sent13


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

$answer$ = True ; $proof$ = # sent21%int1 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent21%int1 sent4 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent18%int1 # sent21%int2 sent4 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent18%int1 # sent21%int2 sent16 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent20%int1 & # sent18%int2 # sent21%int3 sent16 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent20%int1 & # sent18%int2 # sent21%int3 sent16 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent18%int1 # sent20%int2 & # sent18%int3 # sent21%int4 sent16 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent18%int1 # sent20%int2 & # sent18%int3 # sent21%int4 sent16 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent19%int1 # sent18%int2 # sent20%int3 & # sent18%int4 # sent21%int5 sent16 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent19%int1 # sent18%int2 # sent20%int3 & # sent18%int4 # sent21%int5 sent16 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Charlie is not smart. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Anne is cold. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

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


$answer$ ; $proof$ ; $question$ = Erin is not big. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = False ; $proof$ = # sent11%int1 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is green. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = True ; $proof$ = # sent13%int1 # sent11%int2 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is not green. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

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


$answer$ ; $proof$ ; $question$ = Harry is furry. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = True ; $proof$ = # sent12%int1 # sent13%int2 # sent11%int3 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not furry. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = False ; $proof$ = # sent12%int1 # sent13%int2 # sent11%int3 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Anne is furry. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = True ; $proof$ = # sent12%int1 # sent13%int2 # sent11%int3 # sent16%int4 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Anne is not furry. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = False ; $proof$ = # sent12%int1 # sent13%int2 # sent11%int3 # sent16%int4 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Anne is round. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = True ; $proof$ = # sent17%int1 & # sent11%int4 # sent16%int5 sent1 # sent12%int2 # sent13%int3 # sent11%int4 # sent16%int5 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Anne is not round. ; $context$ = sent1: Anne is smart. sent2: Charlie is big. sent3: Charlie is green. sent4: Charlie is round. sent5: Charlie is smart. sent6: Charlie is young. sent7: Erin is cold. sent8: Erin is round. sent9: Harry is cold. sent10: Harry is round. sent11: All cold people are big. sent12: Green people are furry. sent13: Big people are green. sent14: If Erin is furry then Erin is green. sent15: If Erin is green then Erin is furry. sent16: If someone is smart then they are cold. sent17: If Anne is big and Anne is furry then Anne is round. sent18: If Harry is round and Harry is young then Harry is furry.

$answer$ = False ; $proof$ = # sent17%int1 & # sent11%int4 # sent16%int5 sent1 # sent12%int2 # sent13%int3 # sent11%int4 # sent16%int5 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is smart. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Gary is not cold. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Charlie is young. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = True ; $proof$ = # sent11%int1 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Gary is not big. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = False ; $proof$ = # sent8%int1 sent4 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is white. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = True ; $proof$ = # sent13%int1 # sent11%int2 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not white. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = False ; $proof$ = # sent13%int1 # sent11%int2 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is white. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = True ; $proof$ = # sent13%int1 # sent12%int2 & # sent8%int3 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not white. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = False ; $proof$ = # sent13%int1 # sent12%int2 & # sent8%int3 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is red. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = True ; $proof$ = # sent10%int1 # sent13%int2 # sent12%int3 & # sent8%int4 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not red. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = False ; $proof$ = # sent10%int1 # sent13%int2 # sent12%int3 & # sent8%int4 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is smart. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = True ; $proof$ = # sent14%int1 # sent10%int2 # sent13%int3 # sent12%int4 & # sent8%int5 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not smart. ; $context$ = sent1: Charlie is rough. sent2: Charlie is smart. sent3: Erin is cold. sent4: Gary is cold. sent5: Gary is white. sent6: Gary is young. sent7: Harry is white. sent8: Cold things are big. sent9: If something is red and smart then it is big. sent10: If Erin is white then Erin is red. sent11: Smart things are young. sent12: If something is big and cold then it is young. sent13: If something is young then it is white. sent14: If something is red then it is smart. sent15: If something is smart and not red then it is rough.

$answer$ = False ; $proof$ = # sent14%int1 # sent10%int2 # sent13%int3 # sent12%int4 & # sent8%int5 sent3 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion chases the bald eagle. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = True ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = The cow does not chase the bear. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The lion needs the cow. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = True ; $proof$ = # sent15%int1 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion does not need the cow. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = False ; $proof$ = # sent15%int1 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The cow chases the lion. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = True ; $proof$ = # sent20%int1 & sent11 # sent15%int2 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The cow does not chase the lion. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = False ; $proof$ = # sent20%int1 & sent11 # sent15%int2 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion is green. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = True ; $proof$ = # sent17%int1 # sent20%int2 & sent11 # sent15%int3 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion is not green. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = False ; $proof$ = # sent17%int1 # sent20%int2 & sent11 # sent15%int3 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion sees the bald eagle. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = True ; $proof$ = # sent19%int1 & sent4 # sent17%int2 # sent20%int3 & sent11 # sent15%int4 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion does not see the bald eagle. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = False ; $proof$ = # sent19%int1 & sent4 # sent17%int2 # sent20%int3 & sent11 # sent15%int4 sent11 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion chases the lion. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = True ; $proof$ = # sent16%int1 & # sent13%int2 & # sent17%int3 # sent20%int4 & sent11 # sent15%int5 sent11 sent11 sent12 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion does not chase the lion. ; $context$ = sent1: The bald eagle is green. sent2: The bear is red. sent3: The bear needs the lion. sent4: The bear sees the lion. sent5: The cow chases the bear. sent6: The cow is kind. sent7: The cow needs the lion. sent8: The lion chases the bald eagle. sent9: The lion chases the cow. sent10: The lion is blue. sent11: The lion is red. sent12: The lion sees the cow. sent13: If someone is green and red then they are big. sent14: If someone sees the bald eagle then the bald eagle needs the bear. sent15: If someone is red then they need the cow. sent16: If someone is big and they see the cow then they chase the lion. sent17: If someone chases the lion then the lion is green. sent18: If someone needs the bear and the bear chases the lion then they are green. sent19: If someone sees the lion and the lion is green then the lion sees the bald eagle. sent20: If someone is red and they need the cow then the cow chases the lion. sent21: If someone sees the bear and the bear chases the lion then the bear sees the bald eagle.

$answer$ = False ; $proof$ = # sent16%int1 & # sent13%int2 & # sent17%int3 # sent20%int4 & sent11 # sent15%int5 sent11 sent11 sent12 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is smart. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Erin is not big. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = False ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = Fiona is smart. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

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


$answer$ ; $proof$ ; $question$ = Bob is not green. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

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


$answer$ ; $proof$ ; $question$ = Fiona is round. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

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


$answer$ ; $proof$ ; $question$ = Erin is not nice. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = False ; $proof$ = # sent17%int1 # sent14%int2 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Bob is white. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = True ; $proof$ = # sent12%int1 & sent2 # sent14%int3 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Bob is not white. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = False ; $proof$ = # sent12%int1 & sent2 # sent14%int3 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Bob is smart. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = True ; $proof$ = # sent16%int1 # sent12%int2 & sent2 # sent14%int4 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Bob is not smart. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = False ; $proof$ = # sent16%int1 # sent12%int2 & sent2 # sent14%int4 sent1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is round. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = True ; $proof$ = # sent13%int1 # sent16%int2 # sent12%int3 & sent10 # sent14%int5 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not round. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Dave is big. sent4: Dave is green. sent5: Dave is nice. sent6: Dave is round. sent7: Dave is smart. sent8: Dave is white. sent9: Erin is big. sent10: Erin is blue. sent11: Fiona is white. sent12: If someone is nice and green then they are white. sent13: All smart people are round. sent14: All blue, big people are green. sent15: If someone is white and not blue then they are smart. sent16: White people are smart. sent17: If someone is green then they are nice.

$answer$ = False ; $proof$ = # sent13%int1 # sent16%int2 # sent12%int3 & sent10 # sent14%int5 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is young. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Bob is not young. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Erin is furry. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = True ; $proof$ = # sent14%int1 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not furry. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = False ; $proof$ = # sent14%int1 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is smart. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = True ; $proof$ = # sent11%int1 & sent6 # sent14%int2 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not smart. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = False ; $proof$ = # sent11%int1 & sent6 # sent14%int2 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is big. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = True ; $proof$ = # sent8%int1 & # sent14%int3 sent7 # sent11%int2 & sent6 # sent14%int3 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not big. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = False ; $proof$ = # sent8%int1 & # sent14%int3 sent7 # sent11%int2 & sent6 # sent14%int3 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is white. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = True ; $proof$ = # sent13%int1 & sent7 # sent8%int2 & # sent14%int4 sent7 # sent11%int3 & sent6 # sent14%int4 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not white. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = False ; $proof$ = # sent13%int1 & sent7 # sent8%int2 & # sent14%int4 sent7 # sent11%int3 & sent6 # sent14%int4 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is green. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = True ; $proof$ = # sent9%int1 & # sent13%int2 & sent7 # sent8%int3 & # sent14%int5 sent7 # sent11%int4 & sent6 # sent14%int5 sent7 # sent8%int3 & # sent14%int5 sent7 # sent11%int4 & sent6 # sent14%int5 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not green. ; $context$ = sent1: Bob is furry. sent2: Bob is young. sent3: Charlie is big. sent4: Dave is furry. sent5: Dave is young. sent6: Erin is nice. sent7: Erin is young. sent8: Furry, smart things are big. sent9: White, big things are green. sent10: If something is white then it is furry. sent11: If something is nice and furry then it is smart. sent12: If something is furry and green then it is white. sent13: Young, big things are white. sent14: If Erin is young then Erin is furry.

$answer$ = False ; $proof$ = # sent9%int1 & # sent13%int2 & sent7 # sent8%int3 & # sent14%int5 sent7 # sent11%int4 & sent6 # sent14%int5 sent7 # sent8%int3 & # sent14%int5 sent7 # sent11%int4 & sent6 # sent14%int5 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = sent6


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

$answer$ = False ; $proof$ = sent5


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

$answer$ = True ; $proof$ = # sent22%int1 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

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


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

$answer$ = True ; $proof$ = # sent19%int1 # sent22%int2 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent19%int1 # sent22%int2 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent23%int1 & # sent19%int2 # sent15%int3 sent1 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent23%int1 & # sent19%int2 # sent22%int3 naf2 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent17%int1 & sent14 # sent23%int2 & # sent19%int3 # sent22%int4 naf2 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.