translation.en: $answer$ ; $proof$ ; $question$ = Bob is not green. ; $context$ = sent1: Anne is green. sent2: Bob is red. sent3: Bob is round. sent4: Dave is blue. sent5: Dave is rough. sent6: Fiona is green. sent7: Fiona is quiet. sent8: If someone is red and quiet then they are rough. sent9: If someone is rough and quiet then they are green. sent10: If someone is rough and blue then they are round. sent11: All round, red people are quiet. sent12: Smart, red people are blue. sent13: All blue, round people are smart. sent14: If someone is green then they are smart.
translation.ro: $answer$ = False ; $proof$ = # sent9%int1 & sent3 # sent11%int3 sent2 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.