translation.en: $answer$ ; $proof$ ; $question$ = The cat is not round. ; $context$ = sent1: The bald eagle eats the bear. sent2: The bald eagle eats the cat. sent3: The bald eagle eats the rabbit. sent4: The bald eagle is young. sent5: The bald eagle likes the bear. sent6: The bald eagle sees the cat. sent7: The bald eagle sees the rabbit. sent8: The bear eats the bald eagle. sent9: The cat eats the bald eagle. sent10: The cat likes the rabbit. sent11: The rabbit is round. sent12: The rabbit sees the bald eagle. sent13: If someone eats the bald eagle and they see the rabbit then they are round. sent14: If someone eats the bald eagle and they eat the rabbit then the rabbit likes the cat. sent15: If someone is young and they eat the rabbit then the rabbit sees the cat. sent16: If someone eats the rabbit and the rabbit is cold then they are blue. sent17: If the rabbit sees the cat and the rabbit is round then the cat eats the rabbit. sent18: If the bald eagle sees the bear and the bald eagle likes the bear then the bald eagle is red. sent19: If someone eats the rabbit and they are blue then they eat the bald eagle. sent20: If someone likes the cat then the cat is round. sent21: If the rabbit likes the cat and the cat is round then the rabbit is blue.
translation.ro: $answer$ = False ; $proof$ = # sent20%int1 # sent14%int2 & sent4 # sent17%int3 & # sent15%int4 sent3 sent11 ; with int1: Fiona is big. ; int1: Fiona is nice. ; int1: Fiona is quiet. ; int1: Fiona is kind.