The bear visits the mouse. The lion sees the mouse. The mouse is big. If the mouse visits the lion then the lion visits the mouse. If someone is green and cold then they do not see the bear. If someone is green then they need the bear. If someone needs the bear then the bear needs the lion. If someone visits the lion then they do not need the mouse. If someone is young and cold then they visit the lion. If someone is big then they are green. If someone sees the bear then the bear needs the mouse.
The bear is not young.
@0: The bear visits the mouse.[(triple1)] The lion sees the mouse.[(triple2)] The mouse is big.[(triple3)] @1: The mouse is green.[(((triple3) -> rule7))] @2: The mouse needs the bear.[(((((triple3) -> rule7)) -> rule3))] @3: The bear needs the lion.[(((((((triple3) -> rule7)) -> rule3)) -> rule4))]