$answer$ ; $proof$ ; $question$ = Charlie is not white. ; $context$ = sent1: Bob is green. sent2: Bob is rough. sent3: Bob is white. sent4: Charlie is rough. sent5: Dave is quiet. sent6: Gary is cold. sent7: Gary is rough. sent8: All quiet, kind people are young. sent9: If Charlie is quiet and Charlie is young then Charlie is kind. sent10: All green, white people are cold. sent11: All quiet people are rough. sent12: All rough, green people are white. sent13: All young people are green. sent14: Rough people are young.

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


$answer$ ; $proof$ ; $question$ = Charlie is cold. ; $context$ = sent1: Bob is green. sent2: Bob is rough. sent3: Bob is white. sent4: Charlie is rough. sent5: Dave is quiet. sent6: Gary is cold. sent7: Gary is rough. sent8: All quiet, kind people are young. sent9: If Charlie is quiet and Charlie is young then Charlie is kind. sent10: All green, white people are cold. sent11: All quiet people are rough. sent12: All rough, green people are white. sent13: All young people are green. sent14: Rough people are young.

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


$answer$ ; $proof$ ; $question$ = Dave is not white. ; $context$ = sent1: Bob is green. sent2: Bob is rough. sent3: Bob is white. sent4: Charlie is rough. sent5: Dave is quiet. sent6: Gary is cold. sent7: Gary is rough. sent8: All quiet, kind people are young. sent9: If Charlie is quiet and Charlie is young then Charlie is kind. sent10: All green, white people are cold. sent11: All quiet people are rough. sent12: All rough, green people are white. sent13: All young people are green. sent14: Rough people are young.

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


$answer$ ; $proof$ ; $question$ = Dave is cold. ; $context$ = sent1: Bob is green. sent2: Bob is rough. sent3: Bob is white. sent4: Charlie is rough. sent5: Dave is quiet. sent6: Gary is cold. sent7: Gary is rough. sent8: All quiet, kind people are young. sent9: If Charlie is quiet and Charlie is young then Charlie is kind. sent10: All green, white people are cold. sent11: All quiet people are rough. sent12: All rough, green people are white. sent13: All young people are green. sent14: Rough people are young.

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


$answer$ ; $proof$ ; $question$ = Dave is not cold. ; $context$ = sent1: Bob is green. sent2: Bob is rough. sent3: Bob is white. sent4: Charlie is rough. sent5: Dave is quiet. sent6: Gary is cold. sent7: Gary is rough. sent8: All quiet, kind people are young. sent9: If Charlie is quiet and Charlie is young then Charlie is kind. sent10: All green, white people are cold. sent11: All quiet people are rough. sent12: All rough, green people are white. sent13: All young people are green. sent14: Rough people are young.

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


$answer$ ; $proof$ ; $question$ = The bear sees the lion. ; $context$ = sent1: The bear chases the lion. sent2: The bear sees the lion. sent3: The cow chases the squirrel. sent4: The cow is green. sent5: The lion chases the bear. sent6: The lion likes the bear. sent7: The lion sees the bear. sent8: The squirrel chases the bear. sent9: The squirrel is green. sent10: The squirrel is young. sent11: The squirrel likes the cow. sent12: The squirrel sees the cow. sent13: If someone is young and they see the bear then the bear sees the squirrel. sent14: If the bear sees the squirrel then the bear is green. sent15: If someone likes the bear then they see the bear. sent16: If someone is green then they like the bear. sent17: If someone chases the bear and they see the lion then they chase the lion. sent18: If someone sees the squirrel and the squirrel sees the lion then they chase the lion. sent19: If someone is green then they see the squirrel. sent20: If the lion sees the squirrel and the lion likes the cow then the squirrel chases the lion. sent21: If someone sees the lion and the lion likes the cow then the cow is red.

$answer$ = True ; $proof$ = sent2


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

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The cow sees the squirrel. ; $context$ = sent1: The bear chases the lion. sent2: The bear sees the lion. sent3: The cow chases the squirrel. sent4: The cow is green. sent5: The lion chases the bear. sent6: The lion likes the bear. sent7: The lion sees the bear. sent8: The squirrel chases the bear. sent9: The squirrel is green. sent10: The squirrel is young. sent11: The squirrel likes the cow. sent12: The squirrel sees the cow. sent13: If someone is young and they see the bear then the bear sees the squirrel. sent14: If the bear sees the squirrel then the bear is green. sent15: If someone likes the bear then they see the bear. sent16: If someone is green then they like the bear. sent17: If someone chases the bear and they see the lion then they chase the lion. sent18: If someone sees the squirrel and the squirrel sees the lion then they chase the lion. sent19: If someone is green then they see the squirrel. sent20: If the lion sees the squirrel and the lion likes the cow then the squirrel chases the lion. sent21: If someone sees the lion and the lion likes the cow then the cow is red.

