The bear eats the mouse. The bear eats the rabbit. The bear is nice. The bear needs the mouse. The bear sees the mouse. The mouse eats the bear. The mouse is big. The mouse is kind. The mouse sees the bear. The rabbit is kind. If the bear eats the rabbit and the bear needs the mouse then the bear sees the rabbit. If the bear sees the rabbit then the rabbit needs the mouse. If something eats the bear and it sees the mouse then the mouse needs the bear. If something sees the mouse and it needs the rabbit then the mouse sees the bear. If something sees the rabbit and the rabbit sees the bear then it eats the bear. If something needs the bear and the bear sees the mouse then the bear needs the mouse. If something eats the bear and it is big then the bear is young. If the rabbit eats the mouse and the rabbit needs the bear then the bear is kind.
The bear is young.
@0: The bear eats the mouse.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is nice.[(triple3)] The bear needs the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The mouse eats the bear.[(triple6)] The mouse is big.[(triple7)] The mouse is kind.[(triple8)] The mouse sees the bear.[(triple9)] The rabbit is kind.[(triple10)] @1: The bear is young.[(((triple6 triple7) -> rule7))] The bear sees the rabbit.[(((triple2 triple4) -> rule1))] @2: The rabbit needs the mouse.[(((((triple2 triple4) -> rule1)) -> rule2))]