The dog likes the squirrel. The squirrel likes the dog. If the dog is big then the dog likes the squirrel. If the dog eats the squirrel and the dog is not green then the squirrel likes the dog. If someone likes the squirrel and they are not young then they like the dog. If someone sees the squirrel then the squirrel sees the dog. If the squirrel likes the dog then the dog sees the squirrel. If someone sees the dog then they are kind.
The dog sees the squirrel.
@0: The dog likes the squirrel.[(triple1)] The squirrel likes the dog.[(triple2)] @1: The dog sees the squirrel.[(((triple2) -> rule5))] @2: The squirrel sees the dog.[(((((triple2) -> rule5)) -> rule4))] @3: The squirrel is kind.[(((((((triple2) -> rule5)) -> rule4)) -> rule6))]