The bear chases the cat. The bear is not young. The bear does not need the cat. The bear sees the lion. The bear does not see the squirrel. The cat is rough. The lion needs the bear. The squirrel needs the cat. The squirrel sees the bear. The squirrel sees the cat. If the bear chases the cat then the cat chases the lion. If the bear chases the squirrel and the squirrel does not see the cat then the bear is rough. If someone is blue then they chase the squirrel. If someone chases the lion then they chase the squirrel. If the lion does not chase the cat and the lion is not young then the cat chases the squirrel. If the cat is cold then the cat is young. If the bear is rough and the bear is not young then the bear is cold. If someone chases the squirrel then the squirrel does not chase the bear.
The squirrel does not chase the squirrel.
@0: The bear chases the cat.[(triple1)] The bear does not need the cat.[(triple3)] The bear does not see the squirrel.[(triple5)] The bear is not young.[(triple2)] The bear sees the lion.[(triple4)] The cat is rough.[(triple6)] The lion needs the bear.[(triple7)] The squirrel needs the cat.[(triple8)] The squirrel sees the bear.[(triple9)] The squirrel sees the cat.[(triple10)] @1: The cat chases the lion.[(((triple1) -> rule1))] @2: The cat chases the squirrel.[(((((triple1) -> rule1)) -> rule4))] @3: The squirrel does not chase the bear.[(((((((triple1) -> rule1)) -> rule4)) -> rule8))]