The bear likes the lion. The lion sees the mouse. The mouse likes the bear. The tiger likes the bear. If something likes the bear then it is not round.
The mouse does not like the bear.
@0: The bear likes the lion.[(triple1)] The lion sees the mouse.[(triple2)] The mouse likes the bear.[(triple3)] The tiger likes the bear.[(triple4)] @1: The mouse is not round.[(((triple3) -> rule1))] The tiger is not round.[(((triple4) -> rule1))]