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