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