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