The dog is not red. The lion is red. The lion is rough. The lion sees the dog. The rabbit is not green. The rabbit does not like the squirrel. The rabbit needs the dog. The rabbit sees the dog. The squirrel is blue. The squirrel needs the lion. The squirrel sees the lion. If the lion likes the dog then the dog sees the squirrel. If something likes the dog and the dog needs the rabbit then the rabbit needs the squirrel. If something sees the squirrel and it likes the rabbit then the rabbit needs the dog. If the squirrel needs the rabbit then the squirrel likes the rabbit. If something is green and it needs the dog then it sees the lion. If something is rough then it needs the squirrel. If something likes the lion and the lion needs the squirrel then the squirrel is rough. If something needs the squirrel then it likes the lion. If the dog does not need the squirrel then the dog sees the rabbit.
The squirrel does not like the lion.
@0: The dog is not red.[(triple1)] The lion is red.[(triple2)] The lion is rough.[(triple3)] The lion sees the dog.[(triple4)] The rabbit does not like the squirrel.[(triple6)] The rabbit is not green.[(triple5)] The rabbit needs the dog.[(triple7)] The rabbit sees the dog.[(triple8)] The squirrel is blue.[(triple9)] The squirrel needs the lion.[(triple10)] The squirrel sees the lion.[(triple11)] @1: The lion needs the squirrel.[(((triple3) -> rule6))] @2: The lion likes the lion.[(((((triple3) -> rule6)) -> rule8))] @3: The squirrel is rough.[(((((((triple3) -> rule6)) -> rule8) ((triple3) -> rule6)) -> rule7))] @4: The squirrel needs the squirrel.[(((((((((triple3) -> rule6)) -> rule8) ((triple3) -> rule6)) -> rule7)) -> rule6))] @5: The squirrel likes the lion.[(((((((((((triple3) -> rule6)) -> rule8) ((triple3) -> rule6)) -> rule7)) -> rule6)) -> rule8))]