The bear does not see the dog. The dog eats the bear. The dog is blue. The lion is green. The lion needs the rabbit. The lion sees the dog. The rabbit eats the lion. The rabbit is rough. The rabbit needs the dog. The rabbit sees the dog. If the lion eats the bear then the bear does not eat the dog. If the bear does not see the dog then the bear is red. If something eats the rabbit then the rabbit eats the bear. If something eats the bear then the bear needs the lion. If something needs the lion then the lion eats the bear. If something is red and it eats the bear then the bear does not see the lion. If something is red and it does not eat the dog then the dog sees the rabbit. If something sees the rabbit then it is not big. If something is rough and it does not see the rabbit then the rabbit eats the lion.
The rabbit needs the bear.
@0: The bear does not see the dog.[(triple1)] The dog eats the bear.[(triple2)] The dog is blue.[(triple3)] The lion is green.[(triple4)] The lion needs the rabbit.[(triple5)] The lion sees the dog.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit is rough.[(triple8)] The rabbit needs the dog.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The bear is red.[(((triple1) -> rule2))] The bear needs the lion.[(((triple2) -> rule4))] @2: The lion eats the bear.[(((((triple2) -> rule4)) -> rule5))] @3: The bear does not eat the dog.[(((((((triple2) -> rule4)) -> rule5)) -> rule1))] @4: The dog sees the rabbit.[(((((triple1) -> rule2) ((((((triple2) -> rule4)) -> rule5)) -> rule1)) -> rule7))] @5: The dog is not big.[(((((((triple1) -> rule2) ((((((triple2) -> rule4)) -> rule5)) -> rule1)) -> rule7)) -> rule8))]