The cat is blue. The cat is red. The cat sees the dog. The cat visits the mouse. The dog sees the cat. The dog visits the mouse. The mouse is cold. If someone is big and they like the dog then they see the mouse. If someone is green then they visit the dog. If someone is green then they are cold.
The dog does not visit the mouse.
@0: The cat is blue.[(triple1)] The cat is red.[(triple2)] The cat sees the dog.[(triple3)] The cat visits the mouse.[(triple4)] The dog sees the cat.[(triple5)] The dog visits the mouse.[(triple6)] The mouse is cold.[(triple7)]