translation.en: $answer$ ; $proof$ ; $question$ = Bob is not big. ; $context$ = sent1: Anne is cold. sent2: Anne is rough. sent3: Bob is cold. sent4: Bob is kind. sent5: Dave is big. sent6: Dave is red. sent7: Dave is smart. sent8: Harry is big. sent9: Harry is kind. sent10: Harry is smart. sent11: Big people are young. sent12: Red people are smart. sent13: If Anne is young and Anne is rough then Anne is smart. sent14: Young, cold people are red. sent15: Rough people are big. sent16: All kind people are rough. sent17: If Anne is kind and Anne is cold then Anne is smart. sent18: All young people are kind.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 # sent16%int2 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.