The cat is cold. The cat is green. The cat is kind. If something is red then it is green. All rough, green things are red. All green things are rough.
The cat is not rough.
@0: The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] @1: The cat is rough.[(((triple2) -> rule3))] @2: The cat is red.[(((((triple2) -> rule3) triple2) -> rule2))]