The bear does not eat the squirrel. The bear is not green. The bear is kind. The bear is rough. The bear likes the cat. The bear sees the cat. The bear sees the squirrel. The cat is round. The cat likes the bear. The cat likes the squirrel. The mouse does not eat the bear. The mouse likes the bear. The squirrel eats the cat. The squirrel eats the mouse. The squirrel is rough. The squirrel does not see the bear. If someone is red then they see the mouse. If the bear likes the cat and the squirrel does not eat the bear then the bear sees the mouse. If someone sees the mouse and the mouse is round then they are round. If someone is rough then they are round. If someone sees the mouse and the mouse likes the bear then the mouse does not like the squirrel. If someone eats the cat then the cat is red. If someone eats the bear then the bear does not eat the mouse. If the mouse eats the cat and the mouse sees the bear then the mouse is kind.
The cat sees the mouse.
@0: The bear does not eat the squirrel.[(triple1)] The bear is kind.[(triple3)] The bear is not green.[(triple2)] The bear is rough.[(triple4)] The bear likes the cat.[(triple5)] The bear sees the cat.[(triple6)] The bear sees the squirrel.[(triple7)] The cat is round.[(triple8)] The cat likes the bear.[(triple9)] The cat likes the squirrel.[(triple10)] The mouse does not eat the bear.[(triple11)] The mouse likes the bear.[(triple12)] The squirrel does not see the bear.[(triple16)] The squirrel eats the cat.[(triple13)] The squirrel eats the mouse.[(triple14)] The squirrel is rough.[(triple15)] @1: The bear is round.[(((triple4) -> rule4))] The cat is red.[(((triple13) -> rule6))] The squirrel is round.[(((triple15) -> rule4))] @2: The cat sees the mouse.[(((((triple13) -> rule6)) -> rule1))] @3: The mouse does not like the squirrel.[(((((((triple13) -> rule6)) -> rule1) triple12) -> rule5))]