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