$answer$ ; $proof$ ; $question$ = Bob is not white. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = Dave is round. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = Bob is not smart. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = Erin is not kind. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = Dave is white. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = Dave is not white. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = Dave is smart. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = Dave is not smart. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Anne is round. sent4: Anne is white. sent5: Bob is big. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is red. sent9: Erin is big. sent10: Erin is blue. sent11: Erin is white. sent12: All kind, red things are round. sent13: All white things are round. sent14: If Dave is round then Dave is red. sent15: Round, red things are big. sent16: If something is kind then it is blue. sent17: Round, blue things are red. sent18: Red things are kind. sent19: All big things are white. sent20: White, big things are smart.

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


$answer$ ; $proof$ ; $question$ = The bear is rough. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The tiger does not chase the lion. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The rabbit likes the rabbit. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not like the rabbit. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The rabbit chases the bear. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not chase the bear. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The bear visits the tiger. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The bear does not visit the tiger. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The bear is round. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The bear is not round. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The bear likes the rabbit. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The bear does not like the rabbit. ; $context$ = sent1: The bear is rough. sent2: The bear is young. sent3: The bear likes the lion. sent4: The lion chases the tiger. sent5: The lion likes the bear. sent6: The rabbit is round. sent7: The tiger chases the lion. sent8: The tiger chases the rabbit. sent9: The tiger likes the lion. sent10: The tiger visits the lion. sent11: If someone chases the bear then the bear visits the tiger. sent12: If someone is big then they are young. sent13: If someone visits the tiger then they are round. sent14: If someone is red then they chase the tiger. sent15: If someone likes the bear and they do not chase the rabbit then they chase the tiger. sent16: If someone is round then they like the rabbit. sent17: If someone likes the bear and the bear chases the rabbit then the rabbit is big. sent18: If the tiger visits the rabbit then the rabbit chases the tiger. sent19: If someone likes the rabbit then the rabbit chases the bear.

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


$answer$ ; $proof$ ; $question$ = The bald eagle visits the dog. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = The bear is not red. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The bear is rough. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

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


$answer$ ; $proof$ ; $question$ = The squirrel does not visit the squirrel. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

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


$answer$ ; $proof$ ; $question$ = The dog eats the bald eagle. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

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


$answer$ ; $proof$ ; $question$ = The dog does not eat the bald eagle. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

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


$answer$ ; $proof$ ; $question$ = The squirrel is red. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

$answer$ = True ; $proof$ = # sent10%int1 & # sent12%int2 # sent9%int3 sent7 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel is not red. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

$answer$ = False ; $proof$ = # sent10%int1 & # sent12%int2 # sent9%int3 sent7 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel is rough. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

$answer$ = True ; $proof$ = # sent14%int1 # sent10%int2 & # sent12%int3 # sent9%int4 sent7 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel is not rough. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

$answer$ = False ; $proof$ = # sent14%int1 # sent10%int2 & # sent12%int3 # sent9%int4 sent7 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel eats the bald eagle. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

$answer$ = True ; $proof$ = # sent13%int1 # sent14%int2 # sent10%int3 & # sent12%int4 # sent9%int5 sent7 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel does not eat the bald eagle. ; $context$ = sent1: The bald eagle eats the dog. sent2: The bald eagle visits the dog. sent3: The bear chases the dog. sent4: The bear eats the squirrel. sent5: The bear is red. sent6: The dog is red. sent7: The squirrel chases the bald eagle. sent8: If something is rough and it visits the squirrel then the squirrel is rough. sent9: If something chases the bald eagle then it visits the squirrel. sent10: If something chases the squirrel and the squirrel is not blue then it is red. sent11: If something is young and it eats the bear then the bear is young. sent12: If something visits the squirrel then it chases the squirrel. sent13: If something is rough then it eats the bald eagle. sent14: All red things are rough.

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


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

$answer$ = True ; $proof$ = sent1


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

$answer$ = False ; $proof$ = sent1


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = Bob is green. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Harry is not round. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Bob is red. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Gary is not red. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Gary is young. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Gary is not young. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Gary is rough. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Bob is not nice. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Bob is young. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Bob is not young. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Bob is rough. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Bob is not rough. ; $context$ = sent1: Bob is green. sent2: Charlie is rough. sent3: Gary is green. sent4: Gary is nice. sent5: Harry is big. sent6: Harry is nice. sent7: Harry is round. sent8: Round people are nice. sent9: Red people are round. sent10: If someone is nice and not green then they are round. sent11: Big people are round. sent12: All green people are red. sent13: Nice, red people are young. sent14: All young people are rough.

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


