$answer$ ; $proof$ ; $question$ = Bob is round. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Bob is not round. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Harry is green. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Harry is not green. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Harry is nice. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Harry is not nice. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Bob is kind. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Bob is not kind. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Bob is quiet. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Bob is not quiet. ; $context$ = sent1: Bob is young. sent2: Erin is furry. sent3: Erin is nice. sent4: Erin is quiet. sent5: Erin is round. sent6: Gary is furry. sent7: Gary is green. sent8: Gary is kind. sent9: Gary is nice. sent10: Gary is quiet. sent11: Gary is round. sent12: Gary is young. sent13: Harry is quiet. sent14: Harry is round. sent15: If Gary is furry then Gary is green. sent16: If someone is round and young then they are green. sent17: Kind people are quiet. sent18: All round people are young. sent19: All round, nice people are kind. sent20: All young people are round. sent21: Green people are nice.

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


$answer$ ; $proof$ ; $question$ = Charlie is cold. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

$answer$ = True ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Fiona is not red. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Erin is kind. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

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


$answer$ ; $proof$ ; $question$ = Erin is not kind. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

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


$answer$ ; $proof$ ; $question$ = Erin is smart. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

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


$answer$ ; $proof$ ; $question$ = Erin is not smart. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

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


$answer$ ; $proof$ ; $question$ = Erin is red. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

$answer$ = True ; $proof$ = # sent17%int1 & # sent18%int3 sent3 # sent16%int2 & sent4 # sent18%int3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is not red. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

$answer$ = False ; $proof$ = # sent17%int1 & # sent18%int3 sent3 # sent16%int2 & sent4 # sent18%int3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Erin is cold. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

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


$answer$ ; $proof$ ; $question$ = Erin is not cold. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

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


$answer$ ; $proof$ ; $question$ = Erin is round. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

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


$answer$ ; $proof$ ; $question$ = Erin is not round. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Erin is blue. sent4: Erin is furry. sent5: Fiona is cold. sent6: Fiona is furry. sent7: Fiona is kind. sent8: Fiona is red. sent9: Fiona is smart. sent10: Harry is cold. sent11: Harry is furry. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is round. sent15: If something is round and blue then it is smart. sent16: Furry, kind things are smart. sent17: If something is kind and smart then it is red. sent18: All blue things are kind. sent19: All red things are cold. sent20: Cold, furry things are round. sent21: If something is red and blue then it is furry.

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


$answer$ ; $proof$ ; $question$ = The dog is round. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = The squirrel does not see the tiger. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = False ; $proof$ = sent13


$answer$ ; $proof$ ; $question$ = The dog is rough. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

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


$answer$ ; $proof$ ; $question$ = The bald eagle is not rough. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

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


$answer$ ; $proof$ ; $question$ = The bald eagle sees the squirrel. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = True ; $proof$ = # sent20%int1 & # sent19%int2 sent4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bald eagle does not see the squirrel. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = False ; $proof$ = # sent20%int1 & # sent19%int2 sent4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel eats the bald eagle. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = True ; $proof$ = # sent18%int1 & sent1 # sent20%int2 & # sent19%int3 sent4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel does not eat the bald eagle. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = False ; $proof$ = # sent18%int1 & sent1 # sent20%int2 & # sent19%int3 sent4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel chases the tiger. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = True ; $proof$ = # sent17%int1 & sent12 # sent18%int2 & sent1 # sent20%int3 & # sent19%int4 sent4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel does not chase the tiger. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = False ; $proof$ = # sent17%int1 & sent12 # sent18%int2 & sent1 # sent20%int3 & # sent19%int4 sent4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel sees the squirrel. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = True ; $proof$ = # sent20%int1 & # sent19%int6 sent12 # sent17%int2 & sent12 # sent18%int3 & sent1 # sent20%int4 & # sent19%int5 sent4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The squirrel does not see the squirrel. ; $context$ = sent1: The bald eagle chases the squirrel. sent2: The bald eagle chases the tiger. sent3: The bald eagle eats the tiger. sent4: The bald eagle is red. sent5: The bald eagle sees the tiger. sent6: The dog chases the squirrel. sent7: The dog is big. sent8: The dog is red. sent9: The dog is round. sent10: The squirrel chases the bald eagle. sent11: The squirrel is big. sent12: The squirrel is red. sent13: The squirrel sees the tiger. sent14: The tiger eats the dog. sent15: The tiger is big. sent16: The tiger is rough. sent17: If the squirrel is red and the squirrel eats the bald eagle then the squirrel chases the tiger. sent18: If someone chases the squirrel and they see the squirrel then the squirrel eats the bald eagle. sent19: If someone is red then they are rough. sent20: If someone is rough and they chase the tiger then they see the squirrel. sent21: If the dog is green and the dog chases the bald eagle then the bald eagle is round. sent22: If someone is big and they chase the dog then the dog sees the tiger.

$answer$ = False ; $proof$ = # sent20%int1 & # sent19%int6 sent12 # sent17%int2 & sent12 # sent18%int3 & sent1 # sent20%int4 & # sent19%int5 sent4 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Dave is quiet. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

$answer$ = True ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Dave is not quiet. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Bob is quiet. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Bob is not quiet. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Dave is nice. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Dave is not rough. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Harry is blue. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Harry is not blue. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Harry is round. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Harry is not round. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Harry is quiet. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


