The cow needs the dog. The dog is red. The lion needs the dog. The tiger chases the cow. If someone chases the tiger then the tiger chases the dog. If someone sees the tiger and the tiger needs the dog then the dog chases the tiger. If someone needs the lion then they see the cow. If someone is red and they need the cow then the cow sees the tiger. If someone sees the tiger then they are big. If someone needs the dog then they see the dog. If the dog needs the lion then the dog sees the lion. If someone sees the dog then the dog needs the cow.
The lion does not see the cow.
@0: The cow needs the dog.[(triple1)] The dog is red.[(triple2)] The lion needs the dog.[(triple3)] The tiger chases the cow.[(triple4)] @1: The cow sees the dog.[(((triple1) -> rule6))] The lion sees the dog.[(((triple3) -> rule6))] @2: The dog needs the cow.[(((((triple1) -> rule6)) -> rule8) OR ((((triple3) -> rule6)) -> rule8))] @3: The cow sees the tiger.[(((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule4) OR ((triple2 ((((triple3) -> rule6)) -> rule8)) -> rule4))] @4: The cow is big.[(((((triple2 ((((triple1) -> rule6)) -> rule8)) -> rule4)) -> rule5) OR ((((triple2 ((((triple3) -> rule6)) -> rule8)) -> rule4)) -> rule5))]