The dog is big. The dog is red. The dog is rough. The dog is round. The dog is young. If something is rough then it is round. Young, red things are round.
The dog does not visit the dog.
@0: The dog is big.[(triple1)] The dog is red.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4 OR ((triple3) -> rule1) OR ((triple5 triple2) -> rule2))] The dog is young.[(triple5)]