The lion is cold. The lion is nice. The lion needs the rabbit. The lion sees the rabbit. The lion sees the squirrel. The lion visits the rabbit. The lion visits the squirrel. The rabbit is rough. The rabbit needs the lion. The rabbit sees the lion. The rabbit sees the squirrel. The rabbit visits the lion. The rabbit visits the squirrel. The squirrel is rough. The squirrel sees the lion. The squirrel visits the lion. If something needs the squirrel then it sees the squirrel. Nice things are cold.
The rabbit visits the rabbit.
@0: The lion is cold.[(triple1 OR ((triple2) -> rule2))] The lion is nice.[(triple2)] The lion needs the rabbit.[(triple3)] The lion sees the rabbit.[(triple4)] The lion sees the squirrel.[(triple5)] The lion visits the rabbit.[(triple6)] The lion visits the squirrel.[(triple7)] The rabbit is rough.[(triple8)] The rabbit needs the lion.[(triple9)] The rabbit sees the lion.[(triple10)] The rabbit sees the squirrel.[(triple11)] The rabbit visits the lion.[(triple12)] The rabbit visits the squirrel.[(triple13)] The squirrel is rough.[(triple14)] The squirrel sees the lion.[(triple15)] The squirrel visits the lion.[(triple16)]