The bear is young. The bear sees the cow. The bear sees the lion. The bear sees the mouse. The cow chases the bear. The cow is young. The cow needs the bear. The cow sees the bear. The cow sees the lion. The lion chases the cow. The lion chases the mouse. The lion sees the mouse. The mouse chases the cow. The mouse needs the cow. The mouse needs the lion. If something sees the lion then the lion sees the cow. If something is blue and it sees the bear then the bear chases the cow. If something needs the bear and it sees the mouse then the mouse chases the lion. If something sees the lion then the lion needs the bear. If something sees the bear and the bear sees the cow then the bear is young. If something chases the lion and the lion sees the cow then it is big.
The bear does not need the lion.
@0: The bear is young.[(triple1 OR ((triple8 triple2) -> rule5))] The bear sees the cow.[(triple2)] The bear sees the lion.[(triple3)] The bear sees the mouse.[(triple4)] The cow chases the bear.[(triple5)] The cow is young.[(triple6)] The cow needs the bear.[(triple7)] The cow sees the bear.[(triple8)] The cow sees the lion.[(triple9)] The lion chases the cow.[(triple10)] The lion chases the mouse.[(triple11)] The lion sees the mouse.[(triple12)] The mouse chases the cow.[(triple13)] The mouse needs the cow.[(triple14)] The mouse needs the lion.[(triple15)] @1: The lion needs the bear.[(((triple3) -> rule4) OR ((triple9) -> rule4))] The lion sees the cow.[(((triple3) -> rule1) OR ((triple9) -> rule1))] @2: The mouse chases the lion.[(((((triple3) -> rule4) triple12) -> rule3) OR ((((triple9) -> rule4) triple12) -> rule3))] @3: The mouse is big.[(((((((triple3) -> rule4) triple12) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((triple3) -> rule4) triple12) -> rule3) ((triple9) -> rule1)) -> rule6) OR ((((((triple9) -> rule4) triple12) -> rule3) ((triple3) -> rule1)) -> rule6) OR ((((((triple9) -> rule4) triple12) -> rule3) ((triple9) -> rule1)) -> rule6))]