$answer$ ; $proof$ ; $question$ = The tiger is not round. ; $context$ = sent1: The cat likes the rabbit. sent2: The cat likes the tiger. sent3: The mouse is blue. sent4: The mouse is nice. sent5: The mouse is round. sent6: The mouse visits the tiger. sent7: The rabbit likes the tiger. sent8: The rabbit visits the tiger. sent9: The tiger eats the mouse. sent10: The tiger eats the rabbit. sent11: The tiger visits the cat. sent12: If the mouse is big then the mouse visits the cat. sent13: If something visits the mouse then it visits the tiger. sent14: If something likes the tiger and the tiger eats the cat then the cat is red. sent15: If something visits the tiger then the tiger visits the mouse. sent16: If something is blue and it visits the cat then it likes the rabbit. sent17: If something is nice then it likes the cat. sent18: If something is blue then it likes the cat. sent19: If something is round then it is nice. sent20: If something visits the tiger then it is round.

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


$answer$ ; $proof$ ; $question$ = The tiger is nice. ; $context$ = sent1: The cat likes the rabbit. sent2: The cat likes the tiger. sent3: The mouse is blue. sent4: The mouse is nice. sent5: The mouse is round. sent6: The mouse visits the tiger. sent7: The rabbit likes the tiger. sent8: The rabbit visits the tiger. sent9: The tiger eats the mouse. sent10: The tiger eats the rabbit. sent11: The tiger visits the cat. sent12: If the mouse is big then the mouse visits the cat. sent13: If something visits the mouse then it visits the tiger. sent14: If something likes the tiger and the tiger eats the cat then the cat is red. sent15: If something visits the tiger then the tiger visits the mouse. sent16: If something is blue and it visits the cat then it likes the rabbit. sent17: If something is nice then it likes the cat. sent18: If something is blue then it likes the cat. sent19: If something is round then it is nice. sent20: If something visits the tiger then it is round.

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


$answer$ ; $proof$ ; $question$ = The tiger is not nice. ; $context$ = sent1: The cat likes the rabbit. sent2: The cat likes the tiger. sent3: The mouse is blue. sent4: The mouse is nice. sent5: The mouse is round. sent6: The mouse visits the tiger. sent7: The rabbit likes the tiger. sent8: The rabbit visits the tiger. sent9: The tiger eats the mouse. sent10: The tiger eats the rabbit. sent11: The tiger visits the cat. sent12: If the mouse is big then the mouse visits the cat. sent13: If something visits the mouse then it visits the tiger. sent14: If something likes the tiger and the tiger eats the cat then the cat is red. sent15: If something visits the tiger then the tiger visits the mouse. sent16: If something is blue and it visits the cat then it likes the rabbit. sent17: If something is nice then it likes the cat. sent18: If something is blue then it likes the cat. sent19: If something is round then it is nice. sent20: If something visits the tiger then it is round.

$answer$ = False ; $proof$ = # sent19%int1 # sent20%int2 # sent13%int3 # sent15%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The tiger likes the cat. ; $context$ = sent1: The cat likes the rabbit. sent2: The cat likes the tiger. sent3: The mouse is blue. sent4: The mouse is nice. sent5: The mouse is round. sent6: The mouse visits the tiger. sent7: The rabbit likes the tiger. sent8: The rabbit visits the tiger. sent9: The tiger eats the mouse. sent10: The tiger eats the rabbit. sent11: The tiger visits the cat. sent12: If the mouse is big then the mouse visits the cat. sent13: If something visits the mouse then it visits the tiger. sent14: If something likes the tiger and the tiger eats the cat then the cat is red. sent15: If something visits the tiger then the tiger visits the mouse. sent16: If something is blue and it visits the cat then it likes the rabbit. sent17: If something is nice then it likes the cat. sent18: If something is blue then it likes the cat. sent19: If something is round then it is nice. sent20: If something visits the tiger then it is round.

$answer$ = True ; $proof$ = # sent17%int1 # sent19%int2 # sent20%int3 # sent13%int4 # sent15%int5 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The tiger does not like the cat. ; $context$ = sent1: The cat likes the rabbit. sent2: The cat likes the tiger. sent3: The mouse is blue. sent4: The mouse is nice. sent5: The mouse is round. sent6: The mouse visits the tiger. sent7: The rabbit likes the tiger. sent8: The rabbit visits the tiger. sent9: The tiger eats the mouse. sent10: The tiger eats the rabbit. sent11: The tiger visits the cat. sent12: If the mouse is big then the mouse visits the cat. sent13: If something visits the mouse then it visits the tiger. sent14: If something likes the tiger and the tiger eats the cat then the cat is red. sent15: If something visits the tiger then the tiger visits the mouse. sent16: If something is blue and it visits the cat then it likes the rabbit. sent17: If something is nice then it likes the cat. sent18: If something is blue then it likes the cat. sent19: If something is round then it is nice. sent20: If something visits the tiger then it is round.

