$answer$ ; $proof$ ; $question$ = The lion is not nice. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The lion likes the dog. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The lion does not like the dog. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The dog likes the cow. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The dog does not like the cow. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The cow is rough. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The cow is not rough. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The cow sees the cow. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The cow does not see the cow. ; $context$ = sent1: The cat likes the dog. sent2: The cat needs the lion. sent3: The cow likes the cat. sent4: The cow sees the cat. sent5: The dog likes the cat. sent6: The dog likes the lion. sent7: The dog needs the lion. sent8: The dog sees the cat. sent9: The lion is red. sent10: The lion likes the cow. sent11: If someone is rough then they see the cow. sent12: If someone is blue then they like the lion. sent13: If someone is nice then they like the dog. sent14: If someone likes the dog and they like the cow then the dog likes the cow. sent15: Red people are nice. sent16: If the dog likes the cow then the cow is rough. sent17: If someone sees the lion then they are rough. sent18: If someone needs the dog and they like the cow then they see the lion. sent19: If the dog sees the lion and the dog does not need the cat then the dog likes the cat.

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


$answer$ ; $proof$ ; $question$ = The bald eagle chases the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The bald eagle does not chase the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The bald eagle sees the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = The bald eagle does not see the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = The cat chases the bear. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = The cat does not chase the bear. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = The cat is red. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = The cat is not red. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = The cat chases the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

$answer$ = True ; $proof$ = # sent13%int1 # sent10%int2 # sent16%int3 # sent11%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cat does not chase the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = The cat sees the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = The cat does not see the cat. ; $context$ = sent1: The bald eagle chases the cat. sent2: The bald eagle likes the mouse. sent3: The bald eagle sees the bear. sent4: The bear is nice. sent5: The cat is blue. sent6: The mouse likes the cat. sent7: The mouse sees the bear. sent8: If someone chases the cat and the cat is round then the cat likes the mouse. sent9: If someone chases the mouse and the mouse chases the bald eagle then they like the cat. sent10: If someone chases the bear then they are red. sent11: If someone chases the cat then they see the cat. sent12: If the cat likes the bald eagle then the cat likes the bear. sent13: If someone is red then they chase the cat. sent14: If someone sees the mouse then they like the mouse. sent15: If the bald eagle is nice and the bald eagle sees the cat then the cat likes the bald eagle. sent16: If someone sees the cat then the cat chases the bear.

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


$answer$ ; $proof$ ; $question$ = Dave is rough. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

$answer$ = True ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Harry is not quiet. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

$answer$ = False ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Fiona is young. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is not young. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is rough. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is not rough. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is quiet. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is not quiet. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is green. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is not green. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is cold. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


$answer$ ; $proof$ ; $question$ = Fiona is not cold. ; $context$ = sent1: Anne is green. sent2: Anne is rough. sent3: Anne is young. sent4: Dave is cold. sent5: Dave is nice. sent6: Dave is rough. sent7: Fiona is kind. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is quiet. sent11: Harry is young. sent12: Kind, quiet things are green. sent13: If Dave is kind then Dave is quiet. sent14: All kind things are young. sent15: All rough, kind things are quiet. sent16: If Anne is cold and Anne is kind then Anne is green. sent17: If something is young then it is rough. sent18: If something is green and quiet then it is cold.

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


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

$answer$ = True ; $proof$ = sent5


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

$answer$ = False ; $proof$ = sent4


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

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


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

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


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

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


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

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


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

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


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

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


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

$answer$ = True ; $proof$ = # sent16%int1 & # sent18%int2 # sent13%int3 # sent19%int4 naf2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent16%int1 & # sent18%int2 # sent13%int3 # sent19%int4 naf2 naf1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

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


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

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


$answer$ ; $proof$ ; $question$ = Dave is kind. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Harry is not green. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Dave is blue. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Harry is not furry. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Fiona is not kind. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Fiona is red. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Fiona is not red. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Fiona is furry. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Fiona is not furry. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Fiona is green. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = Fiona is not green. ; $context$ = sent1: Dave is green. sent2: Dave is kind. sent3: Dave is rough. sent4: Erin is green. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is rough. sent8: Harry is green. sent9: Harry is kind. sent10: Harry is round. sent11: Blue things are kind. sent12: If something is kind then it is red. sent13: Rough things are blue. sent14: If something is round and kind then it is green. sent15: Blue, red things are furry. sent16: Green, round things are furry. sent17: If something is furry and not kind then it is round. sent18: All red things are round.

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


$answer$ ; $proof$ ; $question$ = The tiger likes the cow. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The lion does not like the cat. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The cow chases the cat. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

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


$answer$ ; $proof$ ; $question$ = The cow does not chase the cat. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

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


$answer$ ; $proof$ ; $question$ = The cow chases the cow. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

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


