The dog likes the lion. The dog needs the lion. The lion does not like the dog. The lion does not need the mouse. The lion visits the dog. The mouse likes the lion. The mouse needs the dog. If someone visits the lion and they are not kind then they visit the dog. If the mouse is not blue then the mouse needs the lion. If someone is kind and young then they do not need the mouse. If someone is red and they do not need the dog then they are not cold. If someone is young then they like the mouse. If someone needs the dog then they are young.
The dog is not kind.
@0: The dog likes the lion.[(triple1)] The dog needs the lion.[(triple2)] The lion does not like the dog.[(triple3)] The lion does not need the mouse.[(triple4)] The lion visits the dog.[(triple5)] The mouse likes the lion.[(triple6)] The mouse needs the dog.[(triple7)] @1: The mouse is young.[(((triple7) -> rule6))] @2: The mouse likes the mouse.[(((((triple7) -> rule6)) -> rule5))]