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