The cow does not see the tiger. The cow does not visit the lion. The lion is blue. The lion is green. The lion needs the cow. The lion does not need the mouse. The lion needs the tiger. The lion visits the cow. The mouse sees the cow. The mouse sees the lion. The mouse visits the tiger. The tiger needs the cow. The tiger needs the lion. The tiger sees the cow. The tiger visits the lion. The tiger visits the mouse. All green people are big. If someone visits the cow then they see the cow. If the tiger needs the lion and the tiger needs the cow then the tiger is green. If someone is big then they do not see the tiger. If someone visits the lion then the lion sees the cow. If the cow needs the lion then the lion sees the cow. If the cow visits the lion then the lion visits the cow. If someone is blue and not young then they need the lion.
The tiger visits the lion.
@0: The cow does not see the tiger.[(triple1)] The cow does not visit the lion.[(triple2)] The lion does not need the mouse.[(triple6)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion needs the cow.[(triple5)] The lion needs the tiger.[(triple7)] The lion visits the cow.[(triple8)] The mouse sees the cow.[(triple9)] The mouse sees the lion.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger needs the cow.[(triple12)] The tiger needs the lion.[(triple13)] The tiger sees the cow.[(triple14)] The tiger visits the lion.[(triple15)] The tiger visits the mouse.[(triple16)] @1: The lion is big.[(((triple4) -> rule1))] The lion sees the cow.[(((triple15) -> rule5) OR ((triple8) -> rule2))] The tiger is green.[(((triple13 triple12) -> rule3))] @2: The lion does not see the tiger.[(((((triple4) -> rule1)) -> rule4))] The tiger is big.[(((((triple13 triple12) -> rule3)) -> rule1))] @3: The tiger does not see the tiger.[(((((((triple13 triple12) -> rule3)) -> rule1)) -> rule4))]