The lion is green. The lion is kind. The lion needs the tiger. The lion visits the tiger. The mouse needs the tiger. The mouse sees the tiger. The tiger is cold. The tiger is not kind. The tiger does not need the mouse. The tiger sees the lion. The tiger sees the mouse. The tiger does not visit the mouse. If the mouse visits the tiger then the mouse is cold. All cold people are blue. If someone is round then they see the tiger. If someone visits the lion then they do not need the tiger. If someone sees the tiger and they visit the lion then they see the lion. If someone sees the tiger then they visit the tiger. If someone visits the mouse and they are blue then the mouse visits the tiger. If the lion does not need the mouse then the lion does not need the tiger.
The tiger does not need the tiger.
@0: The lion is green.[(triple1)] The lion is kind.[(triple2)] The lion needs the tiger.[(triple3)] The lion visits the tiger.[(triple4)] The mouse needs the tiger.[(triple5)] The mouse sees the tiger.[(triple6)] The tiger does not need the mouse.[(triple9)] The tiger does not visit the mouse.[(triple12)] The tiger is cold.[(triple7)] The tiger is not kind.[(triple8)] The tiger sees the lion.[(triple10)] The tiger sees the mouse.[(triple11)] @1: The mouse visits the tiger.[(((triple6) -> rule6))] The tiger is blue.[(((triple7) -> rule2))] @2: The mouse is cold.[(((((triple6) -> rule6)) -> rule1))] @3: The mouse is blue.[(((((((triple6) -> rule6)) -> rule1)) -> rule2))]