The dog is rough. The squirrel needs the dog. The tiger is young. If the squirrel needs the dog then the dog is young. If someone chases the dog and they chase the squirrel then the squirrel is rough. If someone is rough then they chase the squirrel.
The dog is not blue.
@0: The dog is rough.[(triple1)] The squirrel needs the dog.[(triple2)] The tiger is young.[(triple3)] @1: The dog chases the squirrel.[(((triple1) -> rule3))] The dog is young.[(((triple2) -> rule1))]