The bear does not chase the squirrel. The squirrel needs the bear. If something needs the bear then it is young. If something needs the squirrel and it likes the bear then it is blue. If something is big and it needs the bear then it is green. If something needs the squirrel then it is not green. If something chases the squirrel and it is blue then the squirrel needs the bear. If something likes the bear then the bear needs the squirrel. If something is young then it likes the bear. If something needs the bear and the bear does not chase the squirrel then it is not big.
The squirrel needs the bear.
@0: The bear does not chase the squirrel.[(triple1)] The squirrel needs the bear.[(triple2)] @1: The squirrel is not big.[(((triple2 triple1) -> rule8))] The squirrel is young.[(((triple2) -> rule1))] @2: The squirrel likes the bear.[(((((triple2) -> rule1)) -> rule7))] @3: The bear needs the squirrel.[(((((((triple2) -> rule1)) -> rule7)) -> rule6))] @4: The bear is not green.[(((((((((triple2) -> rule1)) -> rule7)) -> rule6)) -> rule4))]