The cat is big. If the cat is rough then the cat is young. If the cat is big then the cat is young. All young people are blue.
The cat is not rough.
@0: The cat is big.[(triple1)] @1: The cat is young.[(((triple1) -> rule2))] @2: The cat is blue.[(((((triple1) -> rule2)) -> rule3))]