The bear chases the lion. The bear is cold. The bear is rough. The bear sees the lion. The lion chases the bear. The lion is young. The lion does not visit the bear. If the bear is not cold then the bear chases the lion. If someone visits the bear and they are cold then they are round. If someone visits the lion then they are not round. If someone chases the lion and they are round then the lion does not chase the bear. All young people are rough. If someone visits the bear then the bear is not young.
The lion does not chase the bear.
@0: The bear chases the lion.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear sees the lion.[(triple4)] The lion chases the bear.[(triple5)] The lion does not visit the bear.[(triple7)] The lion is young.[(triple6)] @1: The lion is rough.[(((triple6) -> rule5))]