The bear eats the rabbit. The bear eats the squirrel. The bear is cold. The bear is rough. The bear needs the lion. The lion is round. The lion needs the bear. The lion needs the rabbit. The rabbit eats the squirrel. The rabbit is cold. The rabbit likes the bear. The rabbit likes the squirrel. The rabbit needs the bear. The rabbit needs the squirrel. The squirrel eats the bear. The squirrel eats the lion. If someone is rough then they need the squirrel.
The bear eats the rabbit.
@0: The bear eats the rabbit.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is cold.[(triple3)] The bear is rough.[(triple4)] The bear needs the lion.[(triple5)] The lion is round.[(triple6)] The lion needs the bear.[(triple7)] The lion needs the rabbit.[(triple8)] The rabbit eats the squirrel.[(triple9)] The rabbit is cold.[(triple10)] The rabbit likes the bear.[(triple11)] The rabbit likes the squirrel.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit needs the squirrel.[(triple14)] The squirrel eats the bear.[(triple15)] The squirrel eats the lion.[(triple16)] @1: The bear needs the squirrel.[(((triple4) -> rule1))]