The cow does not see the lion. The lion visits the cow. The rabbit is not rough. The tiger sees the rabbit. If someone visits the lion then the lion sees the cow. If someone sees the rabbit then they visit the lion. If the rabbit needs the tiger and the tiger does not need the rabbit then the rabbit visits the lion. If someone sees the lion then the lion sees the tiger. If the lion sees the tiger then the tiger is green. If someone visits the cow and the cow is not blue then they see the cow. If someone visits the tiger then the tiger sees the cow. If someone sees the cow then the cow visits the rabbit.
The lion does not see the cow.
@0: The cow does not see the lion.[(triple1)] The lion visits the cow.[(triple2)] The rabbit is not rough.[(triple3)] The tiger sees the rabbit.[(triple4)] @1: The tiger visits the lion.[(((triple4) -> rule2))] @2: The lion sees the cow.[(((((triple4) -> rule2)) -> rule1))] @3: The cow visits the rabbit.[(((((((triple4) -> rule2)) -> rule1)) -> rule8))]