The bear eats the lion. The bear eats the mouse. The bear is cold. The bear is round. The bear is young. The bear does not need the lion. The lion eats the bear. The lion eats the mouse. The lion is nice. The lion is young. The lion does not like the mouse. The mouse does not eat the bear. The mouse is kind. The mouse is round. The mouse likes the lion. If something eats the lion then it likes the bear. If something likes the lion and the lion does not eat the bear then the lion is cold. If something is young and it does not need the lion then it is round. If something likes the bear then it is kind. If something needs the lion then the lion needs the mouse. If something eats the mouse then it eats the lion. If something likes the lion and it does not need the lion then it needs the bear. If the bear is not kind and the bear does not eat the mouse then the bear is not nice.
The lion does not like the bear.
@0: The bear does not need the lion.[(triple6)] The bear eats the lion.[(triple1 OR ((triple2) -> rule6))] The bear eats the mouse.[(triple2)] The bear is cold.[(triple3)] The bear is round.[(triple4 OR ((triple5 triple6) -> rule3))] The bear is young.[(triple5)] The lion does not like the mouse.[(triple11)] The lion eats the bear.[(triple7)] The lion eats the mouse.[(triple8)] The lion is nice.[(triple9)] The lion is young.[(triple10)] The mouse does not eat the bear.[(triple12)] The mouse is kind.[(triple13)] The mouse is round.[(triple14)] The mouse likes the lion.[(triple15)] @1: The bear likes the bear.[(((triple1) -> rule1) OR ((((triple2) -> rule6)) -> rule1))] The lion eats the lion.[(((triple8) -> rule6))] @2: The bear is kind.[(((((triple1) -> rule1)) -> rule4) OR ((((((triple2) -> rule6)) -> rule1)) -> rule4))] The lion likes the bear.[(((((triple8) -> rule6)) -> rule1))] @3: The lion is kind.[(((((((triple8) -> rule6)) -> rule1)) -> rule4))]