The cat eats the mouse. The cat is cold. The cat likes the cow. The cat likes the mouse. The cow eats the cat. The cow eats the lion. The cow sees the cat. The lion likes the cow. The mouse eats the lion. The mouse is blue. The mouse likes the cat. The mouse sees the lion. If the mouse sees the cow then the mouse likes the cat.
The cow is not young.
@0: The cat eats the mouse.[(triple1)] The cat is cold.[(triple2)] The cat likes the cow.[(triple3)] The cat likes the mouse.[(triple4)] The cow eats the cat.[(triple5)] The cow eats the lion.[(triple6)] The cow sees the cat.[(triple7)] The lion likes the cow.[(triple8)] The mouse eats the lion.[(triple9)] The mouse is blue.[(triple10)] The mouse likes the cat.[(triple11)] The mouse sees the lion.[(triple12)]