The bald eagle is cold. The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle visits the cat. The bald eagle visits the lion. The cat likes the lion. The cat sees the bald eagle. The cat sees the lion. The cat visits the lion. The lion is green. If the bald eagle visits the cat and the cat is cold then the cat is red. If something likes the cat and the cat visits the lion then the cat is cold.
The cat visits the cat.
@0: The bald eagle is cold.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the lion.[(triple5)] The cat likes the lion.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the lion.[(triple8)] The cat visits the lion.[(triple9)] The lion is green.[(triple10)] @1: The cat is cold.[(((triple2 triple9) -> rule2))] @2: The cat is red.[(((triple4 ((triple2 triple9) -> rule2)) -> rule1))]