The dog is big. The dog is cold. The dog is green. The dog is kind. The dog is rough. Kind, cold people are rough. If the dog is cold and the dog is green then the dog is rough.
The dog is not rough.
@0: The dog is big.[(triple1)] The dog is cold.[(triple2)] The dog is green.[(triple3)] The dog is kind.[(triple4)] The dog is rough.[(triple5 OR ((triple2 triple3) -> rule2) OR ((triple4 triple2) -> rule1))]