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

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


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

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


$answer$ ; $proof$ ; $question$ = Charlie is red. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Fiona is not rough. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

$answer$ = False ; $proof$ = sent14


$answer$ ; $proof$ ; $question$ = Fiona is blue. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is not blue. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is kind. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is not kind. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is red. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is not red. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is cold. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is not cold. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is quiet. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = Fiona is not quiet. ; $context$ = sent1: Bob is blue. sent2: Charlie is blue. sent3: Charlie is cold. sent4: Charlie is kind. sent5: Charlie is red. sent6: Charlie is rough. sent7: Erin is blue. sent8: Erin is cold. sent9: Erin is kind. sent10: Erin is quiet. sent11: Erin is red. sent12: Erin is rough. sent13: Fiona is nice. sent14: Fiona is rough. sent15: If someone is cold then they are kind. sent16: Blue, rough people are kind. sent17: All kind, red people are cold. sent18: Red people are nice. sent19: If someone is kind then they are red. sent20: If someone is red and cold then they are quiet. sent21: If someone is rough then they are blue. sent22: Kind people are rough.

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


$answer$ ; $proof$ ; $question$ = The cat is green. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The tiger is not green. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The cat sees the tiger. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

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


$answer$ ; $proof$ ; $question$ = The cat does not see the tiger. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

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


$answer$ ; $proof$ ; $question$ = The cat chases the cat. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

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


$answer$ ; $proof$ ; $question$ = The cat does not chase the cat. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

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


$answer$ ; $proof$ ; $question$ = The cat sees the bear. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

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


$answer$ ; $proof$ ; $question$ = The cat does not see the bear. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

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


$answer$ ; $proof$ ; $question$ = The cat needs the cat. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

$answer$ = True ; $proof$ = # sent15%int1 # sent18%int2 # sent13%int3 # sent11%int4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The tiger does not see the bear. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

$answer$ = False ; $proof$ = # sent18%int1 # sent17%int2 & # sent14%int3 & # sent11%int4 sent2 naf2 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cat needs the tiger. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

$answer$ = True ; $proof$ = # sent16%int1 & sent3 # sent15%int2 # sent18%int3 # sent13%int4 # sent11%int5 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cat does not need the tiger. ; $context$ = sent1: The bear needs the rabbit. sent2: The cat chases the bear. sent3: The cat chases the rabbit. sent4: The cat is green. sent5: The rabbit needs the bear. sent6: The tiger is green. sent7: The tiger needs the cat. sent8: The tiger needs the rabbit. sent9: The tiger sees the cat. sent10: The tiger sees the rabbit. sent11: If someone chases the rabbit and they chase the bear then they see the tiger. sent12: If someone is nice and they need the bear then the bear needs the cat. sent13: If someone sees the tiger then they chase the cat. sent14: If someone sees the tiger and they do not need the rabbit then the rabbit is green. sent15: If someone sees the bear then they need the cat. sent16: If someone chases the bear and they need the cat then the cat needs the tiger. sent17: If the rabbit is green and the rabbit does not see the tiger then the tiger chases the cat. sent18: If someone chases the cat then they see the bear.

$answer$ = False ; $proof$ = # sent16%int1 & sent3 # sent15%int2 # sent18%int3 # sent13%int4 # sent11%int5 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Fiona is rough. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

$answer$ = True ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = Dave is not cold. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Harry is quiet. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is not white. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is quiet. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Fiona is not quiet. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is smart. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is not smart. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is furry. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is not furry. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is rough. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is not rough. ; $context$ = sent1: Dave is cold. sent2: Erin is cold. sent3: Erin is furry. sent4: Erin is quiet. sent5: Erin is red. sent6: Erin is rough. sent7: Erin is white. sent8: Fiona is cold. sent9: Fiona is furry. sent10: Fiona is red. sent11: Fiona is rough. sent12: Harry is furry. sent13: Harry is smart. sent14: Harry is white. sent15: All cold things are white. sent16: Rough things are white. sent17: If something is cold and not red then it is white. sent18: If something is white then it is quiet. sent19: If something is rough and not cold then it is quiet. sent20: White, furry things are rough. sent21: If something is quiet and not red then it is smart. sent22: Smart things are furry.

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


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

