The cat visits the mouse. The dog is rough. The mouse chases the squirrel. The squirrel is young. If the dog is rough then the dog is young. If someone visits the dog then the dog is rough.
The dog is not rough.
@0: The cat visits the mouse.[(triple1)] The dog is rough.[(triple2)] The mouse chases the squirrel.[(triple3)] The squirrel is young.[(triple4)] @1: The dog is young.[(((triple2) -> rule1))]