The bear is not young. The bear visits the mouse. The mouse sees the bear. If someone likes the mouse then they visit the bear. If someone visits the mouse then they like the mouse.
The bear is young.
@0: The bear is not young.[(triple1)] The bear visits the mouse.[(triple2)] The mouse sees the bear.[(triple3)] @1: The bear likes the mouse.[(((triple2) -> rule2))] @2: The bear visits the bear.[(((((triple2) -> rule2)) -> rule1))]