The dog does not like the mouse. The dog needs the lion. The dog does not see the mouse. The lion sees the mouse. The mouse likes the tiger. The tiger is blue. The tiger sees the dog. If someone sees the dog then they need the tiger. If someone needs the tiger then the tiger does not need the lion. If the dog sees the tiger then the tiger is not kind. If someone likes the tiger then they do not see the tiger. If someone likes the dog and the dog needs the tiger then the dog needs the mouse. If the mouse needs the tiger then the tiger does not see the mouse. If someone needs the mouse then the mouse sees the dog. If someone likes the dog then the dog needs the lion.
The tiger does not need the lion.
@0: The dog does not like the mouse.[(triple1)] The dog does not see the mouse.[(triple3)] The dog needs the lion.[(triple2)] The lion sees the mouse.[(triple4)] The mouse likes the tiger.[(triple5)] The tiger is blue.[(triple6)] The tiger sees the dog.[(triple7)] @1: The mouse does not see the tiger.[(((triple5) -> rule4))] The tiger needs the tiger.[(((triple7) -> rule1))] @2: The tiger does not need the lion.[(((((triple7) -> rule1)) -> rule2))]