$answer$ = False ; $proof$ = # sent17%int1 # sent19%int2 # sent20%int3 # sent13%int4 # sent15%int5 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Charlie is nice. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

$answer$ = True ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Harry is not blue. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Charlie is blue. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Charlie is not blue. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Anne is kind. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Anne is not kind. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Anne is blue. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Anne is not blue. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Anne is big. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Anne is not big. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Anne is round. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = Anne is not round. ; $context$ = sent1: Anne is nice. sent2: Bob is big. sent3: Bob is blue. sent4: Charlie is kind. sent5: Charlie is nice. sent6: Charlie is red. sent7: Harry is blue. sent8: If something is kind then it is blue. sent9: All round things are kind. sent10: If something is cold then it is kind. sent11: If something is kind and big then it is round. sent12: Red, big things are round. sent13: Nice things are cold. sent14: If Charlie is round and Charlie is not nice then Charlie is red. sent15: If Anne is cold and Anne is blue then Anne is big. sent16: If Bob is kind and Bob is nice then Bob is big.

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


$answer$ ; $proof$ ; $question$ = The lion sees the rabbit. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

$answer$ = True ; $proof$ = sent6


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

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The rabbit is nice. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit is not nice. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit is blue. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit is not blue. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

$answer$ = False ; $proof$ = # sent19%int1 & # sent17%int2 sent11 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit eats the cat. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

$answer$ = True ; $proof$ = # sent20%int1 # sent19%int2 & # sent17%int3 sent11 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent20%int1 # sent19%int2 & # sent17%int3 sent11 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cat is blue. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

$answer$ = True ; $proof$ = # sent21%int1 # sent20%int2 # sent19%int3 & # sent17%int4 sent11 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cat is not blue. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

$answer$ = False ; $proof$ = # sent21%int1 # sent20%int2 # sent19%int3 & # sent17%int4 sent11 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cat eats the cat. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is red. sent3: The lion is nice. sent4: The lion is red. sent5: The lion sees the cat. sent6: The lion sees the rabbit. sent7: The lion sees the tiger. sent8: The rabbit chases the tiger. sent9: The rabbit sees the tiger. sent10: The tiger chases the cat. sent11: The tiger chases the rabbit. sent12: The tiger is nice. sent13: If someone is red and they eat the rabbit then they are blue. sent14: If the lion eats the cat and the lion chases the rabbit then the cat is kind. sent15: If the rabbit eats the tiger then the tiger is nice. sent16: If someone is rough then they see the cat. sent17: If someone is nice and they chase the rabbit then the rabbit is nice. sent18: If someone eats the cat and they are kind then they see the tiger. sent19: If someone is nice and they chase the tiger then they are blue. sent20: If someone is blue then they eat the cat. sent21: If someone eats the cat then the cat is blue.

$answer$ = True ; $proof$ = # sent20%int1 # sent21%int2 # sent20%int3 # sent19%int4 & # sent17%int5 sent11 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent20%int1 # sent21%int2 # sent20%int3 # sent19%int4 & # sent17%int5 sent11 sent8 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion eats the tiger. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

$answer$ = True ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The cow does not eat the lion. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The tiger is big. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The mouse is not big. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The tiger needs the cow. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The tiger does not need the cow. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The cow is round. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The cow is not round. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The cow is big. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The cow is not big. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The cow needs the cow. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = The cow does not need the cow. ; $context$ = sent1: The cow eats the lion. sent2: The cow eats the mouse. sent3: The cow is cold. sent4: The cow likes the lion. sent5: The lion eats the mouse. sent6: The lion eats the tiger. sent7: The lion likes the mouse. sent8: The lion needs the cow. sent9: The lion needs the tiger. sent10: The mouse is nice. sent11: The mouse likes the lion. sent12: The tiger is round. sent13: If someone is kind and nice then they need the lion. sent14: If someone likes the mouse then the mouse is big. sent15: If someone needs the cow and they are round then the cow is round. sent16: If someone is big then they need the cow. sent17: If someone likes the tiger then the tiger needs the mouse. sent18: If someone eats the tiger then they need the tiger. sent19: All round people are big.

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


$answer$ ; $proof$ ; $question$ = Harry is cold. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = Bob is not kind. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Harry is quiet. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


$answer$ ; $proof$ ; $question$ = Harry is not quiet. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


$answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


$answer$ ; $proof$ ; $question$ = Dave is not young. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


$answer$ ; $proof$ ; $question$ = Dave is cold. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


