The cat chases the squirrel. The cat needs the squirrel. The dog chases the mouse. The dog visits the squirrel. The mouse chases the cat. The mouse chases the squirrel. The mouse visits the dog. The squirrel chases the dog. The squirrel chases the mouse. The squirrel is blue. The squirrel is kind. The squirrel visits the mouse. If someone needs the cat then the cat chases the dog. If the dog needs the cat and the dog visits the cat then the cat visits the squirrel. If someone chases the squirrel and the squirrel visits the dog then the dog chases the squirrel. If someone is kind then they need the mouse. If someone needs the mouse then the mouse needs the cat. If the mouse chases the squirrel then the squirrel chases the cat.
The squirrel does not need the mouse.
@0: The cat chases the squirrel.[(triple1)] The cat needs the squirrel.[(triple2)] The dog chases the mouse.[(triple3)] The dog visits the squirrel.[(triple4)] The mouse chases the cat.[(triple5)] The mouse chases the squirrel.[(triple6)] The mouse visits the dog.[(triple7)] The squirrel chases the dog.[(triple8)] The squirrel chases the mouse.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is kind.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The squirrel chases the cat.[(((triple6) -> rule6))] The squirrel needs the mouse.[(((triple11) -> rule4))] @2: The mouse needs the cat.[(((((triple11) -> rule4)) -> rule5))] @3: The cat chases the dog.[(((((((triple11) -> rule4)) -> rule5)) -> rule1))]