The dog chases the squirrel. The dog is cold. The squirrel chases the dog. If something sees the squirrel then it chases the dog. If something chases the squirrel then it is red. If the squirrel likes the dog and the dog likes the squirrel then the squirrel chases the dog. If something likes the dog and the dog is rough then it is cold. If something chases the dog then it likes the squirrel. If something chases the squirrel then it sees the squirrel.
The dog likes the dog.
@0: The dog chases the squirrel.[(triple1)] The dog is cold.[(triple2)] The squirrel chases the dog.[(triple3)] @1: The dog is red.[(((triple1) -> rule2))] The dog sees the squirrel.[(((triple1) -> rule6))] The squirrel likes the squirrel.[(((triple3) -> rule5))] @2: The dog chases the dog.[(((((triple1) -> rule6)) -> rule1))] @3: The dog likes the squirrel.[(((((((triple1) -> rule6)) -> rule1)) -> rule5))]