$answer$ ; $proof$ ; $question$ = The cow does not need the mouse. ; $context$ = sent1: The bear is kind. sent2: The bear likes the cat. sent3: The cat likes the bear. sent4: The cat needs the cow. sent5: The cat sees the bear. sent6: The cat sees the cow. sent7: The cow is rough. sent8: The mouse likes the cat. sent9: The mouse needs the bear. sent10: The mouse sees the cow. sent11: If someone sees the bear then they need the mouse. sent12: If someone needs the bear and the bear needs the cow then the bear needs the cat. sent13: If someone likes the cow then the cow sees the bear. sent14: If the bear is red and the bear needs the cow then the cow needs the bear. sent15: If someone needs the mouse then they are big. sent16: If someone sees the bear and they are big then they like the cow. sent17: If the cat needs the mouse then the mouse needs the cow. sent18: If someone is kind then they see the cat.

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


$answer$ ; $proof$ ; $question$ = The bald eagle eats the cat. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = The cat does not like the rabbit. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

$answer$ = False ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = The rabbit sees the cat. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit does not see the cat. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The cat eats the rabbit. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The cat does not eat the rabbit. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

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


$answer$ ; $proof$ ; $question$ = The rabbit likes the cat. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

$answer$ = True ; $proof$ = # sent14%int1 & sent4 # sent17%int2 & # sent15%int3 sent3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit does not like the cat. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

$answer$ = False ; $proof$ = # sent14%int1 & sent4 # sent17%int2 & # sent15%int3 sent3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cat is round. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

$answer$ = True ; $proof$ = # sent20%int1 # sent14%int2 & sent4 # sent17%int3 & # sent15%int4 sent3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The cat is not round. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

$answer$ = False ; $proof$ = # sent20%int1 # sent14%int2 & sent4 # sent17%int3 & # sent15%int4 sent3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit is blue. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

$answer$ = True ; $proof$ = # sent21%int1 & sent9 # sent20%int2 # sent14%int3 & sent4 # sent17%int4 & # sent15%int5 sent3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The rabbit is not blue. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.

$answer$ = False ; $proof$ = # sent21%int1 & sent9 # sent20%int2 # sent14%int3 & sent4 # sent17%int4 & # sent15%int5 sent3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Gary is cold. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

$answer$ = True ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Gary is not cold. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

$answer$ = False ; $proof$ = sent7


$answer$ ; $proof$ ; $question$ = Bob is cold. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Harry is smart. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Harry is not smart. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Bob is blue. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Bob is not blue. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Bob is kind. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Bob is not kind. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Bob is smart. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = Bob is not smart. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.

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


$answer$ ; $proof$ ; $question$ = The bald eagle needs the mouse. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The squirrel does not need the bald eagle. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

$answer$ = False ; $proof$ = sent11


$answer$ ; $proof$ ; $question$ = The squirrel needs the tiger. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel does not need the tiger. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel likes the bald eagle. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

$answer$ = True ; $proof$ = # sent18%int1 & # sent20%int2 sent10 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The squirrel does not like the bald eagle. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

$answer$ = False ; $proof$ = # sent18%int1 & # sent20%int2 sent10 sent12 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The squirrel is rough. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel is not rough. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel sees the mouse. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel does not see the mouse. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel needs the squirrel. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

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


$answer$ ; $proof$ ; $question$ = The squirrel does not need the squirrel. ; $context$ = sent1: The bald eagle is nice. sent2: The bald eagle is rough. sent3: The bald eagle needs the mouse. sent4: The bald eagle needs the squirrel. sent5: The mouse is kind. sent6: The mouse is young. sent7: The mouse likes the tiger. sent8: The mouse sees the bald eagle. sent9: The squirrel is kind. sent10: The squirrel is nice. sent11: The squirrel needs the bald eagle. sent12: The tiger is kind. sent13: If someone likes the bald eagle then they are rough. sent14: If someone is blue and they see the tiger then the tiger needs the squirrel. sent15: If the mouse needs the bald eagle and the bald eagle likes the mouse then the bald eagle is rough. sent16: If the mouse needs the squirrel then the squirrel likes the mouse. sent17: If someone is rough then they see the mouse. sent18: If someone needs the tiger and the tiger is kind then they like the bald eagle. sent19: If someone sees the mouse then they need the squirrel. sent20: If someone needs the squirrel and the squirrel is nice then the squirrel needs the tiger.

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


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

$answer$ = True ; $proof$ = sent1


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

$answer$ = False ; $proof$ = sent4


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = Anne is smart. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = Anne is not nice. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

$answer$ = False ; $proof$ = sent1


