translation.en: $answer$ ; $proof$ ; $question$ = Gary is smart. ; $context$ = sent1: Charlie is blue. sent2: Fiona is cold. sent3: Gary is round. sent4: Gary is young. sent5: Harry is furry. sent6: Harry is smart. sent7: Harry is young. sent8: If Gary is quiet then Gary is smart. sent9: Young people are cold. sent10: Young, cold people are blue. sent11: Quiet people are blue. sent12: If someone is furry and cold then they are quiet. sent13: Blue, cold people are furry.
translation.ro: $answer$ = True ; $proof$ = # sent8%int1 # sent12%int2 & # sent13%int3 & # sent10%int4 & sent4 # sent9%int5 sent4 # sent9%int5 sent4 # sent9%int5 sent4 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.