The bear does not like the lion. The lion is not rough. The lion sees the squirrel. The lion visits the squirrel. The rabbit is round. The rabbit does not see the squirrel. The squirrel visits the bear. If someone visits the squirrel then the squirrel likes the rabbit. If someone sees the lion and the lion is not young then they do not see the bear. If the lion sees the rabbit and the lion likes the rabbit then the lion does not visit the rabbit.
The lion does not like the rabbit.
@0: The bear does not like the lion.[(triple1)] The lion is not rough.[(triple2)] The lion sees the squirrel.[(triple3)] The lion visits the squirrel.[(triple4)] The rabbit does not see the squirrel.[(triple6)] The rabbit is round.[(triple5)] The squirrel visits the bear.[(triple7)] @1: The squirrel likes the rabbit.[(((triple4) -> rule1))]