The dog is green. The dog is red. The dog is rough. The dog is round. The dog is not young. If something is rough then it is red. All red, young things are rough. If the dog is red then the dog is round. All rough things are not young. If the dog is not rough then the dog is not green. If something is red and rough then it is round. If something is green and young then it is not round. Young things are round.
The dog is not rough.
@0: The dog is green.[(triple1)] The dog is not young.[(triple5 OR ((triple3) -> rule4))] The dog is red.[(triple2 OR ((triple3) -> rule1))] The dog is rough.[(triple3)] The dog is round.[(triple4 OR ((triple2) -> rule3) OR ((triple2 triple3) -> rule6) OR ((((triple3) -> rule1)) -> rule3) OR ((((triple3) -> rule1) triple3) -> rule6))]