The bear is big. The bear is kind. The bear likes the squirrel. The bear needs the lion. The bear visits the lion. The lion likes the squirrel. The lion needs the squirrel. The lion visits the squirrel. The squirrel is kind. The squirrel is round. The squirrel likes the lion. The squirrel visits the lion. If something is kind and it likes the lion then it visits the bear.
The lion does not need the squirrel.
@0: The bear is big.[(triple1)] The bear is kind.[(triple2)] The bear likes the squirrel.[(triple3)] The bear needs the lion.[(triple4)] The bear visits the lion.[(triple5)] The lion likes the squirrel.[(triple6)] The lion needs the squirrel.[(triple7)] The lion visits the squirrel.[(triple8)] The squirrel is kind.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the lion.[(triple11)] The squirrel visits the lion.[(triple12)] @1: The squirrel visits the bear.[(((triple9 triple11) -> rule1))]