The bald eagle chases the cat. The bald eagle is cold. The bald eagle needs the cat. The bald eagle visits the cat. The cat chases the bald eagle. The cat needs the bald eagle. The cat visits the bald eagle. If something chases the bald eagle then it is green. All green things are kind. If something is green and it needs the bald eagle then it visits the cat.
The cat visits the bald eagle.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the cat.[(triple3)] The bald eagle visits the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat needs the bald eagle.[(triple6)] The cat visits the bald eagle.[(triple7)] @1: The cat is green.[(((triple5) -> rule1))] @2: The cat is kind.[(((((triple5) -> rule1)) -> rule2))] The cat visits the cat.[(((((triple5) -> rule1) triple6) -> rule3))]