$answer$ = True ; $proof$ = # sent19%int1 sent4 ; 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 lion. sent2: The bear sees the lion. sent3: The cow chases the squirrel. sent4: The cow is green. sent5: The lion chases the bear. sent6: The lion likes the bear. sent7: The lion sees the bear. sent8: The squirrel chases the bear. sent9: The squirrel is green. sent10: The squirrel is young. sent11: The squirrel likes the cow. sent12: The squirrel sees the cow. sent13: If someone is young and they see the bear then the bear sees the squirrel. sent14: If the bear sees the squirrel then the bear is green. sent15: If someone likes the bear then they see the bear. sent16: If someone is green then they like the bear. sent17: If someone chases the bear and they see the lion then they chase the lion. sent18: If someone sees the squirrel and the squirrel sees the lion then they chase the lion. sent19: If someone is green then they see the squirrel. sent20: If the lion sees the squirrel and the lion likes the cow then the squirrel chases the lion. sent21: If someone sees the lion and the lion likes the cow then the cow is red.

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


$answer$ ; $proof$ ; $question$ = The cow sees the bear. ; $context$ = sent1: The bear chases the lion. sent2: The bear sees the lion. sent3: The cow chases the squirrel. sent4: The cow is green. sent5: The lion chases the bear. sent6: The lion likes the bear. sent7: The lion sees the bear. sent8: The squirrel chases the bear. sent9: The squirrel is green. sent10: The squirrel is young. sent11: The squirrel likes the cow. sent12: The squirrel sees the cow. sent13: If someone is young and they see the bear then the bear sees the squirrel. sent14: If the bear sees the squirrel then the bear is green. sent15: If someone likes the bear then they see the bear. sent16: If someone is green then they like the bear. sent17: If someone chases the bear and they see the lion then they chase the lion. sent18: If someone sees the squirrel and the squirrel sees the lion then they chase the lion. sent19: If someone is green then they see the squirrel. sent20: If the lion sees the squirrel and the lion likes the cow then the squirrel chases the lion. sent21: If someone sees the lion and the lion likes the cow then the cow is red.

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


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

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


$answer$ ; $proof$ ; $question$ = The bear sees the squirrel. ; $context$ = sent1: The bear chases the lion. sent2: The bear sees the lion. sent3: The cow chases the squirrel. sent4: The cow is green. sent5: The lion chases the bear. sent6: The lion likes the bear. sent7: The lion sees the bear. sent8: The squirrel chases the bear. sent9: The squirrel is green. sent10: The squirrel is young. sent11: The squirrel likes the cow. sent12: The squirrel sees the cow. sent13: If someone is young and they see the bear then the bear sees the squirrel. sent14: If the bear sees the squirrel then the bear is green. sent15: If someone likes the bear then they see the bear. sent16: If someone is green then they like the bear. sent17: If someone chases the bear and they see the lion then they chase the lion. sent18: If someone sees the squirrel and the squirrel sees the lion then they chase the lion. sent19: If someone is green then they see the squirrel. sent20: If the lion sees the squirrel and the lion likes the cow then the squirrel chases the lion. sent21: If someone sees the lion and the lion likes the cow then the cow is red.

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


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

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


$answer$ ; $proof$ ; $question$ = The bear is green. ; $context$ = sent1: The bear chases the lion. sent2: The bear sees the lion. sent3: The cow chases the squirrel. sent4: The cow is green. sent5: The lion chases the bear. sent6: The lion likes the bear. sent7: The lion sees the bear. sent8: The squirrel chases the bear. sent9: The squirrel is green. sent10: The squirrel is young. sent11: The squirrel likes the cow. sent12: The squirrel sees the cow. sent13: If someone is young and they see the bear then the bear sees the squirrel. sent14: If the bear sees the squirrel then the bear is green. sent15: If someone likes the bear then they see the bear. sent16: If someone is green then they like the bear. sent17: If someone chases the bear and they see the lion then they chase the lion. sent18: If someone sees the squirrel and the squirrel sees the lion then they chase the lion. sent19: If someone is green then they see the squirrel. sent20: If the lion sees the squirrel and the lion likes the cow then the squirrel chases the lion. sent21: If someone sees the lion and the lion likes the cow then the cow is red.

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


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

