$answer$ ; $proof$ ; $question$ = The tiger eats the cow. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle is round. sent3: The cow chases the tiger. sent4: The cow is blue. sent5: The cow is rough. sent6: The squirrel chases the bald eagle. sent7: The squirrel eats the bald eagle. sent8: The squirrel eats the tiger. sent9: The squirrel likes the bald eagle. sent10: The squirrel likes the tiger. sent11: The tiger chases the squirrel. sent12: If something likes the squirrel then it eats the squirrel. sent13: If the bald eagle likes the squirrel and the squirrel is kind then the squirrel is rough. sent14: If something likes the squirrel and the squirrel likes the cow then it is blue. sent15: If something eats the cow then it is big. sent16: If something eats the cow and it is big then the cow chases the bald eagle. sent17: If something chases the squirrel then the squirrel likes the cow. sent18: If something chases the squirrel and the squirrel eats the tiger then it likes the squirrel. sent19: If something eats the squirrel then it eats the cow. sent20: If something is kind and it likes the cow then it is big.

$answer$ = True ; $proof$ = # sent19%int1 # sent12%int2 # sent18%int3 sent8 ; 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 cow. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle is round. sent3: The cow chases the tiger. sent4: The cow is blue. sent5: The cow is rough. sent6: The squirrel chases the bald eagle. sent7: The squirrel eats the bald eagle. sent8: The squirrel eats the tiger. sent9: The squirrel likes the bald eagle. sent10: The squirrel likes the tiger. sent11: The tiger chases the squirrel. sent12: If something likes the squirrel then it eats the squirrel. sent13: If the bald eagle likes the squirrel and the squirrel is kind then the squirrel is rough. sent14: If something likes the squirrel and the squirrel likes the cow then it is blue. sent15: If something eats the cow then it is big. sent16: If something eats the cow and it is big then the cow chases the bald eagle. sent17: If something chases the squirrel then the squirrel likes the cow. sent18: If something chases the squirrel and the squirrel eats the tiger then it likes the squirrel. sent19: If something eats the squirrel then it eats the cow. sent20: If something is kind and it likes the cow then it is big.

$answer$ = False ; $proof$ = # sent19%int1 # sent12%int2 # sent18%int3 sent8 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = The tiger is big. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle is round. sent3: The cow chases the tiger. sent4: The cow is blue. sent5: The cow is rough. sent6: The squirrel chases the bald eagle. sent7: The squirrel eats the bald eagle. sent8: The squirrel eats the tiger. sent9: The squirrel likes the bald eagle. sent10: The squirrel likes the tiger. sent11: The tiger chases the squirrel. sent12: If something likes the squirrel then it eats the squirrel. sent13: If the bald eagle likes the squirrel and the squirrel is kind then the squirrel is rough. sent14: If something likes the squirrel and the squirrel likes the cow then it is blue. sent15: If something eats the cow then it is big. sent16: If something eats the cow and it is big then the cow chases the bald eagle. sent17: If something chases the squirrel then the squirrel likes the cow. sent18: If something chases the squirrel and the squirrel eats the tiger then it likes the squirrel. sent19: If something eats the squirrel then it eats the cow. sent20: If something is kind and it likes the cow then it is big.

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


$answer$ ; $proof$ ; $question$ = The tiger is not big. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle is round. sent3: The cow chases the tiger. sent4: The cow is blue. sent5: The cow is rough. sent6: The squirrel chases the bald eagle. sent7: The squirrel eats the bald eagle. sent8: The squirrel eats the tiger. sent9: The squirrel likes the bald eagle. sent10: The squirrel likes the tiger. sent11: The tiger chases the squirrel. sent12: If something likes the squirrel then it eats the squirrel. sent13: If the bald eagle likes the squirrel and the squirrel is kind then the squirrel is rough. sent14: If something likes the squirrel and the squirrel likes the cow then it is blue. sent15: If something eats the cow then it is big. sent16: If something eats the cow and it is big then the cow chases the bald eagle. sent17: If something chases the squirrel then the squirrel likes the cow. sent18: If something chases the squirrel and the squirrel eats the tiger then it likes the squirrel. sent19: If something eats the squirrel then it eats the cow. sent20: If something is kind and it likes the cow then it is big.

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


$answer$ ; $proof$ ; $question$ = The cow chases the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle is round. sent3: The cow chases the tiger. sent4: The cow is blue. sent5: The cow is rough. sent6: The squirrel chases the bald eagle. sent7: The squirrel eats the bald eagle. sent8: The squirrel eats the tiger. sent9: The squirrel likes the bald eagle. sent10: The squirrel likes the tiger. sent11: The tiger chases the squirrel. sent12: If something likes the squirrel then it eats the squirrel. sent13: If the bald eagle likes the squirrel and the squirrel is kind then the squirrel is rough. sent14: If something likes the squirrel and the squirrel likes the cow then it is blue. sent15: If something eats the cow then it is big. sent16: If something eats the cow and it is big then the cow chases the bald eagle. sent17: If something chases the squirrel then the squirrel likes the cow. sent18: If something chases the squirrel and the squirrel eats the tiger then it likes the squirrel. sent19: If something eats the squirrel then it eats the cow. sent20: If something is kind and it likes the cow then it is big.

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


