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