The bear is big. The bear is not young. The bear needs the squirrel. The bear needs the tiger. The bear sees the tiger. The bear visits the squirrel. The bear visits the tiger. The squirrel sees the tiger. The tiger is big. The tiger is kind. The tiger does not see the bear. The tiger visits the bear. If something sees the tiger and it sees the bear then it is big. If something is big then it visits the bear. If something needs the squirrel then the squirrel sees the bear. If something is big and it visits the squirrel then the squirrel does not visit the tiger. If the tiger does not visit the squirrel then the tiger needs the bear. If something visits the bear and it needs the squirrel then the squirrel sees the tiger.
The squirrel is cold.
@0: The bear is big.[(triple1)] The bear is not young.[(triple2)] The bear needs the squirrel.[(triple3)] The bear needs the tiger.[(triple4)] The bear sees the tiger.[(triple5)] The bear visits the squirrel.[(triple6)] The bear visits the tiger.[(triple7)] The squirrel sees the tiger.[(triple8 OR ((((triple1) -> rule2) triple3) -> rule6))] The tiger does not see the bear.[(triple11)] The tiger is big.[(triple9)] The tiger is kind.[(triple10)] The tiger visits the bear.[(triple12 OR ((triple9) -> rule2))] @1: The bear visits the bear.[(((triple1) -> rule2))] The squirrel does not visit the tiger.[(((triple1 triple6) -> rule4))] The squirrel sees the bear.[(((triple3) -> rule3))] @2: The squirrel is big.[(((triple8 ((triple3) -> rule3)) -> rule1) OR ((((((triple1) -> rule2) triple3) -> rule6) ((triple3) -> rule3)) -> rule1))] @3: The squirrel visits the bear.[(((((triple8 ((triple3) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple1) -> rule2) triple3) -> rule6) ((triple3) -> rule3)) -> rule1)) -> rule2))]