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