The cat is big. The cat is green. The cat is round. If the cat is rough then the cat is young. Big things are rough.
The cat is big.
@0: The cat is big.[(triple1)] The cat is green.[(triple2)] The cat is round.[(triple3)] @1: The cat is rough.[(((triple1) -> rule2))] @2: The cat is young.[(((((triple1) -> rule2)) -> rule1))]