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

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


$answer$ ; $proof$ ; $question$ = The tiger chases the cat. ; $context$ = sent1: The cat eats the mouse. sent2: The cat likes the tiger. sent3: The cow eats the tiger. sent4: The cow likes the cat. sent5: The mouse chases the cat. sent6: The mouse chases the cow. sent7: The mouse eats the tiger. sent8: The mouse is green. sent9: The mouse is round. sent10: The tiger chases the cat. sent11: The tiger eats the cow. sent12: The tiger likes the mouse. sent13: If someone chases the cow and they chase the mouse then the mouse is blue. sent14: If someone eats the cat then they are nice. sent15: If the cat eats the mouse then the mouse likes the cow. sent16: If someone chases the mouse and they are round then they are big. sent17: If someone chases the tiger and the tiger chases the cat then the tiger is round. sent18: If someone eats the tiger and they like the cat then the cat likes the cow. sent19: If the mouse likes the cow and the mouse chases the cow then the cow eats the cat. sent20: If someone eats the cow and they eat the cat then they chase the tiger. sent21: If someone eats the tiger and they eat the cat then the tiger eats the cat.

$answer$ = True ; $proof$ = sent10


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

$answer$ = False ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = The mouse likes the cow. ; $context$ = sent1: The cat eats the mouse. sent2: The cat likes the tiger. sent3: The cow eats the tiger. sent4: The cow likes the cat. sent5: The mouse chases the cat. sent6: The mouse chases the cow. sent7: The mouse eats the tiger. sent8: The mouse is green. sent9: The mouse is round. sent10: The tiger chases the cat. sent11: The tiger eats the cow. sent12: The tiger likes the mouse. sent13: If someone chases the cow and they chase the mouse then the mouse is blue. sent14: If someone eats the cat then they are nice. sent15: If the cat eats the mouse then the mouse likes the cow. sent16: If someone chases the mouse and they are round then they are big. sent17: If someone chases the tiger and the tiger chases the cat then the tiger is round. sent18: If someone eats the tiger and they like the cat then the cat likes the cow. sent19: If the mouse likes the cow and the mouse chases the cow then the cow eats the cat. sent20: If someone eats the cow and they eat the cat then they chase the tiger. sent21: If someone eats the tiger and they eat the cat then the tiger eats the cat.

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


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

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


$answer$ ; $proof$ ; $question$ = The cow eats the cat. ; $context$ = sent1: The cat eats the mouse. sent2: The cat likes the tiger. sent3: The cow eats the tiger. sent4: The cow likes the cat. sent5: The mouse chases the cat. sent6: The mouse chases the cow. sent7: The mouse eats the tiger. sent8: The mouse is green. sent9: The mouse is round. sent10: The tiger chases the cat. sent11: The tiger eats the cow. sent12: The tiger likes the mouse. sent13: If someone chases the cow and they chase the mouse then the mouse is blue. sent14: If someone eats the cat then they are nice. sent15: If the cat eats the mouse then the mouse likes the cow. sent16: If someone chases the mouse and they are round then they are big. sent17: If someone chases the tiger and the tiger chases the cat then the tiger is round. sent18: If someone eats the tiger and they like the cat then the cat likes the cow. sent19: If the mouse likes the cow and the mouse chases the cow then the cow eats the cat. sent20: If someone eats the cow and they eat the cat then they chase the tiger. sent21: If someone eats the tiger and they eat the cat then the tiger eats the cat.

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


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

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


$answer$ ; $proof$ ; $question$ = The tiger eats the cat. ; $context$ = sent1: The cat eats the mouse. sent2: The cat likes the tiger. sent3: The cow eats the tiger. sent4: The cow likes the cat. sent5: The mouse chases the cat. sent6: The mouse chases the cow. sent7: The mouse eats the tiger. sent8: The mouse is green. sent9: The mouse is round. sent10: The tiger chases the cat. sent11: The tiger eats the cow. sent12: The tiger likes the mouse. sent13: If someone chases the cow and they chase the mouse then the mouse is blue. sent14: If someone eats the cat then they are nice. sent15: If the cat eats the mouse then the mouse likes the cow. sent16: If someone chases the mouse and they are round then they are big. sent17: If someone chases the tiger and the tiger chases the cat then the tiger is round. sent18: If someone eats the tiger and they like the cat then the cat likes the cow. sent19: If the mouse likes the cow and the mouse chases the cow then the cow eats the cat. sent20: If someone eats the cow and they eat the cat then they chase the tiger. sent21: If someone eats the tiger and they eat the cat then the tiger eats the cat.

$answer$ = True ; $proof$ = # sent21%int1 & sent3 # sent19%int2 & # sent15%int3 sent1 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

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


