The bear chases the lion. The bear is big. The bear is kind. The bear is round. The bear sees the lion. The bear visits the lion. The lion is red. The lion is round. The lion sees the bear. The lion visits the bear. If someone is red then they see the lion. If someone chases the bear then they are big. If someone is rough and they chase the bear then the bear is red. If someone visits the bear and they are kind then the bear sees the lion. If the bear visits the lion and the lion is red then the bear sees the lion. If someone is rough then they see the lion. If someone chases the lion and the lion chases the bear then they chase the bear. If someone chases the lion and the lion chases the bear then they are kind.
The lion does not see the lion.
@0: The bear chases the lion.[(triple1)] The bear is big.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear sees the lion.[(triple5 OR ((triple6 triple7) -> rule5))] The bear visits the lion.[(triple6)] The lion is red.[(triple7)] The lion is round.[(triple8)] The lion sees the bear.[(triple9)] The lion visits the bear.[(triple10)] @1: The lion sees the lion.[(((triple7) -> rule1))]