The bear eats the lion. The bear is red. The bear sees the lion. The lion is nice. The lion needs the mouse. The lion sees the mouse. The mouse eats the lion. The mouse is red. The mouse is round. The mouse sees the lion. If something is red and it eats the mouse then the mouse is nice. If something sees the lion and it is red then the lion sees the bear. If something needs the bear then it needs the lion. If the bear is kind then the bear eats the mouse. If something sees the bear and the bear eats the mouse then the bear needs the mouse. If the bear eats the mouse then the bear is nice. If something is red then it needs the bear. If something sees the lion then the lion is red.
The mouse is round.
@0: The bear eats the lion.[(triple1)] The bear is red.[(triple2)] The bear sees the lion.[(triple3)] The lion is nice.[(triple4)] The lion needs the mouse.[(triple5)] The lion sees the mouse.[(triple6)] The mouse eats the lion.[(triple7)] The mouse is red.[(triple8)] The mouse is round.[(triple9)] The mouse sees the lion.[(triple10)] @1: The bear needs the bear.[(((triple2) -> rule7))] The lion is red.[(((triple10) -> rule8) OR ((triple3) -> rule8))] The lion sees the bear.[(((triple10 triple8) -> rule2) OR ((triple3 triple2) -> rule2))] The mouse needs the bear.[(((triple8) -> rule7))] @2: The bear needs the lion.[(((((triple2) -> rule7)) -> rule3))] The lion needs the bear.[(((((triple10) -> rule8)) -> rule7) OR ((((triple3) -> rule8)) -> rule7))] The mouse needs the lion.[(((((triple8) -> rule7)) -> rule3))] @3: The lion needs the lion.[(((((((triple10) -> rule8)) -> rule7)) -> rule3) OR ((((((triple3) -> rule8)) -> rule7)) -> rule3))]