The dog likes the squirrel. The dog needs the squirrel. The squirrel likes the dog. If something sees the dog and it is not round then the dog likes the squirrel. If the squirrel is kind and the squirrel is red then the squirrel needs the dog. If something likes the squirrel then the squirrel is not blue.
The dog needs the squirrel.
@0: The dog likes the squirrel.[(triple1)] The dog needs the squirrel.[(triple2)] The squirrel likes the dog.[(triple3)] @1: The squirrel is not blue.[(((triple1) -> rule3))]