The bear sees the lion. The bear sees the rabbit. The lion is blue. The lion is cold. The lion is rough. The rabbit chases the bear. The rabbit chases the lion. The rabbit is blue. The rabbit is nice. The rabbit is rough. The squirrel chases the rabbit. The squirrel needs the rabbit. If something is rough and nice then it sees the squirrel. If something chases the rabbit and the rabbit sees the lion then it is cold. If the rabbit needs the bear then the rabbit sees the bear. If something chases the rabbit then the rabbit is young. If the lion chases the bear then the bear sees the lion. If something needs the rabbit and it needs the bear then the bear needs the squirrel. If the squirrel needs the bear and the bear is young then the bear chases the rabbit. If the lion is cold and the lion is nice then the lion sees the squirrel.
The lion sees the lion.
@0: The bear sees the lion.[(triple1)] The bear sees the rabbit.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is rough.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is rough.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel needs the rabbit.[(triple12)] @1: The rabbit is young.[(((triple11) -> rule4))] The rabbit sees the squirrel.[(((triple10 triple9) -> rule1))]