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