$answer$ = True ; $proof$ = sent5


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

$answer$ = False ; $proof$ = sent5


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

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = The rabbit does not see the rabbit. ; $context$ = sent1: The bear chases the lion. sent2: The bear is blue. sent3: The bear is green. sent4: The cat chases the lion. sent5: The cat likes the rabbit. sent6: The lion sees the cat. sent7: The rabbit sees the bear. sent8: If something is big then it sees the rabbit. sent9: If something chases the cat then the cat sees the bear. sent10: If something chases the lion then it chases the rabbit. sent11: If something likes the rabbit then the rabbit sees the bear. sent12: If something is green then it sees the cat. sent13: If something chases the rabbit then the rabbit is big. sent14: If something sees the rabbit and the rabbit is big then the rabbit chases the lion. sent15: If the lion sees the rabbit then the lion is blue. sent16: If something likes the lion and it chases the cat then the cat sees the lion.

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = The mouse eats the cow. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

$answer$ = True ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The mouse does not eat the bald eagle. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The cow likes the cow. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The cow does not like the cow. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The cow is nice. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The cow does not like the tiger. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The tiger chases the mouse. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The tiger does not chase the mouse. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The tiger likes the cow. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The tiger does not like the cow. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The tiger likes the tiger. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

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


$answer$ ; $proof$ ; $question$ = The tiger does not like the tiger. ; $context$ = sent1: The bald eagle is young. sent2: The bald eagle likes the tiger. sent3: The cow chases the mouse. sent4: The cow is cold. sent5: The mouse eats the bald eagle. sent6: The mouse eats the cow. sent7: The tiger is big. sent8: If something is cold and it likes the cow then it is nice. sent9: All nice things are big. sent10: If something is rough then it likes the mouse. sent11: If something likes the cow then it likes the tiger. sent12: If something eats the tiger and it chases the cow then the tiger chases the bald eagle. sent13: If something chases the mouse then it likes the cow. sent14: If something is nice and it likes the tiger then the tiger chases the mouse.

$answer$ = False ; $proof$ = # sent11%int1 # sent13%int2 # sent14%int3 & # sent8%int5 & sent4 # sent13%int6 sent3 # sent11%int4 # sent13%int6 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bald eagle needs the cat. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The dog does not need the bear. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

$answer$ = False ; $proof$ = sent15


$answer$ ; $proof$ ; $question$ = The cat is blue. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

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


$answer$ ; $proof$ ; $question$ = The bald eagle does not chase the bald eagle. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

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


$answer$ ; $proof$ ; $question$ = The bear needs the dog. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

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


$answer$ ; $proof$ ; $question$ = The bear does not need the dog. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

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


$answer$ ; $proof$ ; $question$ = The dog eats the bald eagle. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

$answer$ = True ; $proof$ = # sent21%int1 # sent24%int2 & # sent23%int3 sent7 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog does not eat the bald eagle. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

$answer$ = False ; $proof$ = # sent21%int1 # sent24%int2 & # sent23%int3 sent7 naf1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog is blue. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

$answer$ = True ; $proof$ = # sent25%int1 & # sent21%int2 # sent24%int3 & # sent23%int4 sent7 naf1 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog is not blue. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

$answer$ = False ; $proof$ = # sent25%int1 & # sent21%int2 # sent24%int3 & # sent23%int4 sent7 naf1 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog needs the bald eagle. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

$answer$ = True ; $proof$ = # sent18%int1 & # sent25%int2 & # sent21%int3 # sent24%int4 & # sent23%int5 sent7 naf1 sent2 sent11 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The dog does not need the bald eagle. ; $context$ = sent1: The bald eagle eats the cat. sent2: The bald eagle needs the bear. sent3: The bald eagle needs the cat. sent4: The bear eats the dog. sent5: The bear is young. sent6: The cat eats the bald eagle. sent7: The cat is kind. sent8: The cat is red. sent9: The cat needs the bald eagle. sent10: The dog chases the bald eagle. sent11: The dog chases the bear. sent12: The dog eats the cat. sent13: The dog is red. sent14: The dog is young. sent15: The dog needs the bear. sent16: The dog needs the cat. sent17: If someone needs the cat then they chase the bald eagle. sent18: If someone is blue and they chase the bear then they need the bald eagle. sent19: If someone needs the bear and they are kind then they need the bald eagle. sent20: If someone needs the bald eagle and the bald eagle does not eat the bear then the bear is kind. sent21: If someone is nice then they eat the bald eagle. sent22: If someone chases the dog and they need the bear then the dog needs the bald eagle. sent23: If someone is kind then they need the dog. sent24: If someone needs the dog and they are not young then the dog is nice. sent25: If someone eats the bald eagle and the bald eagle needs the bear then they are blue.

