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