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