$answer$ ; $proof$ ; $question$ = Gary is rough. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = Bob is not big. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = Gary is cold. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = Bob is not young. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = Bob is cold. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = Bob is not nice. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

$answer$ = False ; $proof$ = # sent14%int1 & # sent10%int2 # sent11%int3 sent3 # sent11%int3 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = Bob is smart. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = Bob is not smart. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = Bob is rough. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = Bob is not rough. ; $context$ = sent1: Anne is nice. sent2: Anne is smart. sent3: Bob is round. sent4: Gary is big. sent5: Gary is smart. sent6: Harry is rough. sent7: Harry is smart. sent8: All young people are cold. sent9: All smart, big people are rough. sent10: If someone is big then they are young. sent11: If someone is round then they are big. sent12: All cold, round people are big. sent13: If someone is nice and round then they are smart. sent14: If Bob is young and Bob is big then Bob is nice. sent15: If Bob is nice and Bob is cold then Bob is young.

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


$answer$ ; $proof$ ; $question$ = The bald eagle likes the tiger. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

$answer$ = True ; $proof$ = sent3


$answer$ ; $proof$ ; $question$ = The squirrel is not young. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

$answer$ = False ; $proof$ = sent8


$answer$ ; $proof$ ; $question$ = The bear is young. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


$answer$ ; $proof$ ; $question$ = The bald eagle does not need the squirrel. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


$answer$ ; $proof$ ; $question$ = The tiger is round. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


$answer$ ; $proof$ ; $question$ = The bear does not need the squirrel. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


$answer$ ; $proof$ ; $question$ = The bear needs the tiger. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


$answer$ ; $proof$ ; $question$ = The tiger is not green. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

$answer$ = False ; $proof$ = # sent23%int1 # sent25%int2 & sent15 # sent23%int3 sent5 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The tiger needs the squirrel. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


$answer$ ; $proof$ ; $question$ = The tiger does not need the squirrel. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


$answer$ ; $proof$ ; $question$ = The tiger needs the tiger. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


$answer$ ; $proof$ ; $question$ = The tiger does not need the tiger. ; $context$ = sent1: The bald eagle is green. sent2: The bald eagle likes the squirrel. sent3: The bald eagle likes the tiger. sent4: The bear is nice. sent5: The bear is round. sent6: The bear likes the bald eagle. sent7: The bear likes the tiger. sent8: The squirrel is young. sent9: The squirrel likes the bear. sent10: The squirrel needs the bald eagle. sent11: The squirrel sees the tiger. sent12: The tiger is cold. sent13: The tiger likes the bear. sent14: The tiger likes the squirrel. sent15: The tiger needs the bear. sent16: The tiger sees the bear. sent17: If something needs the bald eagle and the bald eagle likes the bear then the bald eagle needs the tiger. sent18: If something needs the squirrel then it needs the tiger. sent19: If something is green then it needs the squirrel. sent20: If something needs the bear and it needs the bald eagle then the bear likes the bald eagle. sent21: If something likes the bald eagle then it is young. sent22: If something likes the bear and it sees the bald eagle then it needs the bear. sent23: Round things are green. sent24: If something sees the squirrel and the squirrel likes the bear then it is cold. sent25: If something needs the bear and the bear is green then it is round.

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


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

$answer$ = True ; $proof$ = sent2


$answer$ ; $proof$ ; $question$ = The lion does not eat the rabbit. ; $context$ = sent1: The cow chases the lion. sent2: The cow chases the squirrel. sent3: The cow eats the rabbit. sent4: The cow is nice. sent5: The cow likes the rabbit. sent6: The cow likes the squirrel. sent7: The lion chases the rabbit. sent8: The lion eats the rabbit. sent9: The lion likes the squirrel. sent10: The rabbit chases the squirrel. sent11: The rabbit is blue. sent12: The rabbit is nice. sent13: The rabbit likes the lion. sent14: The squirrel eats the cow. sent15: The squirrel eats the lion. sent16: The squirrel is rough. sent17: If something is nice and it eats the cow then it is kind. sent18: If something chases the squirrel then it eats the lion. sent19: If something likes the lion and it likes the rabbit then the lion chases the squirrel. sent20: If something chases the squirrel and the squirrel is nice then the squirrel is kind. sent21: If something likes the squirrel and the squirrel likes the cow then the cow likes the squirrel. sent22: If something eats the lion then it likes the rabbit.

$answer$ = False ; $proof$ = sent8


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

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


