The dog eats the squirrel. The squirrel visits the dog. If the squirrel is cold then the squirrel visits the dog. If the squirrel visits the dog then the squirrel is nice. If someone visits the squirrel and they eat the squirrel then the squirrel likes the dog.
The dog does not eat the squirrel.
@0: The dog eats the squirrel.[(triple1)] The squirrel visits the dog.[(triple2)] @1: The squirrel is nice.[(((triple2) -> rule2))]