The bear sees the rabbit. The rabbit sees the bear. If something chases the rabbit and the rabbit sees the bear then it is nice. All round things are nice. If something chases the rabbit then it chases the bear. If something visits the bear then the bear visits the rabbit. If the rabbit is nice then the rabbit chases the bear. If something chases the rabbit then it visits the bear. If something sees the bear then it chases the rabbit. If something is green and it visits the bear then the bear sees the rabbit.
The rabbit visits the rabbit.
@0: The bear sees the rabbit.[(triple1)] The rabbit sees the bear.[(triple2)] @1: The rabbit chases the rabbit.[(((triple2) -> rule7))] @2: The rabbit chases the bear.[(((((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule7) triple2) -> rule1)) -> rule5))] The rabbit is nice.[(((((triple2) -> rule7) triple2) -> rule1))] The rabbit visits the bear.[(((((triple2) -> rule7)) -> rule6))] @3: The bear visits the rabbit.[(((((((triple2) -> rule7)) -> rule6)) -> rule4))]