The cat is blue. The cat is nice. The cat is round. If the cat is nice and the cat is round then the cat is green. All nice, big things are green. If something is big and round then it is blue. All big, blue things are green. Blue things are green. If the cat is nice then the cat is round. If something is big and round then it is blue. Big things are round.
The cat likes the cat.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3 OR ((triple2) -> rule6))] @1: The cat is green.[(((triple1) -> rule5) OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple2) -> rule6)) -> rule1))]