The cat is cold. The cow needs the cat. The mouse is cold. The squirrel is young. If someone sees the cat then they need the squirrel. If someone is blue then they need the cat. If someone needs the cat then they eat the squirrel.
The squirrel needs the cow.
@0: The cat is cold.[(triple1)] The cow needs the cat.[(triple2)] The mouse is cold.[(triple3)] The squirrel is young.[(triple4)] @1: The cow eats the squirrel.[(((triple2) -> rule3))]