The dog is blue. The dog is nice. The dog is red. The dog is rough. The dog is round. Rough things are blue. Rough, round things are blue.
The dog chases the dog.
@0: The dog is blue.[(triple1 OR ((triple4) -> rule1) OR ((triple4 triple5) -> rule2))] The dog is nice.[(triple2)] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)]