The dog is big. The dog is green. The dog is nice. The dog is rough. The dog is young. If the dog is nice and the dog is not big then the dog is rough. Big people are young.
The dog sees the dog.
@0: The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog is rough.[(triple4)] The dog is young.[(triple5 OR ((triple1) -> rule2))]