The dog is kind. The dog is young. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit likes the mouse. The rabbit needs the dog. The rabbit sees the dog. If something sees the mouse then it does not need the dog. If the mouse sees the dog and the dog does not need the mouse then the mouse does not need the dog. If the dog needs the rabbit then the rabbit sees the mouse. If something needs the rabbit then the rabbit needs the mouse. If something sees the dog and it sees the rabbit then it is round. If something is round and it does not see the mouse then it is kind.
The dog is not young.
@0: The dog is kind.[(triple1)] The dog is young.[(triple2)] The mouse needs the rabbit.[(triple3)] The mouse sees the rabbit.[(triple4)] The rabbit likes the mouse.[(triple5)] The rabbit needs the dog.[(triple6)] The rabbit sees the dog.[(triple7)] @1: The rabbit needs the mouse.[(((triple3) -> rule4))]