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