The bear visits the squirrel. The cat likes the squirrel. The cat likes the tiger. The squirrel is nice. The squirrel likes the tiger. The tiger likes the cat. The tiger sees the bear. If the squirrel sees the tiger and the squirrel is round then the squirrel likes the tiger.
The cat does not like the bear.
@0: The bear visits the squirrel.[(triple1)] The cat likes the squirrel.[(triple2)] The cat likes the tiger.[(triple3)] The squirrel is nice.[(triple4)] The squirrel likes the tiger.[(triple5)] The tiger likes the cat.[(triple6)] The tiger sees the bear.[(triple7)]