The bear chases the lion. The bear is red. The bear is not round. The bear likes the lion. The lion does not chase the bear. The lion is not blue. The lion is not red. The lion is not round. The lion likes the bear. The lion does not need the bear. If the lion chases the bear then the lion does not like the bear. If someone likes the lion then they need the bear. If someone chases the lion and the lion does not chase the bear then the lion does not need the bear. If someone needs the lion and the lion chases the bear then they chase the lion. If someone needs the bear and they do not like the lion then the bear needs the lion. If someone needs the bear and they like the bear then they are not red.
The bear does not need the bear.
@0: The bear chases the lion.[(triple1)] The bear is not round.[(triple3)] The bear is red.[(triple2)] The bear likes the lion.[(triple4)] The lion does not chase the bear.[(triple5)] The lion does not need the bear.[(triple10 OR ((triple1 triple5) -> rule3))] The lion is not blue.[(triple6)] The lion is not red.[(triple7)] The lion is not round.[(triple8)] The lion likes the bear.[(triple9)] @1: The bear needs the bear.[(((triple4) -> rule2))]