The dog is rough. If something is rough then it is green. Blue, red things are green. If something is blue and red then it is not green. If the dog is blue then the dog is not young. Rough, blue things are red. If the dog is not red then the dog is green.
The dog is not red.
@0: The dog is rough.[(triple1)] @1: The dog is green.[(((triple1) -> rule1))]