The bear chases the rabbit. The bear does not need the tiger. The rabbit chases the bear. The rabbit is rough. The rabbit likes the tiger. The rabbit does not need the tiger. The tiger likes the bear. If someone chases the tiger and they chase the bear then the tiger needs the bear. If someone likes the tiger then they chase the tiger. If someone likes the bear then they do not chase the tiger. If someone needs the bear then they are not nice. If someone needs the tiger then the tiger chases the rabbit. If the rabbit likes the tiger then the rabbit is not red.
The rabbit does not need the tiger.
@0: The bear chases the rabbit.[(triple1)] The bear does not need the tiger.[(triple2)] The rabbit chases the bear.[(triple3)] The rabbit does not need the tiger.[(triple6)] The rabbit is rough.[(triple4)] The rabbit likes the tiger.[(triple5)] The tiger likes the bear.[(triple7)] @1: The rabbit chases the tiger.[(((triple5) -> rule2))] The rabbit is not red.[(((triple5) -> rule6))] The tiger does not chase the tiger.[(((triple7) -> rule3))] @2: The tiger needs the bear.[(((((triple5) -> rule2) triple3) -> rule1))] @3: The tiger is not nice.[(((((((triple5) -> rule2) triple3) -> rule1)) -> rule4))]