$answer$ = False ; $proof$ = # sent14%int1 # sent13%int2 & sent10 # sent15%int3 # sent16%int4 sent9 ; 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 lion. sent2: The bear sees the lion. sent3: The cow chases the squirrel. sent4: The cow is green. sent5: The lion chases the bear. sent6: The lion likes the bear. sent7: The lion sees the bear. sent8: The squirrel chases the bear. sent9: The squirrel is green. sent10: The squirrel is young. sent11: The squirrel likes the cow. sent12: The squirrel sees the cow. sent13: If someone is young and they see the bear then the bear sees the squirrel. sent14: If the bear sees the squirrel then the bear is green. sent15: If someone likes the bear then they see the bear. sent16: If someone is green then they like the bear. sent17: If someone chases the bear and they see the lion then they chase the lion. sent18: If someone sees the squirrel and the squirrel sees the lion then they chase the lion. sent19: If someone is green then they see the squirrel. sent20: If the lion sees the squirrel and the lion likes the cow then the squirrel chases the lion. sent21: If someone sees the lion and the lion likes the cow then the cow is red.

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


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

$answer$ = False ; $proof$ = # sent16%int1 # sent14%int2 # sent13%int3 & sent10 # sent15%int4 # sent16%int5 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: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Dave is not smart. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Harry is cold. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

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


$answer$ ; $proof$ ; $question$ = Dave is not kind. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

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


$answer$ ; $proof$ ; $question$ = Harry is young. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

$answer$ = True ; $proof$ = # sent14%int1 & # sent19%int2 sent10 sent12 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is not red. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

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


$answer$ ; $proof$ ; $question$ = Gary is young. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

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


$answer$ ; $proof$ ; $question$ = Gary is not young. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

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


$answer$ ; $proof$ ; $question$ = Gary is red. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

$answer$ = True ; $proof$ = # sent15%int1 & # sent14%int2 & # sent19%int3 # sent16%int4 sent9 sent9 # sent19%int3 # sent16%int4 sent9 ; 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: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

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


$answer$ ; $proof$ ; $question$ = Gary is cold. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

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


$answer$ ; $proof$ ; $question$ = Gary is not cold. ; $context$ = sent1: Bob is cold. sent2: Bob is furry. sent3: Bob is kind. sent4: Bob is red. sent5: Bob is young. sent6: Dave is furry. sent7: Dave is smart. sent8: Dave is young. sent9: Gary is round. sent10: Harry is furry. sent11: Harry is red. sent12: Harry is round. sent13: Round, smart things are cold. sent14: If something is kind and round then it is young. sent15: If something is young and kind then it is red. sent16: All round things are furry. sent17: All young things are round. sent18: All red things are cold. sent19: All furry things are kind. sent20: If Dave is red then Dave is cold.

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


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

$answer$ = True ; $proof$ = sent6


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

$answer$ = False ; $proof$ = sent4


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

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


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

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


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

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


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

$answer$ = False ; $proof$ = # sent24%int1 & # sent21%int2 sent15 sent15 ; 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: Anne is blue. sent2: Anne is nice. sent3: Anne is quiet. sent4: Anne is smart. sent5: Anne is young. sent6: Charlie is blue. sent7: Charlie is cold. sent8: Charlie is nice. sent9: Charlie is quiet. sent10: Charlie is smart. sent11: Charlie is young. sent12: Dave is blue. sent13: Dave is smart. sent14: Gary is blue. sent15: Gary is cold. sent16: Gary is nice. sent17: If Anne is smart and Anne is kind then Anne is cold. sent18: All smart, blue things are kind. sent19: All young, cold things are kind. sent20: If something is nice and young then it is cold. sent21: If something is cold then it is quiet. sent22: If something is kind then it is nice. sent23: If something is nice and blue then it is young. sent24: If something is quiet and cold then it is smart.

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


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

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


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

$answer$ = True ; $proof$ = # sent20%int1 & sent13 # sent23%int2 & # sent22%int3 # sent18%int4 sent12 sent12 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent20%int1 & sent13 # sent23%int2 & # sent22%int3 # sent18%int4 sent12 sent12 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent21%int1 # sent20%int2 & sent13 # sent23%int3 & # sent22%int4 # sent18%int5 sent12 sent12 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent21%int1 # sent20%int2 & sent13 # sent23%int3 & # sent22%int4 # sent18%int5 sent12 sent12 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The dog needs the bear. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = The cow does not like the bear. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = The cat is big. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cat is not big. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cat needs the cow. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cat does not need the cow. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cow is blue. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

