The cat eats the squirrel. The cow sees the rabbit. The rabbit is kind. The squirrel is cold. If something is cold then it is nice. If something chases the squirrel then it sees the cow.
The cat is cold.
@0: The cat eats the squirrel.[(triple1)] The cow sees the rabbit.[(triple2)] The rabbit is kind.[(triple3)] The squirrel is cold.[(triple4)] @1: The squirrel is nice.[(((triple4) -> rule1))]