The bald eagle is big. The bald eagle is red. The bald eagle needs the cat. The bald eagle needs the cow. The bald eagle sees the cat. The bald eagle sees the cow. The cat eats the cow. The cat is not big. The cat is rough. The cow eats the cat. The cow is young. The cow sees the bald eagle. If someone eats the bald eagle then the bald eagle eats the cat. If someone is rough then they need the bald eagle. If someone sees the cow then they are rough.
The cat does not see the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle needs the cow.[(triple4)] The bald eagle sees the cat.[(triple5)] The bald eagle sees the cow.[(triple6)] The cat eats the cow.[(triple7)] The cat is not big.[(triple8)] The cat is rough.[(triple9)] The cow eats the cat.[(triple10)] The cow is young.[(triple11)] The cow sees the bald eagle.[(triple12)] @1: The bald eagle is rough.[(((triple6) -> rule3))] The cat needs the bald eagle.[(((triple9) -> rule2))] @2: The bald eagle needs the bald eagle.[(((((triple6) -> rule3)) -> rule2))]