The dog is big. The dog is blue. The dog is red. The dog is not rough. The dog is young. If the dog is blue then the dog is young. All big people are red.
The dog sees the dog.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is not rough.[(triple4)] The dog is red.[(triple3 OR ((triple1) -> rule2))] The dog is young.[(triple5 OR ((triple2) -> rule1))]