$answer$ ; $proof$ ; $question$ = The tiger sees the cow. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is cold. sent3: The cat is round. sent4: The cat needs the tiger. sent5: The cat sees the tiger. sent6: The cow chases the cat. sent7: The dog chases the cat. sent8: The dog sees the cow. sent9: The tiger is cold. sent10: The tiger sees the cat. sent11: If someone is cold then they are big. sent12: If someone chases the dog and they are big then they see the cow. sent13: If someone sees the dog then they are young. sent14: If someone sees the cat and they are big then the cat is cold. sent15: If someone sees the cow and they see the tiger then the tiger sees the dog. sent16: If someone needs the cat then the cat chases the tiger. sent17: All rough people are cold. sent18: If someone is big then they chase the dog.

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


$answer$ ; $proof$ ; $question$ = The tiger does not see the cow. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is cold. sent3: The cat is round. sent4: The cat needs the tiger. sent5: The cat sees the tiger. sent6: The cow chases the cat. sent7: The dog chases the cat. sent8: The dog sees the cow. sent9: The tiger is cold. sent10: The tiger sees the cat. sent11: If someone is cold then they are big. sent12: If someone chases the dog and they are big then they see the cow. sent13: If someone sees the dog then they are young. sent14: If someone sees the cat and they are big then the cat is cold. sent15: If someone sees the cow and they see the tiger then the tiger sees the dog. sent16: If someone needs the cat then the cat chases the tiger. sent17: All rough people are cold. sent18: If someone is big then they chase the dog.

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


$answer$ ; $proof$ ; $question$ = The tiger sees the dog. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is cold. sent3: The cat is round. sent4: The cat needs the tiger. sent5: The cat sees the tiger. sent6: The cow chases the cat. sent7: The dog chases the cat. sent8: The dog sees the cow. sent9: The tiger is cold. sent10: The tiger sees the cat. sent11: If someone is cold then they are big. sent12: If someone chases the dog and they are big then they see the cow. sent13: If someone sees the dog then they are young. sent14: If someone sees the cat and they are big then the cat is cold. sent15: If someone sees the cow and they see the tiger then the tiger sees the dog. sent16: If someone needs the cat then the cat chases the tiger. sent17: All rough people are cold. sent18: If someone is big then they chase the dog.

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


$answer$ ; $proof$ ; $question$ = The tiger does not see the dog. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is cold. sent3: The cat is round. sent4: The cat needs the tiger. sent5: The cat sees the tiger. sent6: The cow chases the cat. sent7: The dog chases the cat. sent8: The dog sees the cow. sent9: The tiger is cold. sent10: The tiger sees the cat. sent11: If someone is cold then they are big. sent12: If someone chases the dog and they are big then they see the cow. sent13: If someone sees the dog then they are young. sent14: If someone sees the cat and they are big then the cat is cold. sent15: If someone sees the cow and they see the tiger then the tiger sees the dog. sent16: If someone needs the cat then the cat chases the tiger. sent17: All rough people are cold. sent18: If someone is big then they chase the dog.

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


$answer$ ; $proof$ ; $question$ = The tiger is young. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is cold. sent3: The cat is round. sent4: The cat needs the tiger. sent5: The cat sees the tiger. sent6: The cow chases the cat. sent7: The dog chases the cat. sent8: The dog sees the cow. sent9: The tiger is cold. sent10: The tiger sees the cat. sent11: If someone is cold then they are big. sent12: If someone chases the dog and they are big then they see the cow. sent13: If someone sees the dog then they are young. sent14: If someone sees the cat and they are big then the cat is cold. sent15: If someone sees the cow and they see the tiger then the tiger sees the dog. sent16: If someone needs the cat then the cat chases the tiger. sent17: All rough people are cold. sent18: If someone is big then they chase the dog.

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


$answer$ ; $proof$ ; $question$ = The tiger is not young. ; $context$ = sent1: The cat chases the tiger. sent2: The cat is cold. sent3: The cat is round. sent4: The cat needs the tiger. sent5: The cat sees the tiger. sent6: The cow chases the cat. sent7: The dog chases the cat. sent8: The dog sees the cow. sent9: The tiger is cold. sent10: The tiger sees the cat. sent11: If someone is cold then they are big. sent12: If someone chases the dog and they are big then they see the cow. sent13: If someone sees the dog then they are young. sent14: If someone sees the cat and they are big then the cat is cold. sent15: If someone sees the cow and they see the tiger then the tiger sees the dog. sent16: If someone needs the cat then the cat chases the tiger. sent17: All rough people are cold. sent18: If someone is big then they chase the dog.

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


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

