translation.en: $answer$ ; $proof$ ; $question$ = The cow is big. ; $context$ = sent1: The bear is big. sent2: The bear is cold. sent3: The bear likes the cat. sent4: The bear visits the cat. sent5: The bear visits the cow. sent6: The cat is green. sent7: The cat needs the bear. sent8: The cow needs the dog. sent9: The dog is blue. sent10: The dog likes the bear. sent11: The dog visits the cow. sent12: If something is blue then it is red. sent13: If something likes the cow then the cow is big. sent14: If the cow needs the cat then the cow likes the cat. sent15: If something is blue then it is cold. sent16: If something is big and it likes the dog then the dog likes the cow. sent17: If something needs the bear and the bear needs the dog then the bear is red. sent18: If something likes the bear and it is big then it needs the dog. sent19: If something is big then it needs the cat. sent20: If the bear is big then the bear likes the dog.
translation.ro: $answer$ = True ; $proof$ = # sent13%int1 # sent16%int2 & sent1 # sent20%int3 sent1 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.