The dog is cold. The dog is nice. The dog is red. The dog is rough. The dog is round. If the dog is cold and the dog is rough then the dog is nice.
The dog is not nice.
@0: The dog is cold.[(triple1)] The dog is nice.[(triple2 OR ((triple1 triple4) -> rule1))] The dog is red.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)]