The bear is rough. The bear needs the squirrel. The mouse chases the bear. The mouse chases the squirrel. The mouse is round. The mouse needs the bear. The mouse needs the squirrel. The mouse sees the bear. The squirrel is not big. The squirrel is young. The squirrel does not need the mouse. The tiger is young. If something chases the tiger then the tiger is big. If something sees the mouse then it does not need the tiger. If the squirrel does not see the mouse then the mouse chases the bear. If something is round then it needs the squirrel. If something sees the bear then the bear chases the tiger. All big things are blue. If something needs the bear and it does not chase the bear then it sees the squirrel. If something sees the squirrel and it is round then the squirrel needs the tiger.
The bear chases the tiger.
@0: The bear is rough.[(triple1)] The bear needs the squirrel.[(triple2)] The mouse chases the bear.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse is round.[(triple5)] The mouse needs the bear.[(triple6)] The mouse needs the squirrel.[(triple7 OR ((triple5) -> rule4))] The mouse sees the bear.[(triple8)] The squirrel does not need the mouse.[(triple11)] The squirrel is not big.[(triple9)] The squirrel is young.[(triple10)] The tiger is young.[(triple12)] @1: The bear chases the tiger.[(((triple8) -> rule5))] @2: The tiger is big.[(((((triple8) -> rule5)) -> rule1))] @3: The tiger is blue.[(((((((triple8) -> rule5)) -> rule1)) -> rule6))]