The cat is green. If someone is big then they are blue. All green people are big. All blue people are young.
The cat needs the cat.
@0: The cat is green.[(triple1)] @1: The cat is big.[(((triple1) -> rule2))] @2: The cat is blue.[(((((triple1) -> rule2)) -> rule1))] @3: The cat is young.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]