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 not rough.
@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))]