The dog is round. The dog needs the squirrel. The dog sees the squirrel. The lion chases the dog. The lion chases the mouse. The lion is green. The lion needs the squirrel. The lion sees the dog. The lion sees the mouse. The lion sees the squirrel. The mouse is green. The squirrel is green. If something sees the mouse and the mouse needs the lion then it needs the dog. If the lion is cold and the lion needs the dog then the lion is kind. If something is green and it needs the lion then it chases the lion. If something needs the squirrel and the squirrel sees the mouse then the squirrel chases the mouse. If something chases the dog then the dog is green. If something is kind then it is round. If something is rough then it needs the dog. If something chases the lion and it sees the mouse then the lion needs the mouse.
The lion is not green.
@0: The dog is round.[(triple1)] The dog needs the squirrel.[(triple2)] The dog sees the squirrel.[(triple3)] The lion chases the dog.[(triple4)] The lion chases the mouse.[(triple5)] The lion is green.[(triple6)] The lion needs the squirrel.[(triple7)] The lion sees the dog.[(triple8)] The lion sees the mouse.[(triple9)] The lion sees the squirrel.[(triple10)] The mouse is green.[(triple11)] The squirrel is green.[(triple12)] @1: The dog is green.[(((triple4) -> rule5))]