The bald eagle eats the cat. The bald eagle is rough. The bald eagle likes the cow. The bald eagle sees the cat. The cat eats the bald eagle. The cat is big. The cat is red. The cat is rough. The cat sees the cow. The cow eats the bald eagle. The cow is young. The cow likes the bald eagle. If someone sees the cow then they like the bald eagle. If the bald eagle eats the cow then the cow is red. If someone is young and they like the cow then they are rough. Young people are big. If someone likes the cat then they see the cow. If the cat eats the cow then the cow eats the bald eagle. If someone eats the bald eagle and they see the bald eagle then they are big. If the bald eagle is rough and the bald eagle likes the cat then the cat is green.
The bald eagle is green.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the cow.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat eats the bald eagle.[(triple5)] The cat is big.[(triple6)] The cat is red.[(triple7)] The cat is rough.[(triple8)] The cat sees the cow.[(triple9)] The cow eats the bald eagle.[(triple10)] The cow is young.[(triple11)] The cow likes the bald eagle.[(triple12)] @1: The cat likes the bald eagle.[(((triple9) -> rule1))] The cow is big.[(((triple11) -> rule4))]