The bald eagle is big. The bald eagle is red. The bald eagle likes the tiger. The cat is red. The cat is young. The cat likes the bald eagle. The cat likes the cow. The cat likes the tiger. The cat visits the tiger. The cow eats the bald eagle. The cow is big. The cow is red. The cow likes the bald eagle. The cow visits the bald eagle. The tiger eats the bald eagle. The tiger likes the bald eagle. If someone eats the cow and they visit the cow then they like the cow. If someone is young and they like the bald eagle then they eat the cow. If the tiger visits the bald eagle and the tiger likes the cat then the bald eagle visits the cat. If someone likes the bald eagle and the bald eagle is red then the bald eagle is young. If the bald eagle visits the cow then the cow visits the cat. If the tiger is red and the tiger likes the bald eagle then the bald eagle visits the cow. If the cow is young then the cow visits the bald eagle. If someone visits the cow and the cow is red then the cow likes the cat.
The tiger does not eat the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the tiger.[(triple3)] The cat is red.[(triple4)] The cat is young.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the cow.[(triple7)] The cat likes the tiger.[(triple8)] The cat visits the tiger.[(triple9)] The cow eats the bald eagle.[(triple10)] The cow is big.[(triple11)] The cow is red.[(triple12)] The cow likes the bald eagle.[(triple13)] The cow visits the bald eagle.[(triple14)] The tiger eats the bald eagle.[(triple15)] The tiger likes the bald eagle.[(triple16)] @1: The bald eagle is young.[(((triple13 triple2) -> rule4) OR ((triple16 triple2) -> rule4) OR ((triple6 triple2) -> rule4))] The cat eats the cow.[(((triple5 triple6) -> rule2))]