The dog is blue. The dog is rough. The dog is round. If something is rough then it is blue. All blue things are rough. If something is round then it is rough.
The dog is green.
@0: The dog is blue.[(triple1 OR ((triple2) -> rule1) OR ((((triple3) -> rule3)) -> rule1))] The dog is rough.[(triple2 OR ((triple1) -> rule2) OR ((triple3) -> rule3))] The dog is round.[(triple3)]