The dog is nice. The squirrel is rough. The squirrel sees the dog. The tiger eats the squirrel. The tiger is green. The tiger is nice. The tiger sees the dog. If something is round then it eats the tiger. If something eats the dog then it is cold.
The tiger is not green.
@0: The dog is nice.[(triple1)] The squirrel is rough.[(triple2)] The squirrel sees the dog.[(triple3)] The tiger eats the squirrel.[(triple4)] The tiger is green.[(triple5)] The tiger is nice.[(triple6)] The tiger sees the dog.[(triple7)]