The bear needs the tiger. The bear sees the cat. The bear sees the tiger. The cat sees the bear. The rabbit eats the bear. The rabbit is rough. The rabbit sees the tiger. The tiger eats the cat. The tiger needs the cat. The tiger needs the rabbit. All rough people are big. If the bear needs the rabbit then the rabbit eats the cat. If the tiger eats the cat and the cat is nice then the cat needs the rabbit.
The tiger needs the cat.
@0: The bear needs the tiger.[(triple1)] The bear sees the cat.[(triple2)] The bear sees the tiger.[(triple3)] The cat sees the bear.[(triple4)] The rabbit eats the bear.[(triple5)] The rabbit is rough.[(triple6)] The rabbit sees the tiger.[(triple7)] The tiger eats the cat.[(triple8)] The tiger needs the cat.[(triple9)] The tiger needs the rabbit.[(triple10)] @1: The rabbit is big.[(((triple6) -> rule1))]