The dog is cold. The dog needs the squirrel. The squirrel is young. If someone is round then they need the dog. If someone needs the squirrel and they see the dog then the squirrel sees the dog. If someone visits the dog then the dog is cold. If someone needs the squirrel then they visit the squirrel. If someone visits the squirrel then the squirrel sees the dog. If someone sees the dog then they need the dog.
The dog is not rough.
@0: The dog is cold.[(triple1)] The dog needs the squirrel.[(triple2)] The squirrel is young.[(triple3)] @1: The dog visits the squirrel.[(((triple2) -> rule4))] @2: The squirrel sees the dog.[(((((triple2) -> rule4)) -> rule5))] @3: The squirrel needs the dog.[(((((((triple2) -> rule4)) -> rule5)) -> rule6))]