The bear needs the mouse. The bear needs the tiger. The bear sees the squirrel. The mouse is cold. The mouse is rough. The mouse needs the bear. The mouse visits the squirrel. The squirrel is red. The squirrel needs the bear. The squirrel needs the mouse. The squirrel sees the mouse. The tiger is red. The tiger needs the squirrel. The tiger sees the squirrel. The tiger visits the bear. The tiger visits the squirrel. If the squirrel visits the bear then the bear needs the mouse. If the squirrel sees the bear and the squirrel needs the mouse then the mouse is big. If something sees the bear then it is red. If something visits the tiger and it sees the squirrel then it is big. If the squirrel sees the mouse then the mouse needs the squirrel. If the squirrel visits the mouse then the squirrel needs the bear. If something needs the squirrel then it sees the bear. If the bear is cold then the bear needs the squirrel.
The squirrel does not see the bear.
@0: The bear needs the mouse.[(triple1)] The bear needs the tiger.[(triple2)] The bear sees the squirrel.[(triple3)] The mouse is cold.[(triple4)] The mouse is rough.[(triple5)] The mouse needs the bear.[(triple6)] The mouse visits the squirrel.[(triple7)] The squirrel is red.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel needs the mouse.[(triple10)] The squirrel sees the mouse.[(triple11)] The tiger is red.[(triple12 OR ((((triple13) -> rule7)) -> rule3))] The tiger needs the squirrel.[(triple13)] The tiger sees the squirrel.[(triple14)] The tiger visits the bear.[(triple15)] The tiger visits the squirrel.[(triple16)] @1: The mouse needs the squirrel.[(((triple11) -> rule5))] The tiger sees the bear.[(((triple13) -> rule7))] @2: The mouse sees the bear.[(((((triple11) -> rule5)) -> rule7))] @3: The mouse is red.[(((((((triple11) -> rule5)) -> rule7)) -> rule3))]