The dog is big. The dog is blue. The dog is cold. The dog is green. The dog is young. All blue, cold people are green.
The dog is not cold.
@0: The dog is big.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4 OR ((triple2 triple3) -> rule1))] The dog is young.[(triple5)]