The bear needs the squirrel. The dog likes the bear. The dog needs the squirrel. The dog sees the squirrel. The squirrel is green. The squirrel is kind. The squirrel is not rough. The squirrel likes the dog. The squirrel needs the bear. The squirrel does not need the dog. The squirrel sees the bear. The squirrel sees the dog. If something sees the dog then it likes the bear. If the dog is young then the dog sees the bear. If something likes the bear then the bear likes the squirrel. If the squirrel is green and the squirrel likes the bear then the squirrel is kind. If something likes the dog then the dog is round. If something likes the bear then it is round. If something is rough then it sees the bear. If something is green and not round then it is rough.
The squirrel does not need the bear.
@0: The bear needs the squirrel.[(triple1)] The dog likes the bear.[(triple2)] The dog needs the squirrel.[(triple3)] The dog sees the squirrel.[(triple4)] The squirrel does not need the dog.[(triple10)] The squirrel is green.[(triple5)] The squirrel is kind.[(triple6 OR ((triple5 ((triple12) -> rule1)) -> rule4))] The squirrel is not rough.[(triple7)] The squirrel likes the dog.[(triple8)] The squirrel needs the bear.[(triple9)] The squirrel sees the bear.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The bear likes the squirrel.[(((triple2) -> rule3) OR ((((triple12) -> rule1)) -> rule3))] The dog is round.[(((triple2) -> rule6) OR ((triple8) -> rule5))] The squirrel likes the bear.[(((triple12) -> rule1))] @2: The squirrel is round.[(((((triple12) -> rule1)) -> rule6))]