The bear chases the rabbit. The bear is green. The bear is kind. The bear sees the rabbit. The bear visits the rabbit. The rabbit is kind. The rabbit visits the bear. If someone sees the rabbit then they are kind. If someone visits the bear then they see the rabbit. If someone sees the rabbit then the rabbit visits the bear.
The bear does not visit the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear is green.[(triple2)] The bear is kind.[(triple3 OR ((triple4) -> rule1))] The bear sees the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The rabbit is kind.[(triple6 OR ((((triple7) -> rule2)) -> rule1) OR ((((((triple4) -> rule3)) -> rule2)) -> rule1))] The rabbit visits the bear.[(triple7 OR ((triple4) -> rule3))] @1: The rabbit sees the rabbit.[(((triple7) -> rule2) OR ((((triple4) -> rule3)) -> rule2))]