translation.en: $answer$ ; $proof$ ; $question$ = Gary is not red. ; $context$ = sent1: Anne is blue. sent2: Anne is nice. sent3: Anne is quiet. sent4: Anne is red. sent5: Anne is smart. sent6: Dave is blue. sent7: Dave is kind. sent8: Dave is red. sent9: Dave is round. sent10: Gary is kind. sent11: Harry is quiet. sent12: Harry is red. sent13: Quiet things are round. sent14: Nice, kind things are smart. sent15: If something is smart and quiet then it is nice. sent16: All kind things are nice. sent17: All round, nice things are red. sent18: Blue things are red. sent19: Smart, nice things are quiet. sent20: If Dave is red and Dave is quiet then Dave is round. sent21: If Anne is not kind then Anne is quiet.
translation.ro: $answer$ = False ; $proof$ = # sent17%int1 & # sent13%int2 # sent19%int3 & # sent14%int4 & # sent16%int5 sent10 sent10 # sent16%int5 sent10 # sent16%int5 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.