The dog sees the rabbit. The dog visits the squirrel. The mouse chases the dog. The mouse chases the squirrel. The mouse visits the squirrel. The rabbit is blue. The squirrel sees the dog. If something visits the rabbit then the rabbit sees the dog. If something is rough then it visits the rabbit. If something is young then it chases the rabbit. If something is round then it is rough. If something sees the mouse then it chases the rabbit. If the squirrel chases the mouse and the mouse is green then the mouse chases the rabbit. If something sees the dog then it is young. If the dog is rough and the dog is round then the dog chases the rabbit.
The dog is not rough.
@0: The dog sees the rabbit.[(triple1)] The dog visits the squirrel.[(triple2)] The mouse chases the dog.[(triple3)] The mouse chases the squirrel.[(triple4)] The mouse visits the squirrel.[(triple5)] The rabbit is blue.[(triple6)] The squirrel sees the dog.[(triple7)] @1: The squirrel is young.[(((triple7) -> rule7))] @2: The squirrel chases the rabbit.[(((((triple7) -> rule7)) -> rule3))]