$answer$ ; $proof$ ; $question$ = The cow does not chase the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle is round. sent3: The cow chases the tiger. sent4: The cow is blue. sent5: The cow is rough. sent6: The squirrel chases the bald eagle. sent7: The squirrel eats the bald eagle. sent8: The squirrel eats the tiger. sent9: The squirrel likes the bald eagle. sent10: The squirrel likes the tiger. sent11: The tiger chases the squirrel. sent12: If something likes the squirrel then it eats the squirrel. sent13: If the bald eagle likes the squirrel and the squirrel is kind then the squirrel is rough. sent14: If something likes the squirrel and the squirrel likes the cow then it is blue. sent15: If something eats the cow then it is big. sent16: If something eats the cow and it is big then the cow chases the bald eagle. sent17: If something chases the squirrel then the squirrel likes the cow. sent18: If something chases the squirrel and the squirrel eats the tiger then it likes the squirrel. sent19: If something eats the squirrel then it eats the cow. sent20: If something is kind and it likes the cow then it is big.

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


$answer$ ; $proof$ ; $question$ = Fiona is big. ; $context$ = sent1: Anne is quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Harry is not quiet. ; $context$ = sent1: Anne is quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Anne is quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

$answer$ = True ; $proof$ = # sent13%int1 sent7 ; 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 quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

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


$answer$ ; $proof$ ; $question$ = Fiona is young. ; $context$ = sent1: Anne is quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

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


$answer$ ; $proof$ ; $question$ = Harry is not green. ; $context$ = sent1: Anne is quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

$answer$ = False ; $proof$ = # sent8%int1 # sent13%int2 sent7 ; 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 quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

$answer$ = True ; $proof$ = # sent11%int1 & # sent8%int2 # sent13%int3 sent7 sent6 ; 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 quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

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


$answer$ ; $proof$ ; $question$ = Harry is big. ; $context$ = sent1: Anne is quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

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


$answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Anne is quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

$answer$ = False ; $proof$ = # sent12%int1 # sent11%int2 & # sent8%int3 # sent13%int4 sent7 sent6 ; 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 quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

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


$answer$ ; $proof$ ; $question$ = Harry is not kind. ; $context$ = sent1: Anne is quiet. sent2: Erin is quiet. sent3: Fiona is big. sent4: Fiona is green. sent5: Fiona is round. sent6: Harry is quiet. sent7: Harry is young. sent8: Round people are green. sent9: All kind people are young. sent10: If someone is big and quiet then they are young. sent11: If Harry is green and Harry is quiet then Harry is white. sent12: If someone is white then they are big. sent13: All young people are round. sent14: If Fiona is white and Fiona is young then Fiona is round. sent15: If someone is green and big then they are kind.

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


$answer$ ; $proof$ ; $question$ = Erin is white. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Erin is not green. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Harry is white. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

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


$answer$ ; $proof$ ; $question$ = Charlie is not white. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

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


$answer$ ; $proof$ ; $question$ = Harry is green. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

$answer$ = True ; $proof$ = # sent12%int1 # sent16%int2 sent10 ; 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: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

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


$answer$ ; $proof$ ; $question$ = Harry is rough. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

$answer$ = True ; $proof$ = # sent14%int1 # sent12%int2 # sent16%int3 sent10 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is not rough. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

$answer$ = False ; $proof$ = # sent14%int1 # sent12%int2 # sent16%int3 sent10 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Harry is young. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

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


$answer$ ; $proof$ ; $question$ = Harry is not young. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

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


$answer$ ; $proof$ ; $question$ = Harry is cold. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

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


$answer$ ; $proof$ ; $question$ = Harry is not cold. ; $context$ = sent1: Charlie is furry. sent2: Charlie is green. sent3: Charlie is rough. sent4: Charlie is smart. sent5: Erin is green. sent6: Erin is rough. sent7: Erin is white. sent8: Erin is young. sent9: Gary is young. sent10: Harry is furry. sent11: If Harry is young and Harry is white then Harry is cold. sent12: If something is white then it is green. sent13: All smart things are green. sent14: If Harry is green then Harry is rough. sent15: If something is rough then it is white. sent16: Furry things are white. sent17: All furry, white things are smart. sent18: Rough, furry things are young. sent19: If Gary is furry and Gary is not young then Gary is green.

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


