The cat is cold. The mouse chases the rabbit. The rabbit is big. The squirrel is young. If someone is young then they chase the mouse. If someone chases the squirrel then the squirrel needs the mouse.
The squirrel does not need the mouse.
@0: The cat is cold.[(triple1)] The mouse chases the rabbit.[(triple2)] The rabbit is big.[(triple3)] The squirrel is young.[(triple4)] @1: The squirrel chases the mouse.[(((triple4) -> rule1))]