The dog is blue. The dog is red. The dog is rough. The dog is round. The dog is young. Blue people are rough. If someone is blue and young then they are rough.
The dog does not eat the dog.
@0: The dog is blue.[(triple1)] The dog is red.[(triple2)] The dog is rough.[(triple3 OR ((triple1) -> rule1) OR ((triple1 triple5) -> rule2))] The dog is round.[(triple4)] The dog is young.[(triple5)]