The bear is nice. The bear is young. The bear sees the squirrel. The bear visits the tiger. The cow sees the squirrel. The squirrel is not cold. The squirrel does not need the cow. The squirrel sees the cow. The squirrel visits the bear. The tiger visits the squirrel. If the bear is blue and the bear is not round then the bear sees the tiger. If someone visits the squirrel then they see the tiger. If someone is young then they need the squirrel. If someone visits the tiger and the tiger visits the bear then they need the cow. If the bear is not blue then the bear does not need the cow. If someone is young then they see the bear. If someone needs the squirrel then they visit the squirrel. If someone is young and cold then they do not see the squirrel.
The bear visits the squirrel.
@0: The bear is nice.[(triple1)] The bear is young.[(triple2)] The bear sees the squirrel.[(triple3)] The bear visits the tiger.[(triple4)] The cow sees the squirrel.[(triple5)] The squirrel does not need the cow.[(triple7)] The squirrel is not cold.[(triple6)] The squirrel sees the cow.[(triple8)] The squirrel visits the bear.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The bear needs the squirrel.[(((triple2) -> rule3))] The bear sees the bear.[(((triple2) -> rule6))] The tiger sees the tiger.[(((triple10) -> rule2))] @2: The bear visits the squirrel.[(((((triple2) -> rule3)) -> rule7))] @3: The bear sees the tiger.[(((((((triple2) -> rule3)) -> rule7)) -> rule2))]