The cat sees the rabbit. The cow visits the lion. The lion needs the cat. The rabbit visits the lion. If the cow is big then the cow does not see the lion. If someone is blue then they visit the lion. If someone needs the cow and the cow needs the rabbit then they see the cow. If someone sees the cat then the cat does not visit the rabbit. If someone visits the lion then they see the cat. If someone sees the rabbit then the rabbit is blue.
The lion does not need the cat.
@0: The cat sees the rabbit.[(triple1)] The cow visits the lion.[(triple2)] The lion needs the cat.[(triple3)] The rabbit visits the lion.[(triple4 OR ((((triple1) -> rule6)) -> rule2))] @1: The cow sees the cat.[(((triple2) -> rule5))] The rabbit is blue.[(((triple1) -> rule6))] The rabbit sees the cat.[(((triple4) -> rule5) OR ((((((triple1) -> rule6)) -> rule2)) -> rule5))] @2: The cat does not visit the rabbit.[(((((triple2) -> rule5)) -> rule4) OR ((((triple4) -> rule5)) -> rule4) OR ((((((((triple1) -> rule6)) -> rule2)) -> rule5)) -> rule4))]