The bald eagle eats the cow. The cat chases the bald eagle. The cat eats the cow. The cat is red. The cat likes the cow. The cow chases the bald eagle. The cow chases the cat. The cow eats the bald eagle. The cow eats the cat. The cow is cold. If someone eats the cow then the cow is green. If someone chases the cow then the cow chases the bald eagle. If the cat likes the bald eagle and the cat likes the cow then the cow chases the cat.
The cow does not eat the cat.
@0: The bald eagle eats the cow.[(triple1)] The cat chases the bald eagle.[(triple2)] The cat eats the cow.[(triple3)] The cat is red.[(triple4)] The cat likes the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow chases the cat.[(triple7)] The cow eats the bald eagle.[(triple8)] The cow eats the cat.[(triple9)] The cow is cold.[(triple10)] @1: The cow is green.[(((triple1) -> rule1) OR ((triple3) -> rule1))]