$answer$ ; $proof$ ; $question$ = The cow does not eat the lion. ; $context$ = sent1: The cow chases the lion. sent2: The cow chases the squirrel. sent3: The cow eats the rabbit. sent4: The cow is nice. sent5: The cow likes the rabbit. sent6: The cow likes the squirrel. sent7: The lion chases the rabbit. sent8: The lion eats the rabbit. sent9: The lion likes the squirrel. sent10: The rabbit chases the squirrel. sent11: The rabbit is blue. sent12: The rabbit is nice. sent13: The rabbit likes the lion. sent14: The squirrel eats the cow. sent15: The squirrel eats the lion. sent16: The squirrel is rough. sent17: If something is nice and it eats the cow then it is kind. sent18: If something chases the squirrel then it eats the lion. sent19: If something likes the lion and it likes the rabbit then the lion chases the squirrel. sent20: If something chases the squirrel and the squirrel is nice then the squirrel is kind. sent21: If something likes the squirrel and the squirrel likes the cow then the cow likes the squirrel. sent22: If something eats the lion then it likes the rabbit.

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


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

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


$answer$ ; $proof$ ; $question$ = The rabbit does not like the rabbit. ; $context$ = sent1: The cow chases the lion. sent2: The cow chases the squirrel. sent3: The cow eats the rabbit. sent4: The cow is nice. sent5: The cow likes the rabbit. sent6: The cow likes the squirrel. sent7: The lion chases the rabbit. sent8: The lion eats the rabbit. sent9: The lion likes the squirrel. sent10: The rabbit chases the squirrel. sent11: The rabbit is blue. sent12: The rabbit is nice. sent13: The rabbit likes the lion. sent14: The squirrel eats the cow. sent15: The squirrel eats the lion. sent16: The squirrel is rough. sent17: If something is nice and it eats the cow then it is kind. sent18: If something chases the squirrel then it eats the lion. sent19: If something likes the lion and it likes the rabbit then the lion chases the squirrel. sent20: If something chases the squirrel and the squirrel is nice then the squirrel is kind. sent21: If something likes the squirrel and the squirrel likes the cow then the cow likes the squirrel. sent22: If something eats the lion then it likes the rabbit.

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


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

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


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

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


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

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


$answer$ ; $proof$ ; $question$ = The lion does not eat the lion. ; $context$ = sent1: The cow chases the lion. sent2: The cow chases the squirrel. sent3: The cow eats the rabbit. sent4: The cow is nice. sent5: The cow likes the rabbit. sent6: The cow likes the squirrel. sent7: The lion chases the rabbit. sent8: The lion eats the rabbit. sent9: The lion likes the squirrel. sent10: The rabbit chases the squirrel. sent11: The rabbit is blue. sent12: The rabbit is nice. sent13: The rabbit likes the lion. sent14: The squirrel eats the cow. sent15: The squirrel eats the lion. sent16: The squirrel is rough. sent17: If something is nice and it eats the cow then it is kind. sent18: If something chases the squirrel then it eats the lion. sent19: If something likes the lion and it likes the rabbit then the lion chases the squirrel. sent20: If something chases the squirrel and the squirrel is nice then the squirrel is kind. sent21: If something likes the squirrel and the squirrel likes the cow then the cow likes the squirrel. sent22: If something eats the lion then it likes the rabbit.

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


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

$answer$ = True ; $proof$ = # sent22%int1 # sent18%int2 # sent19%int3 & sent13 # sent22%int4 # sent18%int5 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion does not like the rabbit. ; $context$ = sent1: The cow chases the lion. sent2: The cow chases the squirrel. sent3: The cow eats the rabbit. sent4: The cow is nice. sent5: The cow likes the rabbit. sent6: The cow likes the squirrel. sent7: The lion chases the rabbit. sent8: The lion eats the rabbit. sent9: The lion likes the squirrel. sent10: The rabbit chases the squirrel. sent11: The rabbit is blue. sent12: The rabbit is nice. sent13: The rabbit likes the lion. sent14: The squirrel eats the cow. sent15: The squirrel eats the lion. sent16: The squirrel is rough. sent17: If something is nice and it eats the cow then it is kind. sent18: If something chases the squirrel then it eats the lion. sent19: If something likes the lion and it likes the rabbit then the lion chases the squirrel. sent20: If something chases the squirrel and the squirrel is nice then the squirrel is kind. sent21: If something likes the squirrel and the squirrel likes the cow then the cow likes the squirrel. sent22: If something eats the lion then it likes the rabbit.

$answer$ = False ; $proof$ = # sent22%int1 # sent18%int2 # sent19%int3 & sent13 # sent22%int4 # sent18%int5 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.