$answer$ ; $proof$ ; $question$ = Charlie is quiet. ; $context$ = sent1: Charlie is blue. sent2: Charlie is green. sent3: Charlie is kind. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is rough. sent7: Charlie is white. sent8: Erin is quiet. sent9: Fiona is green. sent10: Fiona is kind. sent11: Fiona is nice. sent12: Fiona is white. sent13: Harry is kind. sent14: Harry is white. sent15: If something is green and quiet then it is kind. sent16: If something is white and blue then it is rough. sent17: If Erin is blue and Erin is quiet then Erin is green. sent18: If something is green then it is kind. sent19: All quiet things are blue. sent20: If something is kind then it is white. sent21: If something is white then it is rough. sent22: Green, white things are nice.

$answer$ = True ; $proof$ = sent5


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

$answer$ = False ; $proof$ = sent13


$answer$ ; $proof$ ; $question$ = Erin is blue. ; $context$ = sent1: Charlie is blue. sent2: Charlie is green. sent3: Charlie is kind. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is rough. sent7: Charlie is white. sent8: Erin is quiet. sent9: Fiona is green. sent10: Fiona is kind. sent11: Fiona is nice. sent12: Fiona is white. sent13: Harry is kind. sent14: Harry is white. sent15: If something is green and quiet then it is kind. sent16: If something is white and blue then it is rough. sent17: If Erin is blue and Erin is quiet then Erin is green. sent18: If something is green then it is kind. sent19: All quiet things are blue. sent20: If something is kind then it is white. sent21: If something is white then it is rough. sent22: Green, white things are nice.

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


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

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


$answer$ ; $proof$ ; $question$ = Erin is green. ; $context$ = sent1: Charlie is blue. sent2: Charlie is green. sent3: Charlie is kind. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is rough. sent7: Charlie is white. sent8: Erin is quiet. sent9: Fiona is green. sent10: Fiona is kind. sent11: Fiona is nice. sent12: Fiona is white. sent13: Harry is kind. sent14: Harry is white. sent15: If something is green and quiet then it is kind. sent16: If something is white and blue then it is rough. sent17: If Erin is blue and Erin is quiet then Erin is green. sent18: If something is green then it is kind. sent19: All quiet things are blue. sent20: If something is kind then it is white. sent21: If something is white then it is rough. sent22: Green, white things are nice.

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


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

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


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Charlie is blue. sent2: Charlie is green. sent3: Charlie is kind. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is rough. sent7: Charlie is white. sent8: Erin is quiet. sent9: Fiona is green. sent10: Fiona is kind. sent11: Fiona is nice. sent12: Fiona is white. sent13: Harry is kind. sent14: Harry is white. sent15: If something is green and quiet then it is kind. sent16: If something is white and blue then it is rough. sent17: If Erin is blue and Erin is quiet then Erin is green. sent18: If something is green then it is kind. sent19: All quiet things are blue. sent20: If something is kind then it is white. sent21: If something is white then it is rough. sent22: Green, white things are nice.

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


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

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


$answer$ ; $proof$ ; $question$ = Erin is white. ; $context$ = sent1: Charlie is blue. sent2: Charlie is green. sent3: Charlie is kind. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is rough. sent7: Charlie is white. sent8: Erin is quiet. sent9: Fiona is green. sent10: Fiona is kind. sent11: Fiona is nice. sent12: Fiona is white. sent13: Harry is kind. sent14: Harry is white. sent15: If something is green and quiet then it is kind. sent16: If something is white and blue then it is rough. sent17: If Erin is blue and Erin is quiet then Erin is green. sent18: If something is green then it is kind. sent19: All quiet things are blue. sent20: If something is kind then it is white. sent21: If something is white then it is rough. sent22: Green, white things are nice.

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


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

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


$answer$ ; $proof$ ; $question$ = Erin is rough. ; $context$ = sent1: Charlie is blue. sent2: Charlie is green. sent3: Charlie is kind. sent4: Charlie is nice. sent5: Charlie is quiet. sent6: Charlie is rough. sent7: Charlie is white. sent8: Erin is quiet. sent9: Fiona is green. sent10: Fiona is kind. sent11: Fiona is nice. sent12: Fiona is white. sent13: Harry is kind. sent14: Harry is white. sent15: If something is green and quiet then it is kind. sent16: If something is white and blue then it is rough. sent17: If Erin is blue and Erin is quiet then Erin is green. sent18: If something is green then it is kind. sent19: All quiet things are blue. sent20: If something is kind then it is white. sent21: If something is white then it is rough. sent22: Green, white things are nice.

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


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

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


