The cat is rough. If someone is rough then they are blue. Big people are rough. Blue people are rough. If the cat is blue and the cat is big then the cat is rough. Blue people are green. Blue, green people are round. If the cat is not green then the cat is round. If the cat is not rough then the cat is round.
The cat is blue.
@0: The cat is rough.[(triple1)] @1: The cat is blue.[(((triple1) -> rule1))] @2: The cat is green.[(((((triple1) -> rule1)) -> rule5))] @3: The cat is round.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule5)) -> rule6))]