$answer$ ; $proof$ ; $question$ = The cat needs the rabbit. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The cat does not need the rabbit. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

$answer$ = False ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The lion needs the bald eagle. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

$answer$ = True ; $proof$ = # sent11%int1 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 eat the rabbit. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The lion sees the rabbit. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

$answer$ = True ; $proof$ = # sent13%int1 # sent11%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 see the rabbit. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit is blue. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit is not blue. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit needs the bald eagle. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not need the bald eagle. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit sees the rabbit. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not see the rabbit. ; $context$ = sent1: The bald eagle eats the rabbit. sent2: The cat needs the bald eagle. sent3: The cat needs the rabbit. sent4: The lion eats the bald eagle. sent5: The lion eats the rabbit. sent6: The lion is blue. sent7: The rabbit eats the cat. sent8: If the lion sees the rabbit and the rabbit sees the bald eagle then the bald eagle needs the lion. sent9: If the rabbit does not eat the lion and the rabbit does not eat the bald eagle then the lion eats the cat. sent10: If something eats the cat then the cat eats the rabbit. sent11: If something is blue then it needs the bald eagle. sent12: If the cat needs the rabbit then the rabbit is nice. sent13: If something needs the bald eagle then it sees the rabbit. sent14: If something needs the bald eagle then the bald eagle is kind. sent15: If something eats the bald eagle and it sees the rabbit then the rabbit is blue.

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


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

$answer$ = True ; $proof$ = sent4


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

$answer$ = False ; $proof$ = sent8


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

$answer$ = True ; $proof$ = # sent19%int1 & # sent14%int2 # sent15%int3 # sent18%int4 # sent12%int5 naf2 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = False ; $proof$ = # sent19%int1 & # sent14%int2 # sent15%int3 # sent18%int4 # sent12%int5 naf2 naf1 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Dave is rough. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = Dave is not white. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

$answer$ = False ; $proof$ = sent5


$answer$ ; $proof$ ; $question$ = Anne is cold. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

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


$answer$ ; $proof$ ; $question$ = Harry is not cold. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

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


$answer$ ; $proof$ ; $question$ = Anne is red. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

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


$answer$ ; $proof$ ; $question$ = Anne is not red. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

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


$answer$ ; $proof$ ; $question$ = Harry is rough. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

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


$answer$ ; $proof$ ; $question$ = Harry is not rough. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

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


$answer$ ; $proof$ ; $question$ = Harry is blue. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

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


$answer$ ; $proof$ ; $question$ = Harry is not blue. ; $context$ = sent1: Anne is blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

$answer$ = False ; $proof$ = # sent18%int1 & # sent16%int2 # sent17%int3 & sent11 # sent20%int4 sent11 # sent17%int3 & sent11 # sent20%int4 sent11 ; 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 blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

$answer$ = True ; $proof$ = # sent12%int1 # sent18%int2 & # sent16%int3 # sent17%int4 & sent11 # sent20%int5 sent11 # sent17%int4 & sent11 # sent20%int5 sent11 ; 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 blue. sent2: Anne is kind. sent3: Dave is blue. sent4: Dave is rough. sent5: Dave is white. sent6: Gary is blue. sent7: Gary is kind. sent8: Gary is red. sent9: Gary is rough. sent10: Gary is white. sent11: Harry is kind. sent12: All blue things are white. sent13: Blue things are white. sent14: If Dave is cold then Dave is white. sent15: If Gary is kind and Gary is red then Gary is rough. sent16: Red things are rough. sent17: All kind, cold things are red. sent18: If something is rough and red then it is blue. sent19: If Dave is rough then Dave is blue. sent20: If something is kind then it is cold.

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


$answer$ ; $proof$ ; $question$ = Harry is blue. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

$answer$ = True ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Gary is not blue. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is not kind. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is smart. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

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


$answer$ ; $proof$ ; $question$ = Charlie is not smart. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

$answer$ = False ; $proof$ = # sent13%int1 # sent14%int2 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is furry. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

$answer$ = True ; $proof$ = # sent16%int1 # sent13%int2 # sent14%int3 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Charlie is not furry. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

$answer$ = False ; $proof$ = # sent16%int1 # sent13%int2 # sent14%int3 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


$answer$ ; $proof$ ; $question$ = Erin is blue. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

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


$answer$ ; $proof$ ; $question$ = Erin is not blue. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

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


$answer$ ; $proof$ ; $question$ = Erin is red. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

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


