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