The bear sees the tiger. The bear does not visit the squirrel. The squirrel eats the tiger. The squirrel sees the bear. The squirrel does not see the tiger. The squirrel does not visit the tiger. The tiger is kind. The tiger does not see the bear. The tiger does not visit the bear. The tiger visits the squirrel. If the squirrel sees the bear then the bear is not big. If someone eats the bear and the bear is kind then they see the bear. If someone eats the tiger and the tiger sees the squirrel then the tiger does not visit the bear. If the bear eats the tiger then the bear eats the squirrel. If someone eats the tiger and they do not visit the tiger then the tiger is blue. If the tiger is blue and the tiger is not kind then the tiger is red. If someone is red and they do not eat the bear then they visit the squirrel. If someone visits the tiger and the tiger is not blue then they visit the bear.
The tiger sees the bear.
@0: The bear does not visit the squirrel.[(triple2)] The bear sees the tiger.[(triple1)] The squirrel does not see the tiger.[(triple5)] The squirrel does not visit the tiger.[(triple6)] The squirrel eats the tiger.[(triple3)] The squirrel sees the bear.[(triple4)] The tiger does not see the bear.[(triple8)] The tiger does not visit the bear.[(triple9)] The tiger is kind.[(triple7)] The tiger visits the squirrel.[(triple10)] @1: The bear is not big.[(((triple4) -> rule1))] The tiger is blue.[(((triple3 triple6) -> rule5))]