The lion eats the tiger. The lion is blue. The mouse is not nice. The tiger eats the lion. The tiger eats the mouse. The tiger is blue. The tiger likes the lion. If something is young and it does not eat the lion then the lion eats the mouse. If something eats the tiger then the tiger is nice. If something likes the tiger and it likes the lion then it likes the mouse. If something eats the mouse then it visits the tiger. If the lion likes the tiger then the tiger visits the lion. If something visits the tiger then the tiger visits the mouse. If the mouse visits the lion and the mouse eats the tiger then the tiger likes the lion. If something is round and it does not visit the mouse then it is nice.
The tiger is round.
@0: The lion eats the tiger.[(triple1)] The lion is blue.[(triple2)] The mouse is not nice.[(triple3)] The tiger eats the lion.[(triple4)] The tiger eats the mouse.[(triple5)] The tiger is blue.[(triple6)] The tiger likes the lion.[(triple7)] @1: The tiger is nice.[(((triple1) -> rule2))] The tiger visits the tiger.[(((triple5) -> rule4))] @2: The tiger visits the mouse.[(((((triple5) -> rule4)) -> rule6))]