$answer$ = True ; $proof$ = sent2


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

$answer$ = False ; $proof$ = sent14


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

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


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

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


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

$answer$ = True ; $proof$ = # sent17%int1 # sent22%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 red. ; $context$ = sent1: Bob is green. sent2: Erin is blue. sent3: Erin is green. sent4: Erin is kind. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is blue. sent8: Fiona is furry. sent9: Fiona is kind. sent10: Fiona is smart. sent11: Harry is green. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is smart. sent15: All smart, blue things are rough. sent16: Red things are rough. sent17: If something is blue then it is red. sent18: All kind, green things are furry. sent19: If something is red then it is smart. sent20: If something is red and kind then it is smart. sent21: All smart things are kind. sent22: All green things are blue.

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


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

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


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

$answer$ = False ; $proof$ = # sent16%int1 # sent17%int2 # sent22%int3 sent1 ; 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 green. sent2: Erin is blue. sent3: Erin is green. sent4: Erin is kind. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is blue. sent8: Fiona is furry. sent9: Fiona is kind. sent10: Fiona is smart. sent11: Harry is green. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is smart. sent15: All smart, blue things are rough. sent16: Red things are rough. sent17: If something is blue then it is red. sent18: All kind, green things are furry. sent19: If something is red then it is smart. sent20: If something is red and kind then it is smart. sent21: All smart things are kind. sent22: All green things are blue.

$answer$ = True ; $proof$ = # sent21%int1 # sent19%int2 # sent17%int3 # sent22%int4 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 green. sent2: Erin is blue. sent3: Erin is green. sent4: Erin is kind. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is blue. sent8: Fiona is furry. sent9: Fiona is kind. sent10: Fiona is smart. sent11: Harry is green. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is smart. sent15: All smart, blue things are rough. sent16: Red things are rough. sent17: If something is blue then it is red. sent18: All kind, green things are furry. sent19: If something is red then it is smart. sent20: If something is red and kind then it is smart. sent21: All smart things are kind. sent22: All green things are blue.

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


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

$answer$ = True ; $proof$ = # sent18%int1 & # sent21%int2 # sent19%int3 # sent17%int4 # sent22%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 furry. ; $context$ = sent1: Bob is green. sent2: Erin is blue. sent3: Erin is green. sent4: Erin is kind. sent5: Erin is red. sent6: Erin is rough. sent7: Fiona is blue. sent8: Fiona is furry. sent9: Fiona is kind. sent10: Fiona is smart. sent11: Harry is green. sent12: Harry is kind. sent13: Harry is red. sent14: Harry is smart. sent15: All smart, blue things are rough. sent16: Red things are rough. sent17: If something is blue then it is red. sent18: All kind, green things are furry. sent19: If something is red then it is smart. sent20: If something is red and kind then it is smart. sent21: All smart things are kind. sent22: All green things are blue.

$answer$ = False ; $proof$ = # sent18%int1 & # sent21%int2 # sent19%int3 # sent17%int4 # sent22%int5 sent1 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 rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = Harry is not furry. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = Dave is red. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is not red. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is young. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = Dave is not green. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is red. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

$answer$ = True ; $proof$ = # sent15%int1 & sent1 # sent18%int2 & sent1 # sent13%int3 sent1 ; 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 rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is young. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is not young. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is furry. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = Bob is not furry. ; $context$ = sent1: Bob is rough. sent2: Dave is big. sent3: Dave is furry. sent4: Dave is rough. sent5: Dave is round. sent6: Fiona is green. sent7: Fiona is round. sent8: Harry is furry. sent9: Harry is green. sent10: Harry is rough. sent11: Harry is young. sent12: Furry, big people are round. sent13: If someone is rough then they are round. sent14: If Dave is red then Dave is green. sent15: If someone is rough and big then they are red. sent16: Red people are young. sent17: Red people are big. sent18: If someone is rough and round then they are big. sent19: If Dave is red then Dave is big. sent20: If someone is young then they are furry.

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


$answer$ ; $proof$ ; $question$ = The dog is green. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = The rabbit is not rough. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

$answer$ = False ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = The mouse is young. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not chase the squirrel. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

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


$answer$ ; $proof$ ; $question$ = The rabbit chases the mouse. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not chase the mouse. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

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


$answer$ ; $proof$ ; $question$ = The mouse is rough. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

$answer$ = True ; $proof$ = # sent13%int1 # sent11%int2 # sent12%int3 sent9 ; 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 eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

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


