The cow visits the dog. The dog is red. The dog sees the cow. The dog sees the tiger. The squirrel sees the cow. The squirrel sees the tiger. The squirrel visits the dog. The tiger is round. The tiger needs the dog. The tiger sees the cow. The tiger sees the squirrel. The tiger visits the squirrel. If something is red and it visits the cow then the cow is nice. If something needs the tiger then it visits the dog. If the cow needs the dog and the cow sees the dog then the cow is cold.
The tiger visits the squirrel.
@0: The cow visits the dog.[(triple1)] The dog is red.[(triple2)] The dog sees the cow.[(triple3)] The dog sees the tiger.[(triple4)] The squirrel sees the cow.[(triple5)] The squirrel sees the tiger.[(triple6)] The squirrel visits the dog.[(triple7)] The tiger is round.[(triple8)] The tiger needs the dog.[(triple9)] The tiger sees the cow.[(triple10)] The tiger sees the squirrel.[(triple11)] The tiger visits the squirrel.[(triple12)]