The cat is cold. The cat is red. The cat does not need the mouse. The cat does not visit the lion. The cow needs the mouse. The lion eats the mouse. The lion is not rough. The lion is round. The lion needs the cat. The lion visits the cat. The mouse eats the lion. The mouse is not cold. The mouse needs the cow. The mouse does not need the lion. The mouse does not visit the lion. If the cat is not cold then the cat eats the cow. If something visits the cow and it is not cold then it does not need the cat. If something visits the mouse and it visits the lion then the lion does not visit the cow. If the cat does not eat the lion then the cat visits the cow. If something visits the mouse then the mouse is round. If something visits the cow then the cow visits the lion.
The mouse visits the lion.
@0: The cat does not need the mouse.[(triple3)] The cat does not visit the lion.[(triple4)] The cat is cold.[(triple1)] The cat is red.[(triple2)] The cow needs the mouse.[(triple5)] The lion eats the mouse.[(triple6)] The lion is not rough.[(triple7)] The lion is round.[(triple8)] The lion needs the cat.[(triple9)] The lion visits the cat.[(triple10)] The mouse does not need the lion.[(triple14)] The mouse does not visit the lion.[(triple15)] The mouse eats the lion.[(triple11)] The mouse is not cold.[(triple12)] The mouse needs the cow.[(triple13)]