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