The lion is young. The mouse sees the rabbit. The rabbit visits the mouse. If someone is kind then they see the lion. If the mouse is young and the mouse needs the lion then the lion is young. If someone sees the lion then the lion is kind. If someone visits the mouse then the mouse sees the lion. If someone is rough and they visit the mouse then the mouse is young. If the rabbit sees the lion then the rabbit sees the mouse. If someone visits the mouse then they are blue. If someone visits the rabbit and they are green then the rabbit visits the mouse.
The lion is not kind.
@0: The lion is young.[(triple1)] The mouse sees the rabbit.[(triple2)] The rabbit visits the mouse.[(triple3)] @1: The mouse sees the lion.[(((triple3) -> rule4))] The rabbit is blue.[(((triple3) -> rule7))] @2: The lion is kind.[(((((triple3) -> rule4)) -> rule3))] @3: The lion sees the lion.[(((((((triple3) -> rule4)) -> rule3)) -> rule1))]