The bear chases the lion. The bear is not kind. The bear visits the lion. The dog needs the squirrel. The lion chases the squirrel. The lion is nice. The lion is red. The squirrel is nice. The squirrel is red. The squirrel needs the bear. The squirrel needs the dog. The squirrel visits the dog. If the bear visits the dog then the bear needs the dog. If someone visits the lion and the lion needs the bear then the lion is not big. If someone chases the dog then the dog visits the bear. If someone is nice and they chase the dog then the dog visits the lion. If someone needs the dog and the dog chases the lion then the dog is blue. If someone visits the lion then they visit the dog. If someone visits the dog then the dog chases the squirrel. If someone visits the lion and they need the dog then they chase the squirrel.
The lion is not nice.
@0: The bear chases the lion.[(triple1)] The bear is not kind.[(triple2)] The bear visits the lion.[(triple3)] The dog needs the squirrel.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is nice.[(triple6)] The lion is red.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is red.[(triple9)] The squirrel needs the bear.[(triple10)] The squirrel needs the dog.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The bear visits the dog.[(((triple3) -> rule6))] The dog chases the squirrel.[(((triple12) -> rule7) OR ((((triple3) -> rule6)) -> rule7))] @2: The bear needs the dog.[(((((triple3) -> rule6)) -> rule1))] @3: The bear chases the squirrel.[(((triple3 ((((triple3) -> rule6)) -> rule1)) -> rule8))]