The dog is green. All red, rough people are green. Nice people are red. Green people are nice.
The dog sees the dog.
@0: The dog is green.[(triple1)] @1: The dog is nice.[(((triple1) -> rule3))] @2: The dog is red.[(((((triple1) -> rule3)) -> rule2))]