The dog is big. The dog is green. The dog is kind. The dog is nice. The dog is young. If the dog is big then the dog is green. All young things are green.
The dog is not green.
@0: The dog is big.[(triple1)] The dog is green.[(triple2 OR ((triple1) -> rule1) OR ((triple5) -> rule2))] The dog is kind.[(triple3)] The dog is nice.[(triple4)] The dog is young.[(triple5)]