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