The lion is blue. The lion needs the rabbit. The lion sees the rabbit. The lion visits the rabbit. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit sees the lion. The rabbit visits the squirrel. The squirrel is blue. The squirrel needs the rabbit. The squirrel visits the lion. If the lion needs the squirrel then the lion is blue. If something is round then it visits the squirrel. If something sees the rabbit then it visits the lion.
The rabbit is kind.
@0: The lion is blue.[(triple1)] The lion needs the rabbit.[(triple2)] The lion sees the rabbit.[(triple3)] The lion visits the rabbit.[(triple4)] The rabbit is kind.[(triple5)] The rabbit is red.[(triple6)] The rabbit is rough.[(triple7)] The rabbit sees the lion.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel needs the rabbit.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The lion visits the lion.[(((triple3) -> rule3))]