$answer$ ; $proof$ ; $question$ = Harry is not rough. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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


$answer$ ; $proof$ ; $question$ = Harry is blue. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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


$answer$ ; $proof$ ; $question$ = Harry is not blue. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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


$answer$ ; $proof$ ; $question$ = Fiona is kind. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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


$answer$ ; $proof$ ; $question$ = Fiona is not kind. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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


$answer$ ; $proof$ ; $question$ = Anne is red. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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


$answer$ ; $proof$ ; $question$ = Anne is not red. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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


$answer$ ; $proof$ ; $question$ = Anne is blue. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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


$answer$ ; $proof$ ; $question$ = Anne is not blue. ; $context$ = sent1: Anne is nice. sent2: Charlie is blue. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is kind. sent6: Charlie is nice. sent7: Charlie is red. sent8: Fiona is furry. sent9: Fiona is green. sent10: Harry is furry. sent11: Harry is kind. sent12: Harry is nice. sent13: All nice people are rough. sent14: If someone is red and furry then they are blue. sent15: Rough, kind people are furry. sent16: If Charlie is furry then Charlie is nice. sent17: All furry people are nice. sent18: If someone is rough then they are kind. sent19: If someone is red and nice then they are blue. sent20: All furry people are red.

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