$answer$ = True ; $proof$ = # sent16%int1 # sent12%int2 # sent15%int3 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The cow is not blue. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

$answer$ = False ; $proof$ = # sent16%int1 # sent12%int2 # sent15%int3 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The cow visits the cow. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cow does not visit the cow. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cow needs the cow. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cow does not need the cow. ; $context$ = sent1: The bear is rough. sent2: The bear needs the dog. sent3: The bear visits the cat. sent4: The bear visits the dog. sent5: The cat is blue. sent6: The cat likes the cow. sent7: The cow is rough. sent8: The cow likes the bear. sent9: The dog needs the bear. sent10: The dog visits the cat. sent11: All blue people are big. sent12: If someone visits the cow then they need the cow. sent13: If someone is nice then they like the cow. sent14: If someone likes the cat and they are nice then they are big. sent15: If someone is blue then they visit the cow. sent16: If the cat needs the cow then the cow is blue.

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


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

$answer$ = True ; $proof$ = sent3


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

$answer$ = False ; $proof$ = sent4


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

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


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

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


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

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


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

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


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

$answer$ = True ; $proof$ = # sent19%int1 & sent2 # sent16%int2 & sent7 # sent15%int3 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent19%int1 & sent2 # sent16%int2 & sent7 # sent15%int3 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent15%int1 # sent19%int2 & sent2 # sent16%int3 & sent7 # sent15%int4 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent15%int1 # sent19%int2 & sent2 # sent16%int3 & sent7 # sent15%int4 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent16%int1 & # sent19%int3 & sent2 # sent16%int4 & sent7 # sent15%int5 sent7 # sent15%int2 # sent19%int3 & sent2 # sent16%int4 & sent7 # sent15%int5 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent16%int1 & # sent19%int3 & sent2 # sent16%int4 & sent7 # sent15%int5 sent7 # sent15%int2 # sent19%int3 & sent2 # sent16%int4 & sent7 # sent15%int5 sent7 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The bear visits the bald eagle. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The bear does not visit the bald eagle. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The dog is young. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog is not young. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog is round. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog is not round. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog is rough. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog is not rough. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog is big. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog is not big. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog needs the rabbit. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The dog does not need the rabbit. ; $context$ = sent1: The bald eagle visits the dog. sent2: The bear likes the rabbit. sent3: The bear needs the dog. sent4: The bear needs the rabbit. sent5: The bear visits the bald eagle. sent6: The dog visits the bear. sent7: The rabbit likes the bald eagle. sent8: All round things are rough. sent9: If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. sent10: If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. sent11: All rough, round things are big. sent12: If something likes the dog then the dog likes the bear. sent13: If something visits the bear then it is young. sent14: If something needs the bald eagle and it needs the rabbit then the rabbit is blue. sent15: If something is big then it needs the rabbit. sent16: If something visits the dog and the dog is young then the dog is round.

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


$answer$ ; $proof$ ; $question$ = The mouse visits the dog. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = The mouse is not big. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The cow eats the dog. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$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$ = The dog does not visit the squirrel. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

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


$answer$ ; $proof$ ; $question$ = The dog eats the mouse. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = True ; $proof$ = # sent19%int1 & # sent20%int3 sent9 # sent13%int2 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The dog does not eat the mouse. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = False ; $proof$ = # sent19%int1 & # sent20%int3 sent9 # sent13%int2 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The dog chases the squirrel. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = True ; $proof$ = # sent21%int1 # sent19%int2 & # sent20%int4 sent9 # sent13%int3 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The dog does not chase the squirrel. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = False ; $proof$ = # sent21%int1 # sent19%int2 & # sent20%int4 sent9 # sent13%int3 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel eats the mouse. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = True ; $proof$ = # sent14%int1 & # sent19%int3 & # sent20%int5 sent9 # sent13%int4 sent5 # sent21%int2 # sent19%int3 & # sent20%int5 sent9 # sent13%int4 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel does not chase the mouse. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = False ; $proof$ = # sent15%int1 # sent21%int2 # sent19%int3 & # sent20%int5 sent9 # sent13%int4 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel chases the squirrel. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = True ; $proof$ = # sent21%int1 # sent14%int2 & # sent19%int4 & # sent20%int6 sent9 # sent13%int5 sent5 # sent21%int3 # sent19%int4 & # sent20%int6 sent9 # sent13%int5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The squirrel does not chase the squirrel. ; $context$ = sent1: The cow eats the squirrel. sent2: The cow is blue. sent3: The cow is nice. sent4: The cow is red. sent5: The dog eats the cow. sent6: The mouse is big. sent7: The mouse is kind. sent8: The mouse is red. sent9: The mouse visits the dog. sent10: The squirrel chases the cow. sent11: The squirrel visits the cow. sent12: The squirrel visits the dog. sent13: If someone eats the cow then they visit the dog. sent14: If someone eats the mouse and they chase the squirrel then the squirrel eats the mouse. sent15: If someone chases the squirrel then the squirrel chases the mouse. sent16: If someone visits the cow then the cow eats the dog. sent17: If someone is red and they eat the mouse then the mouse eats the cow. sent18: If the cow is big then the cow visits the dog. sent19: If someone visits the squirrel and they visit the dog then the dog eats the mouse. sent20: If the mouse visits the dog then the dog visits the squirrel. sent21: If someone eats the mouse then they chase the squirrel.