$answer$ ; $proof$ ; $question$ = The cat does not chase the cow. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

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


$answer$ ; $proof$ ; $question$ = The cow likes the tiger. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

$answer$ = True ; $proof$ = # sent13%int1 # sent14%int2 # sent15%int3 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cow does not like the tiger. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

$answer$ = False ; $proof$ = # sent13%int1 # sent14%int2 # sent15%int3 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The tiger is cold. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

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


$answer$ ; $proof$ ; $question$ = The tiger is not cold. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

$answer$ = False ; $proof$ = # sent8%int1 # sent13%int2 # sent14%int3 # sent15%int4 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The tiger chases the cat. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

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


$answer$ ; $proof$ ; $question$ = The tiger does not chase the cat. ; $context$ = sent1: The cat likes the cow. sent2: The cow is cold. sent3: The lion chases the tiger. sent4: The lion likes the cat. sent5: The lion needs the cow. sent6: The lion needs the tiger. sent7: The tiger likes the cow. sent8: If something likes the tiger then the tiger is cold. sent9: If something chases the lion and it needs the lion then it is green. sent10: If the cow chases the lion and the cow chases the cat then the lion needs the cow. sent11: If the tiger chases the cow then the tiger likes the cat. sent12: If something needs the lion then the lion needs the tiger. sent13: If something chases the cow then the cow likes the tiger. sent14: If something chases the cat then the cat chases the cow. sent15: If something is cold then it chases the cat. sent16: If something is cold and it chases the cat then it chases the cow.

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


$answer$ ; $proof$ ; $question$ = Charlie is nice. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Charlie is not nice. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Dave is red. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is not red. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is green. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is not green. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is rough. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is not rough. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is big. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is not big. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is nice. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Dave is not nice. ; $context$ = sent1: Bob is red. sent2: Charlie is nice. sent3: Charlie is smart. sent4: Dave is cold. sent5: Dave is smart. sent6: Fiona is big. sent7: Fiona is red. sent8: All green people are rough. sent9: Red, smart people are green. sent10: If Bob is green and Bob is rough then Bob is red. sent11: If someone is rough then they are big. sent12: If someone is smart and big then they are cold. sent13: If someone is green and big then they are nice. sent14: All smart, nice people are cold. sent15: All nice, rough people are big. sent16: If Dave is cold then Dave is red.

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


$answer$ ; $proof$ ; $question$ = Anne is big. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Charlie is not nice. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Anne is cold. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Anne is not cold. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Charlie is rough. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Gary is not quiet. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Gary is rough. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Bob is not quiet. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Bob is rough. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Gary is not big. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Bob is big. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = Bob is not big. ; $context$ = sent1: Anne is big. sent2: Anne is rough. sent3: Anne is young. sent4: Bob is young. sent5: Charlie is cold. sent6: Charlie is green. sent7: Charlie is nice. sent8: Charlie is young. sent9: Gary is green. sent10: Gary is young. sent11: Big, quiet people are green. sent12: If someone is cold and young then they are nice. sent13: If Bob is rough and Bob is green then Bob is cold. sent14: Green people are nice. sent15: All nice people are quiet. sent16: Young people are cold. sent17: If someone is quiet and nice then they are rough. sent18: If someone is rough and young then they are cold. sent19: All rough, nice people are big.

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


$answer$ ; $proof$ ; $question$ = The dog chases the lion. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The lion does not eat the dog. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The lion is big. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

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


$answer$ ; $proof$ ; $question$ = The lion is not big. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

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


$answer$ ; $proof$ ; $question$ = The lion is green. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

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


$answer$ ; $proof$ ; $question$ = The lion is not green. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

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


$answer$ ; $proof$ ; $question$ = The lion likes the squirrel. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

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


$answer$ ; $proof$ ; $question$ = The dog does not chase the squirrel. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

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


$answer$ ; $proof$ ; $question$ = The dog is big. ; $context$ = sent1: The dog chases the lion. sent2: The dog likes the lion. sent3: The lion chases the dog. sent4: The lion eats the dog. sent5: The lion eats the tiger. sent6: The lion likes the tiger. sent7: The squirrel chases the tiger. sent8: The squirrel eats the dog. sent9: The squirrel is red. sent10: The squirrel likes the dog. sent11: The tiger eats the lion. sent12: If something eats the dog and it is green then the dog chases the squirrel. sent13: Big things are green. sent14: If something likes the tiger and the tiger is nice then it is green. sent15: If the squirrel likes the tiger then the tiger is rough. sent16: If something likes the tiger then it is big. sent17: If something likes the squirrel then it is big. sent18: If something is green then it likes the squirrel. sent19: If something is green and it chases the dog then the dog likes the tiger. sent20: If something likes the tiger and the tiger eats the squirrel then the squirrel chases the dog.

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