The dog chases the mouse. The dog needs the lion. The dog needs the mouse. The lion chases the dog. The lion likes the dog. The lion likes the mouse. The mouse chases the lion. The mouse is kind. The mouse likes the dog. The mouse does not need the lion. If the lion needs the mouse then the lion likes the mouse. If the dog is blue then the dog likes the mouse. If the lion does not like the dog and the dog does not need the mouse then the dog does not need the lion. If something is cold then it chases the dog. If something is kind and it chases the lion then it chases the dog. If something is cold then it needs the dog. If something needs the mouse and the mouse chases the lion then it is blue. If something likes the mouse then it chases the lion.
The lion needs the dog.
@0: The dog chases the mouse.[(triple1)] The dog needs the lion.[(triple2)] The dog needs the mouse.[(triple3)] The lion chases the dog.[(triple4)] The lion likes the dog.[(triple5)] The lion likes the mouse.[(triple6)] The mouse chases the lion.[(triple7)] The mouse does not need the lion.[(triple10)] The mouse is kind.[(triple8)] The mouse likes the dog.[(triple9)] @1: The dog is blue.[(((triple3 triple7) -> rule7))] The lion chases the lion.[(((triple6) -> rule8))] The mouse chases the dog.[(((triple8 triple7) -> rule5))] @2: The dog likes the mouse.[(((((triple3 triple7) -> rule7)) -> rule2))] @3: The dog chases the lion.[(((((((triple3 triple7) -> rule7)) -> rule2)) -> rule8))]