translation.en: $answer$ ; $proof$ ; $question$ = Gary is green. ; $context$ = sent1: Anne is big. sent2: Anne is young. sent3: Charlie is furry. sent4: Charlie is green. sent5: Charlie is young. sent6: Gary is furry. sent7: Harry is round. sent8: Round things are big. sent9: All round things are big. sent10: If Anne is big then Anne is furry. sent11: All round, green things are quiet. sent12: If Harry is quiet and Harry is furry then Harry is green. sent13: If something is big and young then it is smart. sent14: All furry things are round. sent15: If something is big then it is young. sent16: If Gary is smart and Gary is round then Gary is green.
translation.ro: $answer$ = True ; $proof$ = # sent16%int1 & # sent13%int2 & # sent8%int4 # sent14%int5 sent6 # sent15%int3 # sent8%int4 # sent14%int5 sent6 # sent14%int5 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.