The cat sees the lion. The dog needs the lion. The lion is rough. The mouse does not visit the dog. If someone visits the lion then they see the mouse. If the dog is young and the dog needs the mouse then the mouse sees the lion. If someone sees the lion then the lion needs the mouse. If someone is young and they see the cat then they do not need the dog. If someone needs the cat and they need the dog then they see the lion. If someone sees the mouse and they visit the dog then the dog visits the lion.
The lion is rough.
@0: The cat sees the lion.[(triple1)] The dog needs the lion.[(triple2)] The lion is rough.[(triple3)] The mouse does not visit the dog.[(triple4)] @1: The lion needs the mouse.[(((triple1) -> rule3))]