The cat is kind. The cat is rough. The cat is young. Big things are red. All young things are big.
The cat eats the cat.
@0: The cat is kind.[(triple1)] The cat is rough.[(triple2)] The cat is young.[(triple3)] @1: The cat is big.[(((triple3) -> rule2))] @2: The cat is red.[(((((triple3) -> rule2)) -> rule1))]