translation.en: $answer$ ; $proof$ ; $question$ = Fiona is big. ; $context$ = sent1: Bob is big. sent2: Bob is blue. sent3: Bob is cold. sent4: Bob is furry. sent5: Bob is green. sent6: Bob is round. sent7: Dave is round. sent8: Erin is red. sent9: Fiona is cold. sent10: Fiona is green. sent11: All green things are blue. sent12: If something is round and cold then it is red. sent13: Blue, big things are round. sent14: If something is furry and blue then it is round. sent15: All red, green things are furry. sent16: If something is round then it is red. sent17: If Bob is furry and Bob is red then Bob is round. sent18: Red things are big. sent19: All blue things are furry.
translation.ro: $answer$ = True ; $proof$ = # sent18%int1 # sent16%int2 # sent14%int3 & # sent19%int4 # sent11%int5 sent10 # sent11%int5 sent10 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.