The dog eats the squirrel. The dog does not like the squirrel. The squirrel likes the dog. If someone likes the dog then they do not eat the squirrel. If someone eats the squirrel and they do not like the dog then the dog visits the squirrel. If someone eats the dog then the dog is rough. If someone is young and they eat the dog then they are rough. If the squirrel likes the dog then the squirrel is young. Rough people are not green. If the dog does not like the squirrel then the squirrel eats the dog. If someone is green and they do not eat the squirrel then the squirrel is red.
The dog eats the dog.
@0: The dog does not like the squirrel.[(triple2)] The dog eats the squirrel.[(triple1)] The squirrel likes the dog.[(triple3)] @1: The squirrel does not eat the squirrel.[(((triple3) -> rule1))] The squirrel eats the dog.[(((triple2) -> rule7))] The squirrel is young.[(((triple3) -> rule5))] @2: The dog is rough.[(((((triple2) -> rule7)) -> rule3))] The squirrel is rough.[(((((triple3) -> rule5) ((triple2) -> rule7)) -> rule4))] @3: The dog is not green.[(((((((triple2) -> rule7)) -> rule3)) -> rule6))] The squirrel is not green.[(((((((triple3) -> rule5) ((triple2) -> rule7)) -> rule4)) -> rule6))]