The dog is cold. The dog is green. The dog is nice. The dog is rough. The dog is round. If the dog is not rough then the dog is green. All green, round people are nice. If someone is rough and not cold then they are not nice.
The dog is not green.
@0: The dog is cold.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3 OR ((triple2 triple5) -> rule2))] The dog is rough.[(triple4)] The dog is round.[(triple5)]