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 is not round.
@0: The dog is nice.[(triple1)]