The lion is nice. The lion is rough. The lion sees the mouse. The mouse chases the lion. The mouse chases the squirrel. The mouse is young. The mouse sees the lion. The mouse visits the lion. The mouse visits the squirrel. The squirrel chases the lion. If something visits the mouse and the mouse visits the lion then the mouse is rough. If something visits the lion then the lion is kind. If something is nice and it chases the lion then it visits the squirrel. If the mouse visits the squirrel then the squirrel chases the mouse. If something sees the mouse then the mouse sees the lion. If something chases the mouse then the mouse chases the squirrel. If something is round then it is young. If the mouse visits the squirrel and the mouse is kind then the mouse chases the lion.
The lion sees the mouse.
@0: The lion is nice.[(triple1)] The lion is rough.[(triple2)] The lion sees the mouse.[(triple3)] The mouse chases the lion.[(triple4)] The mouse chases the squirrel.[(triple5 OR ((((triple9) -> rule4)) -> rule6))] The mouse is young.[(triple6)] The mouse sees the lion.[(triple7 OR ((triple3) -> rule5))] The mouse visits the lion.[(triple8)] The mouse visits the squirrel.[(triple9)] The squirrel chases the lion.[(triple10)] @1: The lion is kind.[(((triple8) -> rule2))] The squirrel chases the mouse.[(((triple9) -> rule4))]