The bear is green. The bear is nice. The bear is round. The bear is young. The bear likes the lion. The bear needs the lion. The bear needs the rabbit. The bear sees the rabbit. The lion is green. The lion likes the rabbit. The rabbit is big. The rabbit is green. The rabbit is young. The rabbit likes the bear. The rabbit likes the lion. If something likes the rabbit and it is green then it sees the bear. If the rabbit needs the bear and the bear sees the lion then the bear likes the lion. If the lion likes the bear and the bear sees the rabbit then the lion sees the rabbit.
The rabbit is young.
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear is round.[(triple3)] The bear is young.[(triple4)] The bear likes the lion.[(triple5)] The bear needs the lion.[(triple6)] The bear needs the rabbit.[(triple7)] The bear sees the rabbit.[(triple8)] The lion is green.[(triple9)] The lion likes the rabbit.[(triple10)] The rabbit is big.[(triple11)] The rabbit is green.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the lion.[(triple15)] @1: The lion sees the bear.[(((triple10 triple9) -> rule1))]