The dog is not blue. The dog is green. The dog is red. If the dog is red then the dog is not blue. Green things are not big.
The dog does not eat the dog.
@0: The dog is green.[(triple2)] The dog is not blue.[(triple1 OR ((triple3) -> rule1))] The dog is red.[(triple3)] @1: The dog is not big.[(((triple2) -> rule2))]