translation.en: $answer$ ; $proof$ ; $question$ = Gary is not cold. ; $context$ = sent1: Bob is quiet. sent2: Charlie is big. sent3: Charlie is cold. sent4: Fiona is blue. sent5: Fiona is rough. sent6: Fiona is round. sent7: Gary is rough. sent8: All quiet people are big. sent9: If Bob is not blue then Bob is quiet. sent10: If someone is round and furry then they are cold. sent11: Rough people are furry. sent12: If someone is furry then they are quiet. sent13: All big people are rough. sent14: If someone is big then they are round.
translation.ro: $answer$ = False ; $proof$ = # sent10%int1 & # sent14%int2 # sent8%int3 # sent12%int4 # sent11%int5 sent7 # sent11%int5 sent7 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.