translation.en: $answer$ ; $proof$ ; $question$ = Harry is not big. ; $context$ = sent1: Bob is green. sent2: Fiona is cold. sent3: Fiona is furry. sent4: Fiona is smart. sent5: Gary is big. sent6: Gary is blue. sent7: Gary is cold. sent8: Gary is green. sent9: Gary is kind. sent10: Gary is smart. sent11: Harry is blue. sent12: If someone is cold then they are furry. sent13: Green people are cold. sent14: Blue people are big. sent15: Blue people are kind. sent16: Kind, big people are smart. sent17: Green, furry people are blue.
translation.ro: $answer$ = False ; $proof$ = # sent14%int1 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.