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