The dog is big. The dog is blue. The dog is young. All blue, nice people are rough. If the dog is blue then the dog is young.
The dog is young.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is young.[(triple3 OR ((triple2) -> rule2))]