The dog is big. The dog is blue. The dog is nice. The dog is rough. The dog is round. All blue things are rough. If something is blue and nice then it is rough.
The dog does not need the dog.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4 OR ((triple2) -> rule1) OR ((triple2 triple3) -> rule2))] The dog is round.[(triple5)]