translation.en: $answer$ ; $proof$ ; $question$ = Anne is not smart. ; $context$ = sent1: Anne is red. sent2: Anne is white. sent3: Charlie is smart. sent4: Erin is big. sent5: Erin is red. sent6: Fiona is big. sent7: Fiona is round. sent8: If Anne is nice then Anne is smart. sent9: Red things are rough. sent10: All rough things are round. sent11: If something is round then it is nice. sent12: If something is big then it is smart. sent13: If something is smart then it is big. sent14: Smart things are big. sent15: If something is round and not rough then it is big. sent16: If something is smart and not big then it is white.
translation.ro: $answer$ = False ; $proof$ = # sent8%int1 # sent11%int2 # sent10%int3 # sent9%int4 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.