The bald eagle is big. The cow is cold. The cow does not see the bald eagle. If someone likes the bald eagle then they are cold. If someone eats the bald eagle and the bald eagle eats the cow then they see the bald eagle. If someone is big then they like the bald eagle.
The cow does not eat the cow.
@0: The bald eagle is big.[(triple1)] The cow does not see the bald eagle.[(triple3)] The cow is cold.[(triple2)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule3))] @2: The bald eagle is cold.[(((((triple1) -> rule3)) -> rule1))]