$answer$ ; $proof$ ; $question$ = Harry is not quiet. ; $context$ = sent1: Bob is blue. sent2: Bob is cold. sent3: Bob is kind. sent4: Bob is nice. sent5: Bob is rough. sent6: Bob is round. sent7: Dave is blue. sent8: Dave is quiet. sent9: Fiona is nice. sent10: Fiona is round. sent11: Harry is cold. sent12: Harry is nice. sent13: Rough, round things are kind. sent14: If something is quiet then it is kind. sent15: If something is cold then it is kind. sent16: If something is kind then it is rough. sent17: Cold, blue things are nice. sent18: All blue things are cold. sent19: Cold, rough things are blue. sent20: Kind, round things are quiet. sent21: If something is blue then it is round.

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


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

$answer$ = True ; $proof$ = sent10


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

$answer$ = False ; $proof$ = sent12


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

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


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

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


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

$answer$ = True ; $proof$ = # sent19%int1 & # sent22%int2 naf1 sent12 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


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

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


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

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


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

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


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

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


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

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


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

$answer$ = True ; $proof$ = # sent23%int1 & sent13 # sent20%int2 # sent16%int3 # sent19%int4 & # sent22%int5 naf1 sent12 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


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

$answer$ = False ; $proof$ = # sent23%int1 & sent13 # sent20%int2 # sent16%int3 # sent19%int4 & # sent22%int5 naf1 sent12 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow sees the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

$answer$ = True ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = The bald eagle does not chase the cow. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = The cow is cold. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

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


$answer$ ; $proof$ ; $question$ = The cow is not cold. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

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


$answer$ ; $proof$ ; $question$ = The bald eagle chases the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

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


$answer$ ; $proof$ ; $question$ = The bald eagle does not chase the bald eagle. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

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


$answer$ ; $proof$ ; $question$ = The bald eagle sees the bear. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

$answer$ = True ; $proof$ = # sent19%int1 & # sent18%int2 # sent24%int3 sent3 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bald eagle does not see the bear. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

$answer$ = False ; $proof$ = # sent19%int1 & # sent18%int2 # sent24%int3 sent3 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear sees the cow. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

$answer$ = True ; $proof$ = # sent20%int1 & sent4 # sent19%int2 & # sent18%int3 # sent24%int4 sent10 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The bear does not see the cow. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

$answer$ = False ; $proof$ = # sent20%int1 & sent4 # sent19%int2 & # sent18%int3 # sent24%int4 sent10 sent2 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The lion likes the cow. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

$answer$ = True ; $proof$ = # sent17%int1 & # sent20%int2 & sent4 # sent19%int3 & # sent18%int4 # sent24%int5 sent10 sent2 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The lion does not like the cow. ; $context$ = sent1: The bald eagle chases the cow. sent2: The bald eagle chases the lion. sent3: The bald eagle likes the bear. sent4: The bald eagle sees the cow. sent5: The bear is rough. sent6: The bear likes the bald eagle. sent7: The bear sees the lion. sent8: The cow chases the bear. sent9: The cow is blue. sent10: The cow likes the bear. sent11: The cow sees the bald eagle. sent12: The cow sees the lion. sent13: The lion chases the bear. sent14: The lion chases the cow. sent15: The lion is nice. sent16: The lion is rough. sent17: If something sees the cow and it sees the lion then the lion likes the cow. sent18: If something is cold then it chases the bald eagle. sent19: If something chases the bald eagle and the bald eagle chases the lion then it sees the bear. sent20: If something sees the cow and the cow sees the bear then the bear sees the cow. sent21: If something is round and it chases the cow then the cow is blue. sent22: If something sees the bald eagle and it is rough then the bald eagle likes the bear. sent23: If the bald eagle likes the lion then the bald eagle sees the cow. sent24: If something likes the bear then it is cold. sent25: If something sees the bald eagle and it sees the cow then the bald eagle likes the lion.

$answer$ = False ; $proof$ = # sent17%int1 & # sent20%int2 & sent4 # sent19%int3 & # sent18%int4 # sent24%int5 sent10 sent2 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


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

$answer$ = True ; $proof$ = sent6


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

$answer$ = False ; $proof$ = sent12


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = The squirrel is big. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The squirrel does not see the lion. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

$answer$ = False ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = The mouse is big. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

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


$answer$ ; $proof$ ; $question$ = The lion does not see the mouse. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

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


$answer$ ; $proof$ ; $question$ = The squirrel is rough. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

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


$answer$ ; $proof$ ; $question$ = The lion is not cold. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

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


$answer$ ; $proof$ ; $question$ = The lion is rough. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

$answer$ = True ; $proof$ = # sent18%int1 # sent17%int2 # sent12%int3 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The lion is not rough. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

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


$answer$ ; $proof$ ; $question$ = The lion sees the lion. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

$answer$ = True ; $proof$ = # sent11%int1 # sent18%int2 # sent17%int3 # sent12%int4 sent3 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The mouse is not rough. ; $context$ = sent1: The dog sees the lion. sent2: The lion eats the mouse. sent3: The lion is big. sent4: The mouse eats the lion. sent5: The mouse sees the squirrel. sent6: The squirrel eats the lion. sent7: The squirrel is big. sent8: The squirrel likes the mouse. sent9: The squirrel sees the lion. sent10: The squirrel sees the mouse. sent11: If someone is rough then they see the lion. sent12: If someone is big then they see the mouse. sent13: If someone is young then they like the squirrel. sent14: If someone sees the lion and they like the dog then they eat the mouse. sent15: If someone sees the mouse then the mouse is big. sent16: If someone likes the mouse then the mouse sees the dog. sent17: If someone sees the mouse then they are cold. sent18: Cold people are rough. sent19: If someone eats the squirrel and they do not see the dog then the dog eats the mouse.

$answer$ = False ; $proof$ = # sent18%int1 # sent17%int2 # sent12%int3 # sent15%int4 sent10 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.