The bear chases the lion. The bear chases the mouse. The bear eats the lion. The bear is kind. The bear is nice. The bear visits the lion. The bear visits the mouse. The lion chases the bear. The lion eats the bear. The lion is kind. The lion visits the mouse. The mouse chases the lion. The mouse eats the lion. The mouse is red. The mouse visits the bear. The mouse visits the lion. If someone visits the lion and they eat the lion then they eat the bear. If the mouse chases the lion then the lion eats the mouse. If someone chases the lion and they are nice then they chase the bear. If someone chases the bear then the bear eats the mouse. If someone chases the lion and the lion chases the mouse then they are kind. If someone chases the lion and they visit the bear then they eat the mouse.
The mouse is not kind.
@0: The bear chases the lion.[(triple1)] The bear chases the mouse.[(triple2)] The bear eats the lion.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear visits the lion.[(triple6)] The bear visits the mouse.[(triple7)] The lion chases the bear.[(triple8)] The lion eats the bear.[(triple9)] The lion is kind.[(triple10)] The lion visits the mouse.[(triple11)] The mouse chases the lion.[(triple12)] The mouse eats the lion.[(triple13)] The mouse is red.[(triple14)] The mouse visits the bear.[(triple15)] The mouse visits the lion.[(triple16)] @1: The bear chases the bear.[(((triple1 triple5) -> rule3))] The bear eats the bear.[(((triple6 triple3) -> rule1))] The bear eats the mouse.[(((triple8) -> rule4) OR ((((triple1 triple5) -> rule3)) -> rule4))] The lion eats the mouse.[(((triple12) -> rule2))] The mouse eats the bear.[(((triple16 triple13) -> rule1))] The mouse eats the mouse.[(((triple12 triple15) -> rule6))]