The bald eagle is blue. The bald eagle likes the cat. The cat chases the dog. The dog visits the cat. The squirrel is not big. The squirrel is cold. The squirrel is red. If something visits the cat then it chases the cat. If something chases the cat then it likes the cat.
The cat likes the cat.
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat chases the dog.[(triple3)] The dog visits the cat.[(triple4)] The squirrel is cold.[(triple6)] The squirrel is not big.[(triple5)] The squirrel is red.[(triple7)] @1: The dog chases the cat.[(((triple4) -> rule1))] @2: The dog likes the cat.[(((((triple4) -> rule1)) -> rule2))]