The dog is blue. The dog is green. The dog is nice. The dog is red. The dog is rough. If the dog is blue then the dog is red. Red, blue people are nice.
The dog is not rough.
@0: The dog is blue.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3 OR ((triple4 triple1) -> rule2) OR ((((triple1) -> rule1) triple1) -> rule2))] The dog is red.[(triple4 OR ((triple1) -> rule1))] The dog is rough.[(triple5)]