The bear chases the lion. The bear chases the squirrel. The bear is cold. The bear needs the lion. The bear needs the squirrel. The lion chases the bear. The lion is cold. The lion needs the bear. The lion does not see the rabbit. The lion does not see the squirrel. The rabbit needs the lion. The squirrel is not big. If something needs the rabbit then the rabbit is red. If something sees the rabbit and it does not see the bear then the rabbit is not red. If something is red then it is green. If something sees the rabbit and the rabbit is green then it needs the squirrel. If something is green then it chases the bear. If something sees the bear then it does not see the rabbit. All red, big things are kind. If something is big and it chases the lion then it sees the lion. If something chases the bear then it needs the rabbit.
The rabbit chases the bear.
@0: The bear chases the lion.[(triple1)] The bear chases the squirrel.[(triple2)] The bear is cold.[(triple3)] The bear needs the lion.[(triple4)] The bear needs the squirrel.[(triple5)] The lion chases the bear.[(triple6)] The lion does not see the rabbit.[(triple9)] The lion does not see the squirrel.[(triple10)] The lion is cold.[(triple7)] The lion needs the bear.[(triple8)] The rabbit needs the lion.[(triple11)] The squirrel is not big.[(triple12)] @1: The lion needs the rabbit.[(((triple6) -> rule9))] @2: The rabbit is red.[(((((triple6) -> rule9)) -> rule1))] @3: The rabbit is green.[(((((((triple6) -> rule9)) -> rule1)) -> rule3))] @4: The rabbit chases the bear.[(((((((((triple6) -> rule9)) -> rule1)) -> rule3)) -> rule5))] @5: The rabbit needs the rabbit.[(((((((((((triple6) -> rule9)) -> rule1)) -> rule3)) -> rule5)) -> rule9))]