translation.en: $answer$ ; $proof$ ; $question$ = Dave is not round. ; $context$ = sent1: Charlie is nice. sent2: Charlie is quiet. sent3: Charlie is round. sent4: Charlie is smart. sent5: Dave is rough. sent6: Dave is smart. sent7: Fiona is nice. sent8: Fiona is red. sent9: Fiona is rough. sent10: Fiona is round. sent11: Gary is red. sent12: Smart, quiet people are round. sent13: All round people are nice. sent14: Red people are nice. sent15: Red people are nice. sent16: If Dave is round then Dave is furry. sent17: If someone is nice then they are quiet. sent18: If someone is nice then they are red. sent19: All smart people are red.
translation.ro: $answer$ = False ; $proof$ = # sent12%int1 & sent6 # sent17%int2 # sent14%int3 # sent19%int4 sent6 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.