$answer$ = False ; $proof$ = # sent18%int1 & # sent25%int2 & # sent21%int3 # sent24%int4 & # sent23%int5 sent7 naf1 sent2 sent11 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The lion is green. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

$answer$ = True ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The cow does not need the rabbit. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = The lion is big. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

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


$answer$ ; $proof$ ; $question$ = The lion is not big. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

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


$answer$ ; $proof$ ; $question$ = The bear visits the bear. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

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


$answer$ ; $proof$ ; $question$ = The lion does not visit the bear. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

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


$answer$ ; $proof$ ; $question$ = The lion visits the lion. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

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


$answer$ ; $proof$ ; $question$ = The bear does not visit the lion. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

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


$answer$ ; $proof$ ; $question$ = The lion sees the rabbit. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

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


$answer$ ; $proof$ ; $question$ = The lion does not see the rabbit. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

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


$answer$ ; $proof$ ; $question$ = The lion sees the lion. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

$answer$ = True ; $proof$ = # sent18%int1 & # sent15%int6 & # sent11%int7 sent7 sent6 # sent19%int2 # sent16%int3 # sent12%int4 # sent11%int5 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The lion does not see the lion. ; $context$ = sent1: The bear is young. sent2: The bear sees the lion. sent3: The cow is red. sent4: The cow needs the bear. sent5: The cow needs the rabbit. sent6: The lion is green. sent7: The lion is young. sent8: The lion needs the rabbit. sent9: The rabbit is green. sent10: The rabbit sees the cow. sent11: All young things are big. sent12: If something is big then it visits the bear. sent13: If something visits the cow then it visits the bear. sent14: If something needs the bear and the bear needs the cow then it visits the cow. sent15: If something is big and green then it sees the bear. sent16: If something visits the bear then it visits the lion. sent17: If something is cold then it needs the bear. sent18: If something sees the bear and it sees the rabbit then it sees the lion. sent19: If something visits the lion then the lion sees the rabbit.

