The lion is cold. The lion is nice. The lion is rough. The lion is round. The lion is young. The lion needs the squirrel. The lion sees the squirrel. The lion visits the squirrel. The squirrel is cold. The squirrel is nice. The squirrel is rough. The squirrel is round. The squirrel needs the lion. The squirrel sees the lion. The squirrel visits the lion. If something sees the lion and it needs the lion then the lion visits the squirrel. If the squirrel sees the lion then the squirrel is cold.
The lion does not visit the squirrel.
@0: The lion is cold.[(triple1)] The lion is nice.[(triple2)] The lion is rough.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion needs the squirrel.[(triple6)] The lion sees the squirrel.[(triple7)] The lion visits the squirrel.[(triple8 OR ((triple14 triple13) -> rule1))] The squirrel is cold.[(triple9 OR ((triple14) -> rule2))] The squirrel is nice.[(triple10)] The squirrel is rough.[(triple11)] The squirrel is round.[(triple12)] The squirrel needs the lion.[(triple13)] The squirrel sees the lion.[(triple14)] The squirrel visits the lion.[(triple15)]