The bear chases the mouse. The bear chases the rabbit. The bear likes the lion. The bear likes the mouse. The lion does not chase the bear. The lion chases the rabbit. The lion is not kind. The lion is red. The lion likes the bear. The lion visits the mouse. The mouse chases the bear. The mouse chases the rabbit. The mouse is big. The mouse does not visit the lion. The rabbit visits the bear. If something likes the mouse then the mouse is kind. If something likes the mouse then it likes the lion. If something is red then it likes the lion. If something likes the bear then the bear chases the lion. If something is red and it does not chase the bear then it visits the mouse. If something chases the mouse then it chases the lion.
The bear visits the lion.
@0: The bear chases the mouse.[(triple1)] The bear chases the rabbit.[(triple2)] The bear likes the lion.[(triple3 OR ((triple4) -> rule2))] The bear likes the mouse.[(triple4)] The lion chases the rabbit.[(triple6)] The lion does not chase the bear.[(triple5)] The lion is not kind.[(triple7)] The lion is red.[(triple8)] The lion likes the bear.[(triple9)] The lion visits the mouse.[(triple10 OR ((triple8 triple5) -> rule5))] The mouse chases the bear.[(triple11)] The mouse chases the rabbit.[(triple12)] The mouse does not visit the lion.[(triple14)] The mouse is big.[(triple13)] The rabbit visits the bear.[(triple15)] @1: The bear chases the lion.[(((triple1) -> rule6) OR ((triple9) -> rule4))] The lion likes the lion.[(((triple8) -> rule3))] The mouse is kind.[(((triple4) -> rule1))]