translation.en: $answer$ ; $proof$ ; $question$ = Bob is not smart. ; $context$ = sent1: Anne is red. sent2: Anne is young. sent3: Bob is nice. sent4: Fiona is nice. sent5: Fiona is red. sent6: Fiona is rough. sent7: Fiona is white. sent8: Fiona is young. sent9: Harry is green. sent10: Harry is nice. sent11: Harry is white. sent12: If Bob is green then Bob is smart. sent13: All young, nice things are red. sent14: Smart things are red. sent15: If Bob is red then Bob is green. sent16: If something is white and nice then it is rough. sent17: All red things are rough. sent18: All nice, white things are young. sent19: Nice things are white. sent20: If Fiona is smart then Fiona is red.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 # sent15%int2 # sent13%int3 & # sent18%int4 & sent3 # sent19%int5 sent3 sent3 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.