The rabbit is not cold. The rabbit is red. The squirrel is green. If something visits the squirrel and it is cold then the squirrel does not see the rabbit. All young things are kind. Green things are kind.
The rabbit is cold.
@0: The rabbit is not cold.[(triple1)] The rabbit is red.[(triple2)] The squirrel is green.[(triple3)] @1: The squirrel is kind.[(((triple3) -> rule3))]