translation.en: $answer$ ; $proof$ ; $question$ = Gary is not rough. ; $context$ = sent1: Charlie is big. sent2: Charlie is cold. sent3: Charlie is nice. sent4: Charlie is young. sent5: Dave is big. sent6: Dave is nice. sent7: Fiona is big. sent8: Fiona is nice. sent9: Gary is cold. sent10: Gary is nice. sent11: All rough, young things are red. sent12: All rough, cold things are young. sent13: All nice, red things are round. sent14: If Charlie is cold and Charlie is rough then Charlie is young. sent15: All round, red things are rough. sent16: All cold, big things are red. sent17: Cold things are big. sent18: If Dave is rough then Dave is cold. sent19: If Fiona is cold then Fiona is red.
translation.ro: $answer$ = False ; $proof$ = # sent15%int1 & # sent13%int2 & sent10 # sent16%int3 & sent9 # sent17%int4 sent9 # sent16%int3 & sent9 # sent17%int4 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.