translation.en: $answer$ ; $proof$ ; $question$ = Gary is not quiet. ; $context$ = sent1: Charlie is cold. sent2: Charlie is red. sent3: Dave is blue. sent4: Fiona is big. sent5: Fiona is blue. sent6: Gary is cold. sent7: Gary is round. sent8: If something is quiet then it is white. sent9: If Charlie is quiet then Charlie is blue. sent10: If something is red and big then it is cold. sent11: If something is big and round then it is cold. sent12: If something is cold then it is big. sent13: If Gary is big and Gary is blue then Gary is red. sent14: All cold things are round. sent15: All cold, big things are blue. sent16: If something is blue and red then it is quiet.
translation.ro: $answer$ = False ; $proof$ = # sent16%int1 & # sent15%int3 & sent6 # sent12%int4 sent6 # sent13%int2 & # sent12%int4 sent6 # sent15%int3 & sent6 # sent12%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.