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