The dog is blue. The dog is not green. The dog is kind. The dog is red. The dog is rough. If the dog is not blue then the dog is kind. If the dog is red and the dog is not blue then the dog is green.
The dog is rough.
@0: The dog is blue.[(triple1)] The dog is kind.[(triple3)] The dog is not green.[(triple2)] The dog is red.[(triple4)] The dog is rough.[(triple5)]