The dog is kind. The dog likes the lion. The dog needs the mouse. The dog needs the squirrel. The lion chases the dog. The lion is young. The lion needs the dog. The lion needs the mouse. The mouse chases the lion. The mouse is blue. The mouse is cold. The squirrel is cold. If something is blue then it needs the mouse. If something chases the squirrel then it likes the squirrel. If the dog likes the squirrel then the squirrel is nice. Nice things are young. If something is kind then it likes the squirrel. If something needs the squirrel and it chases the squirrel then it is cold.
The lion does not need the dog.
@0: The dog is kind.[(triple1)] The dog likes the lion.[(triple2)] The dog needs the mouse.[(triple3)] The dog needs the squirrel.[(triple4)] The lion chases the dog.[(triple5)] The lion is young.[(triple6)] The lion needs the dog.[(triple7)] The lion needs the mouse.[(triple8)] The mouse chases the lion.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The squirrel is cold.[(triple12)] @1: The dog likes the squirrel.[(((triple1) -> rule5))] The mouse needs the mouse.[(((triple10) -> rule1))] @2: The squirrel is nice.[(((((triple1) -> rule5)) -> rule3))] @3: The squirrel is young.[(((((((triple1) -> rule5)) -> rule3)) -> rule4))]