The lion is green. The lion is not red. The mouse is green. The mouse visits the lion. The tiger is red. The tiger sees the lion. The tiger visits the lion. If someone is red then they need the tiger. If someone is green then they visit the mouse. If someone needs the lion then the lion does not need the mouse. If someone visits the mouse then they visit the tiger. If someone visits the tiger then they need the mouse. If someone visits the tiger and they are big then they are nice. If someone is big and they need the mouse then they see the tiger. If someone sees the lion and they do not visit the mouse then the lion visits the tiger.
The mouse is nice.
@0: The lion is green.[(triple1)] The lion is not red.[(triple2)] The mouse is green.[(triple3)] The mouse visits the lion.[(triple4)] The tiger is red.[(triple5)] The tiger sees the lion.[(triple6)] The tiger visits the lion.[(triple7)] @1: The lion visits the mouse.[(((triple1) -> rule2))] The mouse visits the mouse.[(((triple3) -> rule2))] The tiger needs the tiger.[(((triple5) -> rule1))] @2: The lion visits the tiger.[(((((triple1) -> rule2)) -> rule4))] The mouse visits the tiger.[(((((triple3) -> rule2)) -> rule4))] @3: The lion needs the mouse.[(((((((triple1) -> rule2)) -> rule4)) -> rule5))] The mouse needs the mouse.[(((((((triple3) -> rule2)) -> rule4)) -> rule5))]