$answer$ ; $proof$ ; $question$ = The lion is young. ; $context$ = sent1: The cat needs the lion. sent2: The cat visits the cow. sent3: The cat visits the dog. sent4: The cow needs the lion. sent5: The cow visits the dog. sent6: The dog chases the cow. sent7: The dog needs the cow. sent8: The dog visits the lion. sent9: The lion chases the cat. sent10: The lion is young. sent11: The lion needs the cow. sent12: If someone chases the cow and the cow does not chase the lion then the lion visits the cat. sent13: If someone is nice then they need the cow. sent14: If someone is rough and not blue then they visit the dog. sent15: If someone needs the cat and they are nice then they visit the lion. sent16: If someone visits the cat then the cat is nice. sent17: If someone chases the cow then they need the cat. sent18: If someone chases the lion and the lion visits the cat then the cat visits the lion. sent19: If someone is nice then they chase the cow.

$answer$ = True ; $proof$ = sent10


$answer$ ; $proof$ ; $question$ = The cow does not need the lion. ; $context$ = sent1: The cat needs the lion. sent2: The cat visits the cow. sent3: The cat visits the dog. sent4: The cow needs the lion. sent5: The cow visits the dog. sent6: The dog chases the cow. sent7: The dog needs the cow. sent8: The dog visits the lion. sent9: The lion chases the cat. sent10: The lion is young. sent11: The lion needs the cow. sent12: If someone chases the cow and the cow does not chase the lion then the lion visits the cat. sent13: If someone is nice then they need the cow. sent14: If someone is rough and not blue then they visit the dog. sent15: If someone needs the cat and they are nice then they visit the lion. sent16: If someone visits the cat then the cat is nice. sent17: If someone chases the cow then they need the cat. sent18: If someone chases the lion and the lion visits the cat then the cat visits the lion. sent19: If someone is nice then they chase the cow.

$answer$ = False ; $proof$ = sent4


$answer$ ; $proof$ ; $question$ = The dog needs the cat. ; $context$ = sent1: The cat needs the lion. sent2: The cat visits the cow. sent3: The cat visits the dog. sent4: The cow needs the lion. sent5: The cow visits the dog. sent6: The dog chases the cow. sent7: The dog needs the cow. sent8: The dog visits the lion. sent9: The lion chases the cat. sent10: The lion is young. sent11: The lion needs the cow. sent12: If someone chases the cow and the cow does not chase the lion then the lion visits the cat. sent13: If someone is nice then they need the cow. sent14: If someone is rough and not blue then they visit the dog. sent15: If someone needs the cat and they are nice then they visit the lion. sent16: If someone visits the cat then the cat is nice. sent17: If someone chases the cow then they need the cat. sent18: If someone chases the lion and the lion visits the cat then the cat visits the lion. sent19: If someone is nice then they chase the cow.

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


$answer$ ; $proof$ ; $question$ = The lion does not visit the cat. ; $context$ = sent1: The cat needs the lion. sent2: The cat visits the cow. sent3: The cat visits the dog. sent4: The cow needs the lion. sent5: The cow visits the dog. sent6: The dog chases the cow. sent7: The dog needs the cow. sent8: The dog visits the lion. sent9: The lion chases the cat. sent10: The lion is young. sent11: The lion needs the cow. sent12: If someone chases the cow and the cow does not chase the lion then the lion visits the cat. sent13: If someone is nice then they need the cow. sent14: If someone is rough and not blue then they visit the dog. sent15: If someone needs the cat and they are nice then they visit the lion. sent16: If someone visits the cat then the cat is nice. sent17: If someone chases the cow then they need the cat. sent18: If someone chases the lion and the lion visits the cat then the cat visits the lion. sent19: If someone is nice then they chase the cow.

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


$answer$ ; $proof$ ; $question$ = The cat is nice. ; $context$ = sent1: The cat needs the lion. sent2: The cat visits the cow. sent3: The cat visits the dog. sent4: The cow needs the lion. sent5: The cow visits the dog. sent6: The dog chases the cow. sent7: The dog needs the cow. sent8: The dog visits the lion. sent9: The lion chases the cat. sent10: The lion is young. sent11: The lion needs the cow. sent12: If someone chases the cow and the cow does not chase the lion then the lion visits the cat. sent13: If someone is nice then they need the cow. sent14: If someone is rough and not blue then they visit the dog. sent15: If someone needs the cat and they are nice then they visit the lion. sent16: If someone visits the cat then the cat is nice. sent17: If someone chases the cow then they need the cat. sent18: If someone chases the lion and the lion visits the cat then the cat visits the lion. sent19: If someone is nice then they chase the cow.

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