The cat is young. If something is red and not young then it is not cold. All young things are not cold. If something is blue then it is green. Green things are blue. If something is red then it is not blue. If something is young and not cold then it is blue.
The cat is not cold.
@0: The cat is young.[(triple1)] @1: The cat is not cold.[(((triple1) -> rule2))] @2: The cat is blue.[(((triple1 ((triple1) -> rule2)) -> rule6))] @3: The cat is green.[(((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule3))]