The dog is rough. If someone is green and blue then they are round. If the dog is rough then the dog is green. If someone is blue and not big then they are green.
The dog is not rough.
@0: The dog is rough.[(triple1)] @1: The dog is green.[(((triple1) -> rule2))]