The dog is green. The dog is not red. The dog is rough. If something is young then it is not red. If the dog is green then the dog is young. All red things are young. All nice, red things are not young. All red, rough things are young. If something is young then it is green.
The dog is rough.
@0: The dog is green.[(triple1)] The dog is not red.[(triple2 OR ((((triple1) -> rule2)) -> rule1))] The dog is rough.[(triple3)] @1: The dog is young.[(((triple1) -> rule2))]