$answer$ ; $proof$ ; $question$ = The tiger chases the tiger. ; $context$ = sent1: The cat eats the mouse. sent2: The cat likes the tiger. sent3: The cow eats the tiger. sent4: The cow likes the cat. sent5: The mouse chases the cat. sent6: The mouse chases the cow. sent7: The mouse eats the tiger. sent8: The mouse is green. sent9: The mouse is round. sent10: The tiger chases the cat. sent11: The tiger eats the cow. sent12: The tiger likes the mouse. sent13: If someone chases the cow and they chase the mouse then the mouse is blue. sent14: If someone eats the cat then they are nice. sent15: If the cat eats the mouse then the mouse likes the cow. sent16: If someone chases the mouse and they are round then they are big. sent17: If someone chases the tiger and the tiger chases the cat then the tiger is round. sent18: If someone eats the tiger and they like the cat then the cat likes the cow. sent19: If the mouse likes the cow and the mouse chases the cow then the cow eats the cat. sent20: If someone eats the cow and they eat the cat then they chase the tiger. sent21: If someone eats the tiger and they eat the cat then the tiger eats the cat.

$answer$ = True ; $proof$ = # sent20%int1 & sent11 # sent21%int2 & sent3 # sent19%int3 & # sent15%int4 sent1 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent20%int1 & sent11 # sent21%int2 & sent3 # sent19%int3 & # sent15%int4 sent1 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger is round. ; $context$ = sent1: The cat eats the mouse. sent2: The cat likes the tiger. sent3: The cow eats the tiger. sent4: The cow likes the cat. sent5: The mouse chases the cat. sent6: The mouse chases the cow. sent7: The mouse eats the tiger. sent8: The mouse is green. sent9: The mouse is round. sent10: The tiger chases the cat. sent11: The tiger eats the cow. sent12: The tiger likes the mouse. sent13: If someone chases the cow and they chase the mouse then the mouse is blue. sent14: If someone eats the cat then they are nice. sent15: If the cat eats the mouse then the mouse likes the cow. sent16: If someone chases the mouse and they are round then they are big. sent17: If someone chases the tiger and the tiger chases the cat then the tiger is round. sent18: If someone eats the tiger and they like the cat then the cat likes the cow. sent19: If the mouse likes the cow and the mouse chases the cow then the cow eats the cat. sent20: If someone eats the cow and they eat the cat then they chase the tiger. sent21: If someone eats the tiger and they eat the cat then the tiger eats the cat.

$answer$ = True ; $proof$ = # sent17%int1 & # sent20%int2 & sent11 # sent21%int3 & sent3 # sent19%int4 & # sent15%int5 sent1 sent6 sent10 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger is not round. ; $context$ = sent1: The cat eats the mouse. sent2: The cat likes the tiger. sent3: The cow eats the tiger. sent4: The cow likes the cat. sent5: The mouse chases the cat. sent6: The mouse chases the cow. sent7: The mouse eats the tiger. sent8: The mouse is green. sent9: The mouse is round. sent10: The tiger chases the cat. sent11: The tiger eats the cow. sent12: The tiger likes the mouse. sent13: If someone chases the cow and they chase the mouse then the mouse is blue. sent14: If someone eats the cat then they are nice. sent15: If the cat eats the mouse then the mouse likes the cow. sent16: If someone chases the mouse and they are round then they are big. sent17: If someone chases the tiger and the tiger chases the cat then the tiger is round. sent18: If someone eats the tiger and they like the cat then the cat likes the cow. sent19: If the mouse likes the cow and the mouse chases the cow then the cow eats the cat. sent20: If someone eats the cow and they eat the cat then they chase the tiger. sent21: If someone eats the tiger and they eat the cat then the tiger eats the cat.

$answer$ = False ; $proof$ = # sent17%int1 & # sent20%int2 & sent11 # sent21%int3 & sent3 # sent19%int4 & # sent15%int5 sent1 sent6 sent10 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion sees the bald eagle. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

$answer$ = True ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The lion does not see the bald eagle. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The lion likes the lion. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The lion does not like the lion. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The lion is green. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The lion is not green. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The lion sees the cat. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The lion does not see the cat. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The cat is big. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The cat is not big. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The cat likes the lion. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = The cat does not like the lion. ; $context$ = sent1: The bald eagle likes the lion. sent2: The bald eagle likes the tiger. sent3: The cat visits the bald eagle. sent4: The lion is big. sent5: The lion is rough. sent6: The lion sees the bald eagle. sent7: The tiger sees the lion. sent8: If something sees the bald eagle then it likes the lion. sent9: If something sees the cat and it is green then the cat is big. sent10: If something visits the cat and it visits the tiger then it likes the tiger. sent11: If something likes the lion and it sees the bald eagle then the lion is green. sent12: If something is big then it likes the lion. sent13: If the lion is green then the lion sees the cat.

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