$answer$ ; $proof$ ; $question$ = Erin is not red. ; $context$ = sent1: Charlie is big. sent2: Charlie is nice. sent3: Charlie is red. sent4: Erin is nice. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is furry. sent8: Harry is blue. sent9: Harry is kind. sent10: Harry is nice. sent11: If someone is big and kind then they are red. sent12: If Charlie is nice then Charlie is big. sent13: Kind people are smart. sent14: If someone is nice then they are kind. sent15: If Gary is nice and Gary is not kind then Gary is smart. sent16: If someone is smart then they are furry. sent17: Kind, furry people are blue. sent18: If someone is nice and not smart then they are blue. sent19: If Erin is furry and Erin is blue then Erin is red.

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


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

$answer$ = True ; $proof$ = sent2


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

$answer$ = False ; $proof$ = sent5


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

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


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

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


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

$answer$ = True ; $proof$ = # sent15%int1 & sent2 # sent9%int2 sent2 ; 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: Erin is nice. sent2: Erin is red. sent3: Fiona is young. sent4: Gary is red. sent5: Gary is young. sent6: Harry is kind. sent7: Harry is nice. sent8: If Fiona is green and Fiona is round then Fiona is red. sent9: All red things are kind. sent10: Green things are round. sent11: If something is round and kind then it is green. sent12: All kind, smart things are green. sent13: If something is young and not nice then it is green. sent14: If Gary is smart then Gary is red. sent15: If something is red and kind then it is smart. sent16: If something is kind then it is red.

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


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

$answer$ = True ; $proof$ = # sent12%int1 & sent6 # sent15%int2 & # sent16%int3 sent6 sent6 ; 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: Erin is nice. sent2: Erin is red. sent3: Fiona is young. sent4: Gary is red. sent5: Gary is young. sent6: Harry is kind. sent7: Harry is nice. sent8: If Fiona is green and Fiona is round then Fiona is red. sent9: All red things are kind. sent10: Green things are round. sent11: If something is round and kind then it is green. sent12: All kind, smart things are green. sent13: If something is young and not nice then it is green. sent14: If Gary is smart then Gary is red. sent15: If something is red and kind then it is smart. sent16: If something is kind then it is red.

$answer$ = False ; $proof$ = # sent12%int1 & # sent9%int3 sent2 # sent15%int2 & sent2 # sent9%int3 sent2 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.


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

$answer$ = True ; $proof$ = # sent9%int1 # sent8%int2 & sent3 # sent10%int3 # sent13%int4 naf1 ; 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: Erin is nice. sent2: Erin is red. sent3: Fiona is young. sent4: Gary is red. sent5: Gary is young. sent6: Harry is kind. sent7: Harry is nice. sent8: If Fiona is green and Fiona is round then Fiona is red. sent9: All red things are kind. sent10: Green things are round. sent11: If something is round and kind then it is green. sent12: All kind, smart things are green. sent13: If something is young and not nice then it is green. sent14: If Gary is smart then Gary is red. sent15: If something is red and kind then it is smart. sent16: If something is kind then it is red.

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = The tiger likes the bald eagle. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

$answer$ = True ; $proof$ = sent14


$answer$ ; $proof$ ; $question$ = The bald eagle does not chase the rabbit. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The rabbit sees the tiger. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not see the tiger. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

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


$answer$ ; $proof$ ; $question$ = The bald eagle is rough. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

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


$answer$ ; $proof$ ; $question$ = The bald eagle is not rough. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

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


$answer$ ; $proof$ ; $question$ = The rabbit likes the bald eagle. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not like the bald eagle. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

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


$answer$ ; $proof$ ; $question$ = The rabbit is kind. ; $context$ = sent1: The bald eagle chases the rabbit. sent2: The bald eagle likes the rabbit. sent3: The bald eagle likes the tiger. sent4: The bald eagle sees the rabbit. sent5: The mouse chases the bald eagle. sent6: The mouse chases the tiger. sent7: The mouse likes the rabbit. sent8: The mouse sees the bald eagle. sent9: The rabbit chases the tiger. sent10: The rabbit is big. sent11: The rabbit is red. sent12: The rabbit likes the mouse. sent13: The rabbit likes the tiger. sent14: The tiger likes the bald eagle. sent15: If something likes the tiger then it sees the tiger. sent16: If something likes the rabbit and the rabbit is rough then the rabbit chases the bald eagle. sent17: If the tiger is rough and the tiger likes the mouse then the mouse likes the bald eagle. sent18: If something likes the bald eagle and the bald eagle is kind then the bald eagle sees the mouse. sent19: If the mouse sees the bald eagle then the mouse likes the rabbit. sent20: If something is kind and it likes the bald eagle then the bald eagle likes the tiger. sent21: If something likes the bald eagle then it is kind. sent22: If something sees the tiger then it is rough. sent23: If something is rough then it likes the bald eagle.

$answer$ = True ; $proof$ = # sent21%int1 # sent23%int2 # sent22%int3 # sent15%int4 sent13 ; with int1: Dave is cold. ; int1: Dave is big. ; int1: Dave is furry. ; int1: Dave is smart.