The bear chases the lion. The bear eats the lion. The bear is kind. The bear is rough. The bear needs the lion. The bear needs the squirrel. The lion chases the bear. The lion is rough. The lion is young. The lion needs the squirrel. The squirrel chases the lion. The squirrel is young. If something is young then it is rough. If something is kind then it needs the bear. Rough things are kind.
The squirrel is not young.
@0: The bear chases the lion.[(triple1)] The bear eats the lion.[(triple2)] The bear is kind.[(triple3 OR ((triple4) -> rule3))] The bear is rough.[(triple4)] The bear needs the lion.[(triple5)] The bear needs the squirrel.[(triple6)] The lion chases the bear.[(triple7)] The lion is rough.[(triple8 OR ((triple9) -> rule1))] The lion is young.[(triple9)] The lion needs the squirrel.[(triple10)] The squirrel chases the lion.[(triple11)] The squirrel is young.[(triple12)] @1: The bear needs the bear.[(((triple3) -> rule2) OR ((((triple4) -> rule3)) -> rule2))] The lion is kind.[(((triple8) -> rule3) OR ((((triple9) -> rule1)) -> rule3))] The squirrel is rough.[(((triple12) -> rule1))] @2: The lion needs the bear.[(((((triple8) -> rule3)) -> rule2) OR ((((((triple9) -> rule1)) -> rule3)) -> rule2))] The squirrel is kind.[(((((triple12) -> rule1)) -> rule3))] @3: The squirrel needs the bear.[(((((((triple12) -> rule1)) -> rule3)) -> rule2))]