The bear is red. The bear is rough. The bear needs the lion. The lion needs the bear. The rabbit eats the lion. The rabbit is big. The rabbit sees the bear. If something sees the rabbit and the rabbit eats the lion then it is red. If something needs the lion and it is green then it is red. If the bear sees the rabbit then the bear eats the lion. If something sees the rabbit then the rabbit eats the bear. If something eats the lion and the lion sees the rabbit then the lion sees the bear. If something eats the lion then the lion eats the rabbit. If something needs the lion and it eats the lion then it sees the rabbit. If the lion needs the rabbit and the rabbit is round then the lion sees the rabbit.
The rabbit sees the bear.
@0: The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear needs the lion.[(triple3)] The lion needs the bear.[(triple4)] The rabbit eats the lion.[(triple5)] The rabbit is big.[(triple6)] The rabbit sees the bear.[(triple7)] @1: The lion eats the rabbit.[(((triple5) -> rule6))]