$answer$ ; $proof$ ; $question$ = Charlie is nice. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Anne is not big. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Bob is big. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = Bob is not nice. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = Harry is not round. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = Harry is kind. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = Anne is not smart. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

$answer$ = False ; $proof$ = # sent17%int1 & sent3 # sent21%int2 & # sent18%int3 sent4 sent3 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is white. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = Harry is not white. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = Harry is smart. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = Harry is not smart. ; $context$ = sent1: Anne is big. sent2: Anne is furry. sent3: Anne is nice. sent4: Anne is round. sent5: Bob is furry. sent6: Bob is kind. sent7: Bob is round. sent8: Bob is smart. sent9: Bob is white. sent10: Charlie is nice. sent11: Harry is furry. sent12: Harry is nice. sent13: If Bob is big then Bob is nice. sent14: If Bob is round then Bob is furry. sent15: If someone is furry then they are big. sent16: Big people are round. sent17: If someone is kind and white then they are smart. sent18: Nice, round people are kind. sent19: Kind, white people are nice. sent20: If someone is smart then they are white. sent21: Kind, nice people are white.

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


$answer$ ; $proof$ ; $question$ = The bear likes the mouse. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The cow does not chase the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The cow eats the lion. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

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


$answer$ ; $proof$ ; $question$ = The cow does not eat the lion. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

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


$answer$ ; $proof$ ; $question$ = The cow is young. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

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


$answer$ ; $proof$ ; $question$ = The lion does not eat the bear. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

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


$answer$ ; $proof$ ; $question$ = The lion eats the lion. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

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


$answer$ ; $proof$ ; $question$ = The lion does not eat the lion. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

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


$answer$ ; $proof$ ; $question$ = The lion is young. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

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


$answer$ ; $proof$ ; $question$ = The lion is not young. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

$answer$ = False ; $proof$ = # sent14%int1 # sent15%int2 # sent17%int3 # sent15%int4 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The lion is round. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

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


$answer$ ; $proof$ ; $question$ = The lion is not round. ; $context$ = sent1: The bear eats the cow. sent2: The bear likes the lion. sent3: The bear likes the mouse. sent4: The cow chases the bear. sent5: The cow chases the mouse. sent6: The cow eats the bear. sent7: The cow is nice. sent8: The lion chases the cow. sent9: The lion chases the mouse. sent10: The lion likes the bear. sent11: The mouse chases the cow. sent12: The mouse chases the lion. sent13: If someone is young then they are round. sent14: If someone eats the lion then they are young. sent15: If someone eats the bear then they eat the lion. sent16: If someone is nice and they chase the lion then they like the bear. sent17: If someone eats the lion then the lion eats the bear.

$answer$ = False ; $proof$ = # sent13%int1 # sent14%int2 # sent15%int3 # sent17%int4 # sent15%int5 sent6 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is green. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Fiona is not young. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

$answer$ = False ; $proof$ = sent16


$answer$ ; $proof$ ; $question$ = Anne is rough. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

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


$answer$ ; $proof$ ; $question$ = Anne is not smart. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

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


$answer$ ; $proof$ ; $question$ = Anne is round. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

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


$answer$ ; $proof$ ; $question$ = Anne is not round. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

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


$answer$ ; $proof$ ; $question$ = Erin is round. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

$answer$ = True ; $proof$ = # sent25%int1 & # sent21%int2 # sent18%int3 sent9 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not round. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

$answer$ = False ; $proof$ = # sent25%int1 & # sent21%int2 # sent18%int3 sent9 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is green. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

$answer$ = True ; $proof$ = # sent23%int1 & # sent25%int2 & # sent21%int3 # sent18%int4 sent9 sent9 # sent21%int3 # sent18%int4 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is not green. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

$answer$ = False ; $proof$ = # sent23%int1 & # sent25%int2 & # sent21%int3 # sent18%int4 sent9 sent9 # sent21%int3 # sent18%int4 sent9 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is big. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

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


$answer$ ; $proof$ ; $question$ = Erin is not big. ; $context$ = sent1: Anne is green. sent2: Anne is red. sent3: Charlie is big. sent4: Charlie is green. sent5: Charlie is red. sent6: Charlie is smart. sent7: Charlie is young. sent8: Erin is red. sent9: Erin is young. sent10: Fiona is big. sent11: Fiona is green. sent12: Fiona is red. sent13: Fiona is rough. sent14: Fiona is round. sent15: Fiona is smart. sent16: Fiona is young. sent17: If someone is green then they are rough. sent18: Young people are rough. sent19: Big, green people are rough. sent20: If someone is green then they are big. sent21: If someone is rough then they are smart. sent22: Green people are smart. sent23: All round, smart people are green. sent24: Green, rough people are round. sent25: If someone is smart and young then they are round.

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