The bear is young. The lion eats the bear. The lion is big. The mouse eats the bear. The mouse is big. The mouse is kind. The mouse likes the bear. The mouse likes the lion. The mouse needs the bear. The mouse needs the lion. If something eats the lion and it is kind then it needs the mouse. If something eats the lion and the lion needs the mouse then the lion eats the bear. If something needs the lion and the lion needs the bear then the lion likes the mouse. If the bear eats the mouse then the mouse is kind. If something is young then it likes the mouse. If something eats the lion and the lion needs the bear then the bear is nice. If something likes the lion then it is nice. If something needs the bear then the bear likes the mouse.
The mouse does not eat the lion.
@0: The bear is young.[(triple1)] The lion eats the bear.[(triple2)] The lion is big.[(triple3)] The mouse eats the bear.[(triple4)] The mouse is big.[(triple5)] The mouse is kind.[(triple6)] The mouse likes the bear.[(triple7)] The mouse likes the lion.[(triple8)] The mouse needs the bear.[(triple9)] The mouse needs the lion.[(triple10)] @1: The bear likes the mouse.[(((triple1) -> rule5) OR ((triple9) -> rule8))] The mouse is nice.[(((triple8) -> rule7))]