The bear sees the mouse. The cat is kind. The cat does not see the mouse. The cat visits the mouse. The lion is big. The lion is rough. The lion sees the mouse. The mouse is big. The mouse is red. The mouse sees the bear. The mouse sees the lion. The mouse does not visit the bear. If the bear sees the lion and the bear is young then the bear is big. If someone visits the cat and they see the bear then they are not big. If someone chases the bear and they are kind then they are not red. If someone visits the bear then they do not see the bear. If someone visits the bear and the bear sees the mouse then the bear sees the cat. If someone visits the lion and they visit the mouse then the lion visits the cat. If someone visits the bear and the bear is red then the bear does not visit the mouse. If someone sees the lion then the lion does not see the cat.
The lion visits the mouse.
@0: The bear sees the mouse.[(triple1)] The cat does not see the mouse.[(triple3)] The cat is kind.[(triple2)] The cat visits the mouse.[(triple4)] The lion is big.[(triple5)] The lion is rough.[(triple6)] The lion sees the mouse.[(triple7)] The mouse does not visit the bear.[(triple12)] The mouse is big.[(triple8)] The mouse is red.[(triple9)] The mouse sees the bear.[(triple10)] The mouse sees the lion.[(triple11)] @1: The lion does not see the cat.[(((triple11) -> rule8))]