The dog is round. The dog visits the tiger. The squirrel is round. The squirrel visits the dog. The squirrel visits the tiger. The tiger eats the squirrel. The tiger likes the dog. If someone is rough and round then they eat the tiger. If someone visits the tiger and they are kind then they are rough. If the squirrel visits the dog then the squirrel is not rough.
The squirrel visits the dog.
@0: The dog is round.[(triple1)] The dog visits the tiger.[(triple2)] The squirrel is round.[(triple3)] The squirrel visits the dog.[(triple4)] The squirrel visits the tiger.[(triple5)] The tiger eats the squirrel.[(triple6)] The tiger likes the dog.[(triple7)] @1: The squirrel is not rough.[(((triple4) -> rule3))]