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