The lion is big. The lion is young. The lion needs the squirrel. The lion sees the rabbit. The lion sees the squirrel. The lion visits the rabbit. The rabbit is young. The rabbit needs the squirrel. The rabbit sees the squirrel. The squirrel is red. The squirrel is rough. The squirrel needs the rabbit. The squirrel sees the lion. The squirrel sees the rabbit. The squirrel visits the lion. The squirrel visits the rabbit. If someone is young and they visit the squirrel then the squirrel needs the lion. If someone sees the rabbit then they visit the rabbit.
The rabbit needs the squirrel.
@0: The lion is big.[(triple1)] The lion is young.[(triple2)] The lion needs the squirrel.[(triple3)] The lion sees the rabbit.[(triple4)] The lion sees the squirrel.[(triple5)] The lion visits the rabbit.[(triple6 OR ((triple4) -> rule2))] The rabbit is young.[(triple7)] The rabbit needs the squirrel.[(triple8)] The rabbit sees the squirrel.[(triple9)] The squirrel is red.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the rabbit.[(triple12)] The squirrel sees the lion.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the lion.[(triple15)] The squirrel visits the rabbit.[(triple16 OR ((triple14) -> rule2))]