$answer$ ; $proof$ ; $question$ = The mouse chases the squirrel. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

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


$answer$ ; $proof$ ; $question$ = The mouse does not chase the squirrel. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

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


$answer$ ; $proof$ ; $question$ = The mouse chases the mouse. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

$answer$ = True ; $proof$ = # sent11%int1 # sent12%int2 # sent13%int3 # sent11%int4 # sent12%int5 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The mouse does not chase the mouse. ; $context$ = sent1: The dog eats the rabbit. sent2: The dog is green. sent3: The dog is young. sent4: The dog likes the squirrel. sent5: The mouse eats the dog. sent6: The rabbit eats the dog. sent7: The rabbit is green. sent8: The rabbit is nice. sent9: The rabbit is rough. sent10: The squirrel chases the rabbit. sent11: If something chases the squirrel then it chases the mouse. sent12: If something is rough then it chases the squirrel. sent13: If something chases the mouse then the mouse is rough. sent14: If the squirrel eats the mouse and the mouse eats the dog then the dog is green. sent15: If the rabbit eats the dog then the rabbit is green. sent16: If the rabbit does not chase the mouse then the rabbit likes the mouse. sent17: If something likes the mouse then it eats the rabbit. sent18: If something eats the mouse and it is not green then it eats the squirrel. sent19: If something eats the dog and it does not like the mouse then the mouse is young.

$answer$ = False ; $proof$ = # sent11%int1 # sent12%int2 # sent13%int3 # sent11%int4 # sent12%int5 sent9 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cat is young. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The lion is not red. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

$answer$ = False ; $proof$ = sent15


$answer$ ; $proof$ ; $question$ = The cow visits the lion. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The cat does not chase the cat. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The cat visits the cat. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The cat does not visit the cow. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The lion chases the cat. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The cat does not visit the lion. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

$answer$ = False ; $proof$ = # sent22%int1 # sent20%int2 & sent5 # sent25%int3 sent7 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The lion visits the cat. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The lion does not visit the cat. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The lion visits the lion. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The lion does not visit the lion. ; $context$ = sent1: The cat chases the dog. sent2: The cat is red. sent3: The cat is young. sent4: The cat needs the cow. sent5: The cat needs the dog. sent6: The cat needs the lion. sent7: The cat visits the dog. sent8: The cow is green. sent9: The cow is red. sent10: The cow needs the cat. sent11: The cow needs the lion. sent12: The dog chases the cat. sent13: The dog chases the cow. sent14: The dog needs the cat. sent15: The lion is red. sent16: The lion needs the dog. sent17: If something visits the cat and it visits the cow then the cat is young. sent18: If something visits the cow then it chases the cat. sent19: If something is cold then it visits the cow. sent20: If something is red and it chases the cat then it visits the cat. sent21: If something is red and it needs the dog then it is cold. sent22: If something visits the cat then it visits the lion. sent23: If the dog visits the lion then the dog visits the cat. sent24: If something chases the cow then the cow visits the lion. sent25: If something needs the dog and it visits the dog then it chases the cat.

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


$answer$ ; $proof$ ; $question$ = The bear likes the tiger. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

$answer$ = True ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The cat does not visit the tiger. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = The bear likes the cow. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The bear does not visit the bear. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The bear is round. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The bear is not round. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The tiger likes the cat. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The tiger does not like the cat. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The tiger visits the bear. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The tiger does not visit the bear. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The tiger is round. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = The tiger does not visit the cat. ; $context$ = sent1: The bear is green. sent2: The bear is red. sent3: The bear is rough. sent4: The bear likes the tiger. sent5: The bear visits the cow. sent6: The bear visits the tiger. sent7: The cat visits the tiger. sent8: The cow is red. sent9: The cow is young. sent10: The tiger likes the cow. sent11: The tiger needs the bear. sent12: The tiger visits the cow. sent13: If someone likes the tiger then they visit the bear. sent14: If the tiger visits the bear then the tiger visits the cat. sent15: If someone visits the bear then the bear likes the cat. sent16: If the tiger likes the cat then the tiger visits the bear. sent17: If the cow likes the cat then the cow is young. sent18: If someone needs the bear then the bear likes the cow. sent19: If someone is round and they like the tiger then the tiger likes the cat. sent20: If someone visits the bear then they are round.

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


$answer$ ; $proof$ ; $question$ = Erin is big. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = Bob is not big. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

$answer$ = False ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Bob is furry. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

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


$answer$ ; $proof$ ; $question$ = Anne is not blue. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

