The dog chases the squirrel. The dog likes the mouse. The dog likes the squirrel. The mouse chases the dog. The mouse chases the squirrel. The mouse needs the dog. The mouse needs the squirrel. The squirrel is kind. The squirrel is red. The squirrel likes the dog. If something chases the mouse then the mouse is red. If something needs the mouse and it likes the dog then the dog is blue. If something is rough then it likes the squirrel. If something needs the dog and the dog chases the mouse then the mouse likes the dog. If something likes the squirrel then it needs the squirrel. If something chases the squirrel and it likes the dog then the dog is kind. If something needs the squirrel then the squirrel chases the dog. If something needs the dog and the dog is rough then it is kind.
The mouse does not chase the squirrel.
@0: The dog chases the squirrel.[(triple1)] The dog likes the mouse.[(triple2)] The dog likes the squirrel.[(triple3)] The mouse chases the dog.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse needs the dog.[(triple6)] The mouse needs the squirrel.[(triple7)] The squirrel is kind.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the dog.[(triple10)] @1: The dog needs the squirrel.[(((triple3) -> rule5))] The squirrel chases the dog.[(((triple7) -> rule7) OR ((((triple3) -> rule5)) -> rule7))]