$answer$ ; $proof$ ; $question$ = The bear eats the tiger. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The tiger is not round. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

$answer$ = False ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = The tiger is nice. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit is not kind. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit visits the bald eagle. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not visit the bald eagle. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The bald eagle is cold. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The bald eagle is not cold. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The bald eagle is kind. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The bald eagle is not kind. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The bald eagle visits the bald eagle. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The bald eagle does not visit the bald eagle. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The bald eagle is nice. sent3: The bald eagle is round. sent4: The bald eagle sees the rabbit. sent5: The bear eats the tiger. sent6: The bear sees the tiger. sent7: The rabbit eats the bear. sent8: The rabbit is cold. sent9: The tiger eats the bear. sent10: The tiger is green. sent11: The tiger is round. sent12: If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. sent13: If something is round then it is nice. sent14: If something eats the rabbit and the rabbit visits the bald eagle then it is cold. sent15: If something is kind then it visits the bald eagle. sent16: If something is nice and cold then it visits the rabbit. sent17: If something eats the bear then it is round. sent18: Cold things are kind. sent19: If something eats the bald eagle then the bald eagle eats the rabbit.

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


$answer$ ; $proof$ ; $question$ = The dog is round. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The mouse is not nice. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

$answer$ = False ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = The mouse is rough. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

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


$answer$ ; $proof$ ; $question$ = The mouse is not rough. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

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


$answer$ ; $proof$ ; $question$ = The mouse likes the mouse. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

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


$answer$ ; $proof$ ; $question$ = The mouse does not like the mouse. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

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


$answer$ ; $proof$ ; $question$ = The mouse is kind. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

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


$answer$ ; $proof$ ; $question$ = The mouse is not kind. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

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


$answer$ ; $proof$ ; $question$ = The mouse likes the tiger. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

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


$answer$ ; $proof$ ; $question$ = The mouse does not like the tiger. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

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


$answer$ ; $proof$ ; $question$ = The tiger is round. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

$answer$ = True ; $proof$ = # sent24%int1 # sent21%int2 & # sent20%int3 # sent19%int4 # sent22%int5 sent11 # sent22%int5 sent11 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger is not round. ; $context$ = sent1: The cat chases the dog. sent2: The cat is kind. sent3: The cat needs the dog. sent4: The cat needs the mouse. sent5: The dog is round. sent6: The dog likes the cat. sent7: The dog needs the mouse. sent8: The dog needs the tiger. sent9: The mouse chases the dog. sent10: The mouse chases the tiger. sent11: The mouse is nice. sent12: The mouse needs the dog. sent13: The mouse needs the tiger. sent14: The tiger chases the dog. sent15: The tiger is kind. sent16: The tiger needs the mouse. sent17: If someone likes the mouse and they like the tiger then they are rough. sent18: If the cat likes the dog then the cat is kind. sent19: If someone is rough then they like the mouse. sent20: If someone likes the mouse then the mouse is kind. sent21: If someone is kind and rough then they like the tiger. sent22: All nice people are rough. sent23: If the dog needs the cat then the dog is nice. sent24: If someone likes the tiger then the tiger is round.

$answer$ = False ; $proof$ = # sent24%int1 # sent21%int2 & # sent20%int3 # sent19%int4 # sent22%int5 sent11 # sent22%int5 sent11 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cat needs the lion. ; $context$ = sent1: The bear is kind. sent2: The bear is rough. sent3: The cat is young. sent4: The cat needs the lion. sent5: The cat needs the rabbit. sent6: The lion is big. sent7: The lion is young. sent8: The lion needs the bear. sent9: The rabbit likes the cat. sent10: The rabbit needs the bear. sent11: If someone likes the cat and they like the rabbit then the cat is rough. sent12: If the rabbit is kind then the rabbit needs the lion. sent13: If someone sees the rabbit then the rabbit is kind. sent14: If someone sees the bear then they see the rabbit. sent15: If the cat needs the lion then the lion is big. sent16: If someone is kind then they see the bear. sent17: If someone likes the cat then the cat sees the bear. sent18: If someone needs the cat then the cat likes the bear.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The cat does not need the lion. ; $context$ = sent1: The bear is kind. sent2: The bear is rough. sent3: The cat is young. sent4: The cat needs the lion. sent5: The cat needs the rabbit. sent6: The lion is big. sent7: The lion is young. sent8: The lion needs the bear. sent9: The rabbit likes the cat. sent10: The rabbit needs the bear. sent11: If someone likes the cat and they like the rabbit then the cat is rough. sent12: If the rabbit is kind then the rabbit needs the lion. sent13: If someone sees the rabbit then the rabbit is kind. sent14: If someone sees the bear then they see the rabbit. sent15: If the cat needs the lion then the lion is big. sent16: If someone is kind then they see the bear. sent17: If someone likes the cat then the cat sees the bear. sent18: If someone needs the cat then the cat likes the bear.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The cat sees the bear. ; $context$ = sent1: The bear is kind. sent2: The bear is rough. sent3: The cat is young. sent4: The cat needs the lion. sent5: The cat needs the rabbit. sent6: The lion is big. sent7: The lion is young. sent8: The lion needs the bear. sent9: The rabbit likes the cat. sent10: The rabbit needs the bear. sent11: If someone likes the cat and they like the rabbit then the cat is rough. sent12: If the rabbit is kind then the rabbit needs the lion. sent13: If someone sees the rabbit then the rabbit is kind. sent14: If someone sees the bear then they see the rabbit. sent15: If the cat needs the lion then the lion is big. sent16: If someone is kind then they see the bear. sent17: If someone likes the cat then the cat sees the bear. sent18: If someone needs the cat then the cat likes the bear.

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


