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