translation.en: $answer$ ; $proof$ ; $question$ = Anne is big. ; $context$ = sent1: Anne is kind. sent2: Anne is nice. sent3: Bob is green. sent4: Bob is nice. sent5: Bob is quiet. sent6: Dave is green. sent7: Fiona is big. sent8: Fiona is blue. sent9: Fiona is green. sent10: Fiona is quiet. sent11: All green, young things are kind. sent12: If something is blue then it is kind. sent13: Big things are young. sent14: If Dave is young then Dave is nice. sent15: If something is blue and green then it is big. sent16: If something is blue and young then it is green. sent17: All blue, kind things are green. sent18: If something is young then it is quiet. sent19: All nice things are blue.
translation.ro: $answer$ = True ; $proof$ = # sent15%int1 & # sent19%int3 sent2 # sent17%int2 & # sent19%int3 sent2 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.