The bear likes the rabbit. The rabbit likes the bear. If something likes the rabbit then it visits the bear. If something is round and it eats the bear then it likes the bear. If something visits the rabbit and it is big then the rabbit is round.
The bear does not like the rabbit.
@0: The bear likes the rabbit.[(triple1)] The rabbit likes the bear.[(triple2)] @1: The bear visits the bear.[(((triple1) -> rule1))]