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