The bald eagle is nice. The bald eagle likes the cow. The cat eats the bald eagle. The cat is cold. The cat is red. The cow is kind. The cow is round. The cow likes the cat. The cow likes the tiger. The tiger chases the cat. The tiger chases the cow. The tiger eats the bald eagle. The tiger eats the cat. The tiger is cold. The tiger is nice. The tiger likes the cat. If someone eats the cat then the cat is nice. If someone chases the cow then the cow chases the tiger. If someone chases the cat then the cat eats the cow.
The cow does not like the cow.
@0: The bald eagle is nice.[(triple1)] The bald eagle likes the cow.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is cold.[(triple4)] The cat is red.[(triple5)] The cow is kind.[(triple6)] The cow is round.[(triple7)] The cow likes the cat.[(triple8)] The cow likes the tiger.[(triple9)] The tiger chases the cat.[(triple10)] The tiger chases the cow.[(triple11)] The tiger eats the bald eagle.[(triple12)] The tiger eats the cat.[(triple13)] The tiger is cold.[(triple14)] The tiger is nice.[(triple15)] The tiger likes the cat.[(triple16)] @1: The cat eats the cow.[(((triple10) -> rule3))] The cat is nice.[(((triple13) -> rule1))] The cow chases the tiger.[(((triple11) -> rule2))]