$answer$ = False ; $proof$ = # sent21%int1 # sent14%int2 & # sent19%int4 & # sent20%int6 sent9 # sent13%int5 sent5 # sent21%int3 # sent19%int4 & # sent20%int6 sent9 # sent13%int5 sent5 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is cold. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is round. sent5: Bob is smart. sent6: Dave is cold. sent7: Erin is big. sent8: Erin is green. sent9: Fiona is big. sent10: Fiona is smart. sent11: Big, green things are round. sent12: If something is cold and blue then it is smart. sent13: Smart, round things are kind. sent14: Round, big things are cold. sent15: Cold things are blue.

$answer$ = True ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Bob is not big. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is round. sent5: Bob is smart. sent6: Dave is cold. sent7: Erin is big. sent8: Erin is green. sent9: Fiona is big. sent10: Fiona is smart. sent11: Big, green things are round. sent12: If something is cold and blue then it is smart. sent13: Smart, round things are kind. sent14: Round, big things are cold. sent15: Cold things are blue.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Dave is blue. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is round. sent5: Bob is smart. sent6: Dave is cold. sent7: Erin is big. sent8: Erin is green. sent9: Fiona is big. sent10: Fiona is smart. sent11: Big, green things are round. sent12: If something is cold and blue then it is smart. sent13: Smart, round things are kind. sent14: Round, big things are cold. sent15: Cold things are blue.

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


$answer$ ; $proof$ ; $question$ = Bob is not blue. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is round. sent5: Bob is smart. sent6: Dave is cold. sent7: Erin is big. sent8: Erin is green. sent9: Fiona is big. sent10: Fiona is smart. sent11: Big, green things are round. sent12: If something is cold and blue then it is smart. sent13: Smart, round things are kind. sent14: Round, big things are cold. sent15: Cold things are blue.

$answer$ = False ; $proof$ = # sent15%int1 sent2 ; 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 cold. sent3: Bob is kind. sent4: Bob is round. sent5: Bob is smart. sent6: Dave is cold. sent7: Erin is big. sent8: Erin is green. sent9: Fiona is big. sent10: Fiona is smart. sent11: Big, green things are round. sent12: If something is cold and blue then it is smart. sent13: Smart, round things are kind. sent14: Round, big things are cold. sent15: Cold things are blue.

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


$answer$ ; $proof$ ; $question$ = Erin is not cold. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is round. sent5: Bob is smart. sent6: Dave is cold. sent7: Erin is big. sent8: Erin is green. sent9: Fiona is big. sent10: Fiona is smart. sent11: Big, green things are round. sent12: If something is cold and blue then it is smart. sent13: Smart, round things are kind. sent14: Round, big things are cold. sent15: Cold things are blue.

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


$answer$ ; $proof$ ; $question$ = Erin is blue. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is round. sent5: Bob is smart. sent6: Dave is cold. sent7: Erin is big. sent8: Erin is green. sent9: Fiona is big. sent10: Fiona is smart. sent11: Big, green things are round. sent12: If something is cold and blue then it is smart. sent13: Smart, round things are kind. sent14: Round, big things are cold. sent15: Cold things are blue.

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


$answer$ ; $proof$ ; $question$ = Erin is not blue. ; $context$ = sent1: Bob is big. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is round. sent5: Bob is smart. sent6: Dave is cold. sent7: Erin is big. sent8: Erin is green. sent9: Fiona is big. sent10: Fiona is smart. sent11: Big, green things are round. sent12: If something is cold and blue then it is smart. sent13: Smart, round things are kind. sent14: Round, big things are cold. sent15: Cold things are blue.

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