The bald eagle eats the cat. The cat is cold. The mouse likes the bald eagle. If someone sees the mouse then the mouse does not see the cat. If someone is green and they like the mouse then the mouse eats the cat. If someone eats the bald eagle and the bald eagle sees the mouse then the bald eagle is not green. All green people are red. If someone is cold then they like the bald eagle. If someone eats the bald eagle and they do not like the bald eagle then they do not eat the mouse.
The mouse does not eat the cat.
@0: The bald eagle eats the cat.[(triple1)] The cat is cold.[(triple2)] The mouse likes the bald eagle.[(triple3)] @1: The cat likes the bald eagle.[(((triple2) -> rule5))]