The bear is rough. The lion eats the mouse. The mouse visits the bear. If someone eats the mouse and the mouse is kind then the mouse visits the lion. If someone sees the bear then they are cold. If someone visits the mouse then the mouse is young. If someone eats the mouse then the mouse is cold. If someone sees the lion and they visit the bear then the lion visits the bear. If someone visits the bear then the bear visits the mouse.
The bear is rough.
@0: The bear is rough.[(triple1)] The lion eats the mouse.[(triple2)] The mouse visits the bear.[(triple3)] @1: The bear visits the mouse.[(((triple3) -> rule6))] The mouse is cold.[(((triple2) -> rule4))] @2: The mouse is young.[(((((triple3) -> rule6)) -> rule3))]