The bear visits the lion. The dog visits the rabbit. The lion visits the rabbit. The rabbit likes the lion. If something visits the rabbit and the rabbit likes the lion then the rabbit sees the lion. If something is kind and it likes the rabbit then it visits the dog. If something likes the rabbit then it is blue. If something likes the rabbit and it likes the bear then it sees the dog. If something visits the rabbit then it sees the rabbit. If something is red then it sees the bear.
The dog does not see the dog.
@0: The bear visits the lion.[(triple1)] The dog visits the rabbit.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit likes the lion.[(triple4)] @1: The dog sees the rabbit.[(((triple2) -> rule5))] The lion sees the rabbit.[(((triple3) -> rule5))] The rabbit sees the lion.[(((triple2 triple4) -> rule1) OR ((triple3 triple4) -> rule1))]