The bear chases the lion. The bear is nice. The lion is blue. If someone chases the bear then they need the lion. If someone chases the lion and the lion is not red then the lion chases the bear. If someone needs the lion then they do not chase the lion. If someone visits the bear and the bear visits the lion then the bear needs the lion. If the bear chases the lion then the bear does not need the lion. Big people are blue. If someone is cold and they do not need the lion then the lion is big. If someone needs the bear and they do not need the lion then they are not big.
The lion does not chase the bear.
@0: The bear chases the lion.[(triple1)] The bear is nice.[(triple2)] The lion is blue.[(triple3)] @1: The bear does not need the lion.[(((triple1) -> rule5))]