The dog is kind. The dog needs the squirrel. The lion visits the dog. The squirrel eats the dog. The squirrel is blue. The squirrel needs the lion. The squirrel visits the lion. If someone eats the dog then they are not red. If someone visits the lion and the lion does not need the squirrel then the lion is rough. If someone is kind then they eat the dog.
The lion is rough.
@0: The dog is kind.[(triple1)] The dog needs the squirrel.[(triple2)] The lion visits the dog.[(triple3)] The squirrel eats the dog.[(triple4)] The squirrel is blue.[(triple5)] The squirrel needs the lion.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The dog eats the dog.[(((triple1) -> rule3))] The squirrel is not red.[(((triple4) -> rule1))] @2: The dog is not red.[(((((triple1) -> rule3)) -> rule1))]