The lion is not round. The mouse eats the tiger. The tiger eats the lion. If something eats the mouse then the mouse eats the lion. If something needs the tiger and it is not young then the tiger does not need the lion. If the tiger eats the mouse then the mouse needs the lion. If something needs the lion and it is not round then it visits the lion. If something is round then it visits the lion. Blue things are green. If something eats the tiger then the tiger does not visit the lion. If something is round and it does not need the lion then the lion visits the tiger.
The tiger does not eat the lion.
@0: The lion is not round.[(triple1)] The mouse eats the tiger.[(triple2)] The tiger eats the lion.[(triple3)] @1: The tiger does not visit the lion.[(((triple2) -> rule7))]