The cat is young. The dog does not visit the mouse. The lion is big. The mouse is round. If someone chases the dog then they do not chase the mouse. If the dog does not visit the lion then the dog visits the cat. If the dog does not visit the mouse then the mouse does not chase the lion. If someone chases the lion then they are not rough. If the cat chases the mouse and the mouse chases the lion then the mouse chases the dog. If someone likes the lion and the lion chases the dog then the dog is not round. If someone is round and they do not chase the lion then the lion does not chase the mouse. If the lion does not chase the mouse then the lion visits the mouse.
The mouse chases the lion.
@0: The cat is young.[(triple1)] The dog does not visit the mouse.[(triple2)] The lion is big.[(triple3)] The mouse is round.[(triple4)] @1: The mouse does not chase the lion.[(((triple2) -> rule3))] @2: The lion does not chase the mouse.[(((triple4 ((triple2) -> rule3)) -> rule7))] @3: The lion visits the mouse.[(((((triple4 ((triple2) -> rule3)) -> rule7)) -> rule8))]