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