$answer$ = False ; $proof$ = # sent18%int1 & # sent15%int6 & # sent11%int7 sent7 sent6 # sent19%int2 # sent16%int3 # sent12%int4 # sent11%int5 sent1 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cat eats the tiger. ; $context$ = sent1: The cat eats the tiger. sent2: The cat is blue. sent3: The cat is rough. sent4: The cat likes the tiger. sent5: The cat sees the tiger. sent6: The lion eats the cat. sent7: The lion is green. sent8: The lion sees the tiger. sent9: The squirrel eats the lion. sent10: The squirrel is green. sent11: The squirrel likes the lion. sent12: The squirrel likes the tiger. sent13: The squirrel sees the tiger. sent14: The tiger eats the cat. sent15: All blue things are green. sent16: If something eats the cat then it likes the cat. sent17: If something eats the squirrel and the squirrel is young then it likes the cat. sent18: If something sees the squirrel then the squirrel eats the cat. sent19: If something sees the cat and it does not see the tiger then the tiger likes the squirrel. sent20: If something likes the squirrel then the squirrel eats the tiger. sent21: If something likes the cat then it sees the squirrel. sent22: If something sees the lion then the lion sees the squirrel. sent23: If something eats the tiger and it sees the cat then the tiger eats the lion.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The cat does not eat the tiger. ; $context$ = sent1: The cat eats the tiger. sent2: The cat is blue. sent3: The cat is rough. sent4: The cat likes the tiger. sent5: The cat sees the tiger. sent6: The lion eats the cat. sent7: The lion is green. sent8: The lion sees the tiger. sent9: The squirrel eats the lion. sent10: The squirrel is green. sent11: The squirrel likes the lion. sent12: The squirrel likes the tiger. sent13: The squirrel sees the tiger. sent14: The tiger eats the cat. sent15: All blue things are green. sent16: If something eats the cat then it likes the cat. sent17: If something eats the squirrel and the squirrel is young then it likes the cat. sent18: If something sees the squirrel then the squirrel eats the cat. sent19: If something sees the cat and it does not see the tiger then the tiger likes the squirrel. sent20: If something likes the squirrel then the squirrel eats the tiger. sent21: If something likes the cat then it sees the squirrel. sent22: If something sees the lion then the lion sees the squirrel. sent23: If something eats the tiger and it sees the cat then the tiger eats the lion.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The cat is green. ; $context$ = sent1: The cat eats the tiger. sent2: The cat is blue. sent3: The cat is rough. sent4: The cat likes the tiger. sent5: The cat sees the tiger. sent6: The lion eats the cat. sent7: The lion is green. sent8: The lion sees the tiger. sent9: The squirrel eats the lion. sent10: The squirrel is green. sent11: The squirrel likes the lion. sent12: The squirrel likes the tiger. sent13: The squirrel sees the tiger. sent14: The tiger eats the cat. sent15: All blue things are green. sent16: If something eats the cat then it likes the cat. sent17: If something eats the squirrel and the squirrel is young then it likes the cat. sent18: If something sees the squirrel then the squirrel eats the cat. sent19: If something sees the cat and it does not see the tiger then the tiger likes the squirrel. sent20: If something likes the squirrel then the squirrel eats the tiger. sent21: If something likes the cat then it sees the squirrel. sent22: If something sees the lion then the lion sees the squirrel. sent23: If something eats the tiger and it sees the cat then the tiger eats the lion.

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


$answer$ ; $proof$ ; $question$ = The lion does not like the cat. ; $context$ = sent1: The cat eats the tiger. sent2: The cat is blue. sent3: The cat is rough. sent4: The cat likes the tiger. sent5: The cat sees the tiger. sent6: The lion eats the cat. sent7: The lion is green. sent8: The lion sees the tiger. sent9: The squirrel eats the lion. sent10: The squirrel is green. sent11: The squirrel likes the lion. sent12: The squirrel likes the tiger. sent13: The squirrel sees the tiger. sent14: The tiger eats the cat. sent15: All blue things are green. sent16: If something eats the cat then it likes the cat. sent17: If something eats the squirrel and the squirrel is young then it likes the cat. sent18: If something sees the squirrel then the squirrel eats the cat. sent19: If something sees the cat and it does not see the tiger then the tiger likes the squirrel. sent20: If something likes the squirrel then the squirrel eats the tiger. sent21: If something likes the cat then it sees the squirrel. sent22: If something sees the lion then the lion sees the squirrel. sent23: If something eats the tiger and it sees the cat then the tiger eats the lion.

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


$answer$ ; $proof$ ; $question$ = The lion sees the squirrel. ; $context$ = sent1: The cat eats the tiger. sent2: The cat is blue. sent3: The cat is rough. sent4: The cat likes the tiger. sent5: The cat sees the tiger. sent6: The lion eats the cat. sent7: The lion is green. sent8: The lion sees the tiger. sent9: The squirrel eats the lion. sent10: The squirrel is green. sent11: The squirrel likes the lion. sent12: The squirrel likes the tiger. sent13: The squirrel sees the tiger. sent14: The tiger eats the cat. sent15: All blue things are green. sent16: If something eats the cat then it likes the cat. sent17: If something eats the squirrel and the squirrel is young then it likes the cat. sent18: If something sees the squirrel then the squirrel eats the cat. sent19: If something sees the cat and it does not see the tiger then the tiger likes the squirrel. sent20: If something likes the squirrel then the squirrel eats the tiger. sent21: If something likes the cat then it sees the squirrel. sent22: If something sees the lion then the lion sees the squirrel. sent23: If something eats the tiger and it sees the cat then the tiger eats the lion.

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