The bald eagle chases the lion. The dog chases the tiger. The lion chases the dog. The tiger is green. If something chases the dog then the dog is cold. If something is cold then it is green.
The bald eagle chases the lion.
@0: The bald eagle chases the lion.[(triple1)] The dog chases the tiger.[(triple2)] The lion chases the dog.[(triple3)] The tiger is green.[(triple4)] @1: The dog is cold.[(((triple3) -> rule1))] @2: The dog is green.[(((((triple3) -> rule1)) -> rule2))]