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