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