translation.en: $answer$ ; $proof$ ; $question$ = The dog is not big. ; $context$ = sent1: The bald eagle is cold. sent2: The bald eagle is nice. sent3: The bald eagle likes the cow. sent4: The bald eagle likes the tiger. sent5: The bald eagle sees the cow. sent6: The bald eagle sees the dog. sent7: The bald eagle sees the tiger. sent8: The bald eagle visits the cow. sent9: The cow is young. sent10: The cow visits the bald eagle. sent11: The dog sees the bald eagle. sent12: The dog visits the tiger. sent13: The tiger is blue. sent14: The tiger is cold. sent15: The tiger is young. sent16: The tiger visits the cow. sent17: If something is big and it visits the bald eagle then it visits the cow. sent18: If something likes the tiger and the tiger is big then it is big. sent19: If something visits the cow and the cow is young then it is big. sent20: If something visits the tiger then it is young. sent21: If the tiger likes the dog then the tiger visits the bald eagle. sent22: If something is big then it visits the dog. sent23: If something visits the dog then it is cold. sent24: If something is young then it likes the tiger.
translation.ro: $answer$ = False ; $proof$ = # sent18%int1 & sent16 # sent19%int2 sent9 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.