The cow needs the dog. The dog is cold. The mouse needs the squirrel. The squirrel is round. If someone needs the mouse and the mouse needs the dog then they chase the mouse. If someone needs the dog then they chase the squirrel. If someone likes the dog and the dog likes the cow then they need the squirrel. If someone likes the dog and they chase the dog then they need the mouse. If someone is round then they chase the mouse. If someone chases the mouse then the mouse is green.
The cow does not chase the squirrel.
@0: The cow needs the dog.[(triple1)] The dog is cold.[(triple2)] The mouse needs the squirrel.[(triple3)] The squirrel is round.[(triple4)] @1: The cow chases the squirrel.[(((triple1) -> rule2))] The squirrel chases the mouse.[(((triple4) -> rule5))] @2: The mouse is green.[(((((triple4) -> rule5)) -> rule6))]