translation.en: $answer$ ; $proof$ ; $question$ = Charlie is not round. ; $context$ = sent1: Anne is cold. sent2: Anne is red. sent3: Anne is round. sent4: Anne is white. sent5: Bob is blue. sent6: Bob is cold. sent7: Bob is red. sent8: Bob is round. sent9: Charlie is cold. sent10: Erin is red. sent11: Furry people are big. sent12: Red, cold people are blue. sent13: If someone is big and not white then they are red. sent14: All white people are furry. sent15: If someone is cold then they are furry. sent16: If someone is big and not furry then they are round. sent17: Blue people are round.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 # sent12%int2 & # sent13%int3 & # sent11%int4 # sent15%int5 sent9 naf1 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.