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