The dog is big. The dog is blue. The dog is kind. The dog is red. The dog is young. If something is big and blue then it is young.
The dog is not young.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The dog is red.[(triple4)] The dog is young.[(triple5 OR ((triple1 triple2) -> rule1))]