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