The bear is nice. The bear is rough. The bear needs the squirrel. The lion is big. The lion needs the squirrel. The mouse needs the bear. The mouse visits the bear. The mouse visits the lion. The squirrel needs the bear. The squirrel needs the lion. The squirrel sees the lion. The squirrel visits the bear. If the squirrel is big then the squirrel visits the lion. If the bear sees the lion and the bear sees the squirrel then the squirrel is young. If something needs the bear and it sees the bear then the bear visits the squirrel. If something needs the squirrel then it sees the squirrel. If something sees the squirrel and the squirrel needs the bear then the squirrel visits the lion. If something visits the lion then it is nice.
The bear visits the squirrel.
@0: The bear is nice.[(triple1)] The bear is rough.[(triple2)] The bear needs the squirrel.[(triple3)] The lion is big.[(triple4)] The lion needs the squirrel.[(triple5)] The mouse needs the bear.[(triple6)] The mouse visits the bear.[(triple7)] The mouse visits the lion.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel needs the lion.[(triple10)] The squirrel sees the lion.[(triple11)] The squirrel visits the bear.[(triple12)] @1: The bear sees the squirrel.[(((triple3) -> rule4))] The lion sees the squirrel.[(((triple5) -> rule4))] The mouse is nice.[(((triple8) -> rule6))] @2: The squirrel visits the lion.[(((((triple3) -> rule4) triple9) -> rule5) OR ((((triple5) -> rule4) triple9) -> rule5))] @3: The squirrel is nice.[(((((((triple3) -> rule4) triple9) -> rule5)) -> rule6) OR ((((((triple5) -> rule4) triple9) -> rule5)) -> rule6))]