The dog is green. The dog is nice. The dog is red. If the dog is blue then the dog is red. All red, blue people are green. If someone is big then they are not green. If someone is nice and blue then they are green. Red, big people are not blue. If someone is blue then they are nice. If the dog is green and the dog is big then the dog is blue. Blue, green people are red.
The dog is not green.
@0: The dog is green.[(triple1)] The dog is nice.[(triple2)] The dog is red.[(triple3)]