translation.en: $answer$ ; $proof$ ; $question$ = Bob is not round. ; $context$ = sent1: Anne is green. sent2: Bob is blue. sent3: Bob is furry. sent4: Bob is nice. sent5: Bob is round. sent6: Charlie is nice. sent7: Charlie is white. sent8: Fiona is furry. sent9: Fiona is kind. sent10: Fiona is round. sent11: If something is blue and green then it is kind. sent12: All green, white things are kind. sent13: White things are kind. sent14: If something is green and not furry then it is white. sent15: If something is blue and nice then it is white. sent16: If something is kind then it is nice. sent17: If something is furry and nice then it is blue. sent18: Blue things are round. sent19: If Anne is white and Anne is nice then Anne is blue.
translation.ro: $answer$ = False ; $proof$ = sent5