The cat is not big. The cat is green. The cat is red. If the cat is red then the cat is blue.
The cat is not green.
@0: The cat is green.[(triple2)] The cat is not big.[(triple1)] The cat is red.[(triple3)] @1: The cat is blue.[(((triple3) -> rule1))]