The cat needs the tiger. The mouse is young. The squirrel chases the cat. The tiger visits the squirrel. If something chases the cat then the cat needs the tiger. If something chases the cat then it is cold.
The tiger is not cold.
@0: The cat needs the tiger.[(triple1 OR ((triple3) -> rule1))] The mouse is young.[(triple2)] The squirrel chases the cat.[(triple3)] The tiger visits the squirrel.[(triple4)] @1: The squirrel is cold.[(((triple3) -> rule2))]