The bear likes the rabbit. The lion is nice. The mouse likes the bear. The rabbit likes the bear. If something chases the bear then the bear is nice. If something visits the mouse and it likes the mouse then the mouse is young. If something likes the rabbit then it chases the bear.
The mouse does not chase the bear.
@0: The bear likes the rabbit.[(triple1)] The lion is nice.[(triple2)] The mouse likes the bear.[(triple3)] The rabbit likes the bear.[(triple4)] @1: The bear chases the bear.[(((triple1) -> rule3))] @2: The bear is nice.[(((((triple1) -> rule3)) -> rule1))]