The cat is cold. All green things are nice. If something is nice and green then it is big. If the cat is cold then the cat is green.
The cat does not need the cat.
@0: The cat is cold.[(triple1)] @1: The cat is green.[(((triple1) -> rule3))] @2: The cat is nice.[(((((triple1) -> rule3)) -> rule1))] @3: The cat is big.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule2))]