The dog is rough. The dog visits the lion. The lion chases the mouse. The lion is big. The lion is rough. The mouse chases the lion. The mouse is rough. The mouse is young. The tiger chases the mouse. The tiger is not rough. The tiger visits the dog. The tiger visits the lion. If someone is round then they chase the dog. If someone visits the dog then they visit the mouse. If the lion is nice and the dog does not visit the lion then the dog visits the tiger. If someone needs the lion and they do not need the dog then the lion is young. If someone visits the mouse then the mouse needs the tiger. If someone is young and they do not visit the mouse then the mouse chases the lion.
The mouse does not need the tiger.
@0: The dog is rough.[(triple1)] The dog visits the lion.[(triple2)] The lion chases the mouse.[(triple3)] The lion is big.[(triple4)] The lion is rough.[(triple5)] The mouse chases the lion.[(triple6)] The mouse is rough.[(triple7)] The mouse is young.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger is not rough.[(triple10)] The tiger visits the dog.[(triple11)] The tiger visits the lion.[(triple12)] @1: The tiger visits the mouse.[(((triple11) -> rule2))] @2: The mouse needs the tiger.[(((((triple11) -> rule2)) -> rule5))]