The dog is nice. If the dog is rough then the dog is round. All young people are rough. If the dog is rough and the dog is young then the dog is not nice.
The dog chases the dog.
@0: The dog is nice.[(triple1)]