The cat eats the lion. The cat is young. The cat likes the lion. The lion chases the cat. The lion chases the mouse. The lion is big. The lion is nice. The mouse chases the cat. The mouse eats the squirrel. The mouse likes the lion. The squirrel chases the cat. The squirrel chases the lion. The squirrel chases the mouse. The squirrel eats the mouse. The squirrel is rough. The squirrel likes the lion. If something eats the mouse then the mouse is nice. If something eats the lion and it chases the squirrel then the squirrel is rough. If something likes the mouse then the mouse is big. If something is rough then it likes the mouse. If something is rough and it eats the squirrel then the squirrel chases the lion. If the lion likes the cat then the cat eats the mouse. If something likes the mouse then it eats the mouse. Big things are rough.
The squirrel does not chase the lion.
@0: The cat eats the lion.[(triple1)] The cat is young.[(triple2)] The cat likes the lion.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the mouse.[(triple5)] The lion is big.[(triple6)] The lion is nice.[(triple7)] The mouse chases the cat.[(triple8)] The mouse eats the squirrel.[(triple9)] The mouse likes the lion.[(triple10)] The squirrel chases the cat.[(triple11)] The squirrel chases the lion.[(triple12 OR ((((((((triple15) -> rule4)) -> rule3)) -> rule8) triple9) -> rule5) OR ((((((((((triple6) -> rule8)) -> rule4)) -> rule3)) -> rule8) triple9) -> rule5))] The squirrel chases the mouse.[(triple13)] The squirrel eats the mouse.[(triple14 OR ((((triple15) -> rule4)) -> rule7))] The squirrel is rough.[(triple15)] The squirrel likes the lion.[(triple16)] @1: The lion is rough.[(((triple6) -> rule8))] The mouse is nice.[(((triple14) -> rule1) OR ((((((triple15) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule7)) -> rule1) OR ((((((((((((triple15) -> rule4)) -> rule3)) -> rule8)) -> rule4)) -> rule7)) -> rule1) OR ((((((((((((((triple6) -> rule8)) -> rule4)) -> rule3)) -> rule8)) -> rule4)) -> rule7)) -> rule1))] The squirrel likes the mouse.[(((triple15) -> rule4))] @2: The lion likes the mouse.[(((((triple6) -> rule8)) -> rule4))] The mouse is big.[(((((triple15) -> rule4)) -> rule3) OR ((((((triple6) -> rule8)) -> rule4)) -> rule3))] @3: The lion eats the mouse.[(((((((triple6) -> rule8)) -> rule4)) -> rule7))] The mouse is rough.[(((((((triple15) -> rule4)) -> rule3)) -> rule8) OR ((((((((triple6) -> rule8)) -> rule4)) -> rule3)) -> rule8))] @4: The mouse likes the mouse.[(((((((((triple15) -> rule4)) -> rule3)) -> rule8)) -> rule4) OR ((((((((((triple6) -> rule8)) -> rule4)) -> rule3)) -> rule8)) -> rule4))] @5: The mouse eats the mouse.[(((((((((((triple15) -> rule4)) -> rule3)) -> rule8)) -> rule4)) -> rule7) OR ((((((((((((triple6) -> rule8)) -> rule4)) -> rule3)) -> rule8)) -> rule4)) -> rule7))]