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