$answer$ ; $proof$ ; $question$ = Dave is not cold. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


$answer$ ; $proof$ ; $question$ = Dave is quiet. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


$answer$ ; $proof$ ; $question$ = Dave is not quiet. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

$answer$ = False ; $proof$ = # sent14%int1 # sent18%int2 # sent16%int3 # sent17%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Dave is round. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


$answer$ ; $proof$ ; $question$ = Dave is not round. ; $context$ = sent1: Bob is cold. sent2: Bob is kind. sent3: Bob is quiet. sent4: Bob is red. sent5: Bob is round. sent6: Dave is kind. sent7: Gary is kind. sent8: Gary is quiet. sent9: Harry is cold. sent10: Harry is red. sent11: Harry is young. sent12: If Dave is quiet then Dave is cold. sent13: If someone is quiet and cold then they are round. sent14: Cold people are quiet. sent15: All cold, kind people are quiet. sent16: If someone is rough then they are young. sent17: Kind people are rough. sent18: If someone is young then they are cold.

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


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

$answer$ = True ; $proof$ = sent3


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

$answer$ = False ; $proof$ = sent4


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = The squirrel is nice. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The tiger is not blue. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

$answer$ = False ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = The rabbit visits the squirrel. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not visit the squirrel. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

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


$answer$ ; $proof$ ; $question$ = The tiger sees the tiger. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

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


$answer$ ; $proof$ ; $question$ = The dog does not visit the tiger. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel is blue. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel is not blue. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel visits the tiger. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

$answer$ = True ; $proof$ = # sent14%int1 # sent11%int2 # sent19%int3 # sent18%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The squirrel does not visit the tiger. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

$answer$ = False ; $proof$ = # sent14%int1 # sent11%int2 # sent19%int3 # sent18%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The tiger visits the dog. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

$answer$ = True ; $proof$ = # sent15%int1 # sent14%int2 # sent11%int3 # sent19%int4 # sent18%int5 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The tiger does not visit the dog. ; $context$ = sent1: The dog eats the squirrel. sent2: The dog eats the tiger. sent3: The dog sees the rabbit. sent4: The dog sees the squirrel. sent5: The rabbit is big. sent6: The squirrel is big. sent7: The squirrel is nice. sent8: The squirrel visits the dog. sent9: The tiger is big. sent10: The tiger is blue. sent11: If the squirrel sees the tiger then the squirrel is blue. sent12: If someone is nice then they see the dog. sent13: If someone sees the rabbit and the rabbit sees the squirrel then they visit the tiger. sent14: If someone is blue then they visit the tiger. sent15: If the squirrel visits the tiger then the tiger visits the dog. sent16: If someone is big then they see the squirrel. sent17: If someone sees the dog and the dog is not big then they are kind. sent18: If someone is big then they visit the squirrel. sent19: If someone visits the squirrel then they see the tiger.

$answer$ = False ; $proof$ = # sent15%int1 # sent14%int2 # sent11%int3 # sent19%int4 # sent18%int5 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = sent12


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

$answer$ = False ; $proof$ = sent1


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

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


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

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


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

$answer$ = True ; $proof$ = # sent18%int1 # sent22%int2 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent18%int1 # sent22%int2 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent23%int1 & sent5 # sent18%int2 # sent22%int3 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

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


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

$answer$ = True ; $proof$ = # sent20%int1 # sent23%int2 & sent5 # sent18%int3 # sent22%int4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent20%int1 # sent23%int2 & sent5 # sent18%int3 # sent22%int4 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = True ; $proof$ = # sent21%int1 # sent20%int2 # sent23%int3 & sent5 # sent18%int4 # sent22%int5 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


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

$answer$ = False ; $proof$ = # sent21%int1 # sent20%int2 # sent23%int3 & sent5 # sent18%int4 # sent22%int5 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is blue. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Erin is not red. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Charlie is quiet. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is not quiet. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is cold. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is not cold. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is rough. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is not rough. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is kind. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is not kind. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is blue. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


$answer$ ; $proof$ ; $question$ = Charlie is not blue. ; $context$ = sent1: Bob is blue. sent2: Bob is kind. sent3: Bob is red. sent4: Charlie is nice. sent5: Erin is kind. sent6: Erin is red. sent7: Gary is blue. sent8: If something is quiet and cold then it is rough. sent9: Cold things are quiet. sent10: If something is kind then it is red. sent11: All nice things are quiet. sent12: Nice, rough things are kind. sent13: If Bob is cold then Bob is kind. sent14: If Bob is quiet and Bob is blue then Bob is nice. sent15: All quiet, kind things are blue. sent16: All quiet things are cold.

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


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

$answer$ = True ; $proof$ = sent6