translation.en: $answer$ ; $proof$ ; $question$ = Bob is not young. ; $context$ = sent1: Bob is nice. sent2: Bob is white. sent3: Charlie is round. sent4: Charlie is white. sent5: Erin is furry. sent6: Erin is nice. sent7: Gary is young. sent8: All furry, nice things are young. sent9: If something is red then it is furry. sent10: All furry things are red. sent11: All nice things are red. sent12: Round, kind things are nice. sent13: All young, furry things are kind. sent14: If something is white and round then it is furry. sent15: If something is red and round then it is young.
translation.ro: $answer$ = False ; $proof$ = # sent8%int1 & # sent9%int2 # sent11%int3 sent1 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.