The cat chases the dog. The cat chases the mouse. The cat is big. The cat is cold. The cat is rough. The cat is round. The cat likes the mouse. The cat needs the dog. The dog chases the mouse. The mouse is big. The mouse is cold. The mouse is young. The mouse likes the dog. The mouse needs the tiger. The tiger is round. The tiger likes the mouse. If the cat likes the tiger then the tiger is young. If someone is young then they need the cat. If the tiger needs the mouse then the mouse likes the cat. If someone chases the tiger and the tiger needs the mouse then the mouse needs the cat. If someone likes the tiger and they are rough then they chase the tiger. If the tiger needs the cat then the tiger chases the mouse. If someone needs the mouse and they need the cat then the cat likes the mouse. If someone needs the tiger and the tiger is big then the tiger is young.
The mouse does not need the cat.
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2)] The cat is big.[(triple3)] The cat is cold.[(triple4)] The cat is rough.[(triple5)] The cat is round.[(triple6)] The cat likes the mouse.[(triple7)] The cat needs the dog.[(triple8)] The dog chases the mouse.[(triple9)] The mouse is big.[(triple10)] The mouse is cold.[(triple11)] The mouse is young.[(triple12)] The mouse likes the dog.[(triple13)] The mouse needs the tiger.[(triple14)] The tiger is round.[(triple15)] The tiger likes the mouse.[(triple16)] @1: The mouse needs the cat.[(((triple12) -> rule2))]