The cat is not green. The dog eats the cat. The dog visits the cat. The lion eats the mouse. The lion is cold. The lion visits the mouse. The mouse eats the dog. The mouse is not cold. The mouse is green. The mouse does not like the dog. The mouse does not like the lion. The mouse visits the dog. If the lion is red then the lion eats the mouse.
The dog does not like the cat.
@0: The cat is not green.[(triple1)] The dog eats the cat.[(triple2)] The dog visits the cat.[(triple3)] The lion eats the mouse.[(triple4)] The lion is cold.[(triple5)] The lion visits the mouse.[(triple6)] The mouse does not like the dog.[(triple10)] The mouse does not like the lion.[(triple11)] The mouse eats the dog.[(triple7)] The mouse is green.[(triple9)] The mouse is not cold.[(triple8)] The mouse visits the dog.[(triple12)]