The dog chases the lion. The dog chases the mouse. The dog is kind. The dog is young. The dog needs the squirrel. The dog visits the lion. The dog visits the squirrel. The lion chases the dog. The lion chases the squirrel. The lion is round. The lion needs the dog. The lion visits the dog. The lion visits the squirrel. The mouse needs the dog. The squirrel chases the mouse. The squirrel is kind. If someone chases the squirrel and the squirrel is red then the squirrel is kind. If the lion chases the dog then the dog is round. If the mouse needs the squirrel and the squirrel visits the lion then the squirrel chases the mouse. If someone is round and they need the lion then they visit the mouse. If someone visits the mouse and the mouse is rough then they need the squirrel. If someone needs the squirrel then they chase the mouse. If someone chases the dog then they need the lion. If someone visits the mouse and they need the lion then the lion is kind. If someone is kind then they need the squirrel.
The lion does not visit the lion.
@0: The dog chases the lion.[(triple1)] The dog chases the mouse.[(triple2 OR ((triple5) -> rule6) OR ((((triple3) -> rule9)) -> rule6))] The dog is kind.[(triple3)] The dog is young.[(triple4)] The dog needs the squirrel.[(triple5 OR ((triple3) -> rule9))] The dog visits the lion.[(triple6)] The dog visits the squirrel.[(triple7)] The lion chases the dog.[(triple8)] The lion chases the squirrel.[(triple9)] The lion is round.[(triple10)] The lion needs the dog.[(triple11)] The lion visits the dog.[(triple12)] The lion visits the squirrel.[(triple13)] The mouse needs the dog.[(triple14)] The squirrel chases the mouse.[(triple15 OR ((((triple16) -> rule9)) -> rule6))] The squirrel is kind.[(triple16)] @1: The dog is round.[(((triple8) -> rule2))] The lion needs the lion.[(((triple8) -> rule7))] The squirrel needs the squirrel.[(((triple16) -> rule9))] @2: The lion visits the mouse.[(((triple10 ((triple8) -> rule7)) -> rule4))] @3: The lion is kind.[(((((triple10 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule8))] @4: The lion needs the squirrel.[(((((((triple10 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule8)) -> rule9))] @5: The lion chases the mouse.[(((((((((triple10 ((triple8) -> rule7)) -> rule4) ((triple8) -> rule7)) -> rule8)) -> rule9)) -> rule6))]