The bear sees the tiger. The cat does not eat the tiger. The mouse visits the bear. The tiger visits the bear. If something visits the bear then the bear is not kind. If the cat sees the mouse then the cat is not round.
The tiger visits the bear.
@0: The bear sees the tiger.[(triple1)] The cat does not eat the tiger.[(triple2)] The mouse visits the bear.[(triple3)] The tiger visits the bear.[(triple4)] @1: The bear is not kind.[(((triple3) -> rule1) OR ((triple4) -> rule1))]