The cat is young. If the cat is blue then the cat is young. If something is young then it is nice. If something is young and blue then it is nice. If something is nice and young then it is kind. If the cat is young and the cat is blue then the cat is not nice. If the cat is nice and the cat is kind then the cat is round.
The cat is young.
@0: The cat is young.[(triple1)] @1: The cat is nice.[(((triple1) -> rule2))] @2: The cat is kind.[(((((triple1) -> rule2) triple1) -> rule4))] @3: The cat is round.[(((((triple1) -> rule2) ((((triple1) -> rule2) triple1) -> rule4)) -> rule6))]