The bear is big. The bear is cold. The bear is nice. The bear is rough. The bear is round. The bear needs the squirrel. The bear sees the squirrel. The bear visits the squirrel. The squirrel is cold. The squirrel needs the bear. The squirrel sees the bear. The squirrel visits the bear. If someone needs the squirrel and the squirrel sees the bear then the squirrel visits the bear. If someone sees the bear and they visit the bear then they are round. If someone is big then they need the bear. If someone sees the bear and the bear is cold then they visit the squirrel. If someone needs the squirrel and the squirrel needs the bear then they need the bear. If the squirrel is round then the squirrel is nice.
The bear does not need the bear.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear is rough.[(triple4)] The bear is round.[(triple5)] The bear needs the squirrel.[(triple6)] The bear sees the squirrel.[(triple7)] The bear visits the squirrel.[(triple8)] The squirrel is cold.[(triple9)] The squirrel needs the bear.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel visits the bear.[(triple12 OR ((triple6 triple11) -> rule1))] @1: The bear needs the bear.[(((triple1) -> rule3) OR ((triple6 triple10) -> rule5))] The squirrel is round.[(((triple11 triple12) -> rule2) OR ((triple11 ((triple6 triple11) -> rule1)) -> rule2))] The squirrel visits the squirrel.[(((triple11 triple2) -> rule4))] @2: The squirrel is nice.[(((((triple11 triple12) -> rule2)) -> rule6) OR ((((triple11 ((triple6 triple11) -> rule1)) -> rule2)) -> rule6))]