The bear chases the lion. The bear is kind. The bear is nice. The bear is not round. The bear is young. The bear does not like the lion. The bear does not visit the lion. The lion chases the bear. The lion is red. The lion is young. If someone likes the lion then the lion visits the bear. If the lion likes the bear then the lion is not young. If someone likes the bear and the bear chases the lion then the lion likes the bear. If someone is young then they chase the lion. If someone likes the bear and they visit the lion then they chase the lion. If someone chases the bear and the bear likes the lion then the lion is kind. If someone visits the bear and they do not chase the bear then the bear is kind. If the lion is not kind and the lion does not visit the bear then the lion is round.
The lion is nice.
@0: The bear chases the lion.[(triple1 OR ((triple5) -> rule4))] The bear does not like the lion.[(triple6)] The bear does not visit the lion.[(triple7)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear is not round.[(triple4)] The bear is young.[(triple5)] The lion chases the bear.[(triple8)] The lion is red.[(triple9)] The lion is young.[(triple10)] @1: The lion chases the lion.[(((triple10) -> rule4))]