$answer$ ; $proof$ ; $question$ = The bear does not see the bear. ; $context$ = sent1: The bear is kind. sent2: The bear is rough. sent3: The cat is young. sent4: The cat needs the lion. sent5: The cat needs the rabbit. sent6: The lion is big. sent7: The lion is young. sent8: The lion needs the bear. sent9: The rabbit likes the cat. sent10: The rabbit needs the bear. sent11: If someone likes the cat and they like the rabbit then the cat is rough. sent12: If the rabbit is kind then the rabbit needs the lion. sent13: If someone sees the rabbit then the rabbit is kind. sent14: If someone sees the bear then they see the rabbit. sent15: If the cat needs the lion then the lion is big. sent16: If someone is kind then they see the bear. sent17: If someone likes the cat then the cat sees the bear. sent18: If someone needs the cat then the cat likes the bear.

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


$answer$ ; $proof$ ; $question$ = The cat sees the rabbit. ; $context$ = sent1: The bear is kind. sent2: The bear is rough. sent3: The cat is young. sent4: The cat needs the lion. sent5: The cat needs the rabbit. sent6: The lion is big. sent7: The lion is young. sent8: The lion needs the bear. sent9: The rabbit likes the cat. sent10: The rabbit needs the bear. sent11: If someone likes the cat and they like the rabbit then the cat is rough. sent12: If the rabbit is kind then the rabbit needs the lion. sent13: If someone sees the rabbit then the rabbit is kind. sent14: If someone sees the bear then they see the rabbit. sent15: If the cat needs the lion then the lion is big. sent16: If someone is kind then they see the bear. sent17: If someone likes the cat then the cat sees the bear. sent18: If someone needs the cat then the cat likes the bear.

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


$answer$ ; $proof$ ; $question$ = The cat does not see the rabbit. ; $context$ = sent1: The bear is kind. sent2: The bear is rough. sent3: The cat is young. sent4: The cat needs the lion. sent5: The cat needs the rabbit. sent6: The lion is big. sent7: The lion is young. sent8: The lion needs the bear. sent9: The rabbit likes the cat. sent10: The rabbit needs the bear. sent11: If someone likes the cat and they like the rabbit then the cat is rough. sent12: If the rabbit is kind then the rabbit needs the lion. sent13: If someone sees the rabbit then the rabbit is kind. sent14: If someone sees the bear then they see the rabbit. sent15: If the cat needs the lion then the lion is big. sent16: If someone is kind then they see the bear. sent17: If someone likes the cat then the cat sees the bear. sent18: If someone needs the cat then the cat likes the bear.

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


$answer$ ; $proof$ ; $question$ = The rabbit is kind. ; $context$ = sent1: The bear is kind. sent2: The bear is rough. sent3: The cat is young. sent4: The cat needs the lion. sent5: The cat needs the rabbit. sent6: The lion is big. sent7: The lion is young. sent8: The lion needs the bear. sent9: The rabbit likes the cat. sent10: The rabbit needs the bear. sent11: If someone likes the cat and they like the rabbit then the cat is rough. sent12: If the rabbit is kind then the rabbit needs the lion. sent13: If someone sees the rabbit then the rabbit is kind. sent14: If someone sees the bear then they see the rabbit. sent15: If the cat needs the lion then the lion is big. sent16: If someone is kind then they see the bear. sent17: If someone likes the cat then the cat sees the bear. sent18: If someone needs the cat then the cat likes the bear.

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