The bear is big. The bear is nice. The bear likes the lion. The bear needs the mouse. The lion chases the bear. The lion is green. The lion is young. The lion likes the bear. The mouse chases the bear. The mouse chases the lion. The mouse is nice. The mouse needs the lion. If someone chases the bear then the bear needs the lion. If someone needs the mouse and the mouse likes the bear then the mouse is young. If someone likes the mouse and they are green then they like the lion. If someone is big then they need the bear. If someone likes the bear then they are big. If someone chases the lion then they like the bear.
The mouse needs the bear.
@0: The bear is big.[(triple1)] The bear is nice.[(triple2)] The bear likes the lion.[(triple3)] The bear needs the mouse.[(triple4)] The lion chases the bear.[(triple5)] The lion is green.[(triple6)] The lion is young.[(triple7)] The lion likes the bear.[(triple8)] The mouse chases the bear.[(triple9)] The mouse chases the lion.[(triple10)] The mouse is nice.[(triple11)] The mouse needs the lion.[(triple12)] @1: The bear needs the bear.[(((triple1) -> rule4))] The bear needs the lion.[(((triple5) -> rule1) OR ((triple9) -> rule1))] The lion is big.[(((triple8) -> rule5))] The mouse likes the bear.[(((triple10) -> rule6))] @2: The lion needs the bear.[(((((triple8) -> rule5)) -> rule4))] The mouse is big.[(((((triple10) -> rule6)) -> rule5))] The mouse is young.[(((triple4 ((triple10) -> rule6)) -> rule2))] @3: The mouse needs the bear.[(((((((triple10) -> rule6)) -> rule5)) -> rule4))]