$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$ = Bob is white. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

$answer$ = True ; $proof$ = # sent16%int1 # sent15%int2 sent6 ; 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: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

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


$answer$ ; $proof$ ; $question$ = Anne is red. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

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


$answer$ ; $proof$ ; $question$ = Anne is not red. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

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


$answer$ ; $proof$ ; $question$ = Anne is furry. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

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


$answer$ ; $proof$ ; $question$ = Anne is not furry. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

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


$answer$ ; $proof$ ; $question$ = Anne is round. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

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


$answer$ ; $proof$ ; $question$ = Anne is not round. ; $context$ = sent1: Anne is big. sent2: Anne is cold. sent3: Bob is big. sent4: Bob is blue. sent5: Bob is cold. sent6: Bob is round. sent7: Charlie is furry. sent8: Charlie is round. sent9: Charlie is white. sent10: Erin is big. sent11: Erin is red. sent12: Erin is white. sent13: If someone is round then they are furry. sent14: White, blue people are red. sent15: All big, round people are red. sent16: Red people are white. sent17: If someone is red then they are furry. sent18: If Anne is blue then Anne is white. sent19: All furry people are round. sent20: All big people are blue. sent21: Red, blue people are big.

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


$answer$ ; $proof$ ; $question$ = Harry is rough. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

$answer$ = True ; $proof$ = sent9


$answer$ ; $proof$ ; $question$ = Bob is not young. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

$answer$ = False ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = Harry is cold. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

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


$answer$ ; $proof$ ; $question$ = Gary is not young. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

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


$answer$ ; $proof$ ; $question$ = Gary is smart. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

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


$answer$ ; $proof$ ; $question$ = Harry is not white. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

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


$answer$ ; $proof$ ; $question$ = Gary is white. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

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


$answer$ ; $proof$ ; $question$ = Gary is not white. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

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


$answer$ ; $proof$ ; $question$ = Gary is rough. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

$answer$ = True ; $proof$ = # sent12%int1 # sent16%int2 # sent15%int3 & sent7 # sent14%int4 sent6 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Gary is not rough. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

$answer$ = False ; $proof$ = # sent12%int1 # sent16%int2 # sent15%int3 & sent7 # sent14%int4 sent6 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Gary is cold. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

$answer$ = True ; $proof$ = # sent17%int1 & sent6 # sent12%int2 # sent16%int3 # sent15%int4 & sent7 # sent14%int5 sent6 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = Gary is not cold. ; $context$ = sent1: Bob is cold. sent2: Bob is white. sent3: Bob is young. sent4: Erin is white. sent5: Erin is young. sent6: Gary is kind. sent7: Gary is round. sent8: Harry is kind. sent9: Harry is rough. sent10: Harry is round. sent11: Harry is young. sent12: If someone is white then they are rough. sent13: If someone is cold and rough then they are young. sent14: If someone is round and kind then they are young. sent15: If someone is kind and young then they are smart. sent16: If someone is smart then they are white. sent17: If someone is young and rough then they are cold.

$answer$ = False ; $proof$ = # sent17%int1 & sent6 # sent12%int2 # sent16%int3 # sent15%int4 & sent7 # sent14%int5 sent6 ; with int1: Harry is furry. ; int1: Harry is big. ; int1: Harry is smart. ; int1: Harry is quiet.


$answer$ ; $proof$ ; $question$ = The cow is cold. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = The lion is not young. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

$answer$ = False ; $proof$ = sent6


$answer$ ; $proof$ ; $question$ = The cow likes the lion. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cow does not like the lion. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cow sees the cow. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The cow does not see the cow. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The lion is blue. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The lion is not blue. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

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


$answer$ ; $proof$ ; $question$ = The lion likes the lion. ; $context$ = sent1: The cow is blue. sent2: The cow is cold. sent3: The lion chases the rabbit. sent4: The lion is cold. sent5: The lion is round. sent6: The lion is young. sent7: The lion likes the rabbit. sent8: The mouse likes the cow. sent9: The mouse likes the rabbit. sent10: The mouse sees the lion. sent11: The rabbit chases the cow. sent12: If something sees the cow and it does not chase the lion then the lion is blue. sent13: If something likes the lion and the lion does not like the mouse then it sees the cow. sent14: If something is blue then it likes the lion. sent15: If the cow chases the mouse and the mouse likes the rabbit then the mouse is nice. sent16: If something sees the lion and it is round then it likes the cow. sent17: If something likes the cow and it is not cold then the cow is blue.

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