The cat is green. If something is blue then it is nice. All blue things are green. All green things are blue. All nice things are big. If the cat is blue and the cat is round then the cat is nice. If the cat is not blue then the cat is nice. If the cat is green and the cat is big then the cat is nice. If the cat is green and the cat is big then the cat is nice.
The cat does not eat the cat.
@0: The cat is green.[(triple1)] @1: The cat is blue.[(((triple1) -> rule3))] @2: The cat is nice.[(((((triple1) -> rule3)) -> rule1))] @3: The cat is big.[(((((((triple1) -> rule3)) -> rule1)) -> rule4))]