The dog eats the tiger. The squirrel is rough. The tiger is round. If something eats the tiger then it sees the tiger. All blue things are rough. If the dog needs the tiger and the dog is blue then the tiger needs the squirrel.
The dog is not rough.
@0: The dog eats the tiger.[(triple1)] The squirrel is rough.[(triple2)] The tiger is round.[(triple3)] @1: The dog sees the tiger.[(((triple1) -> rule1))]