The bear eats the lion. The bear eats the rabbit. The bear is cold. The bear is rough. The bear needs the rabbit. The lion chases the bear. The lion chases the rabbit. The lion eats the bear. The rabbit chases the lion. The rabbit is cold. The rabbit is nice. The rabbit is red. If the bear chases the rabbit then the bear chases the lion. If the bear chases the rabbit then the rabbit eats the bear. If something needs the rabbit then the rabbit is kind. If something is nice and rough then it does not chase the bear. If something is kind then it is rough. If something is rough and it does not eat the lion then it does not need the bear.
The rabbit chases the bear.
@0: The bear eats the lion.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is cold.[(triple3)] The bear is rough.[(triple4)] The bear needs the rabbit.[(triple5)] The lion chases the bear.[(triple6)] The lion chases the rabbit.[(triple7)] The lion eats the bear.[(triple8)] The rabbit chases the lion.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is red.[(triple12)] @1: The rabbit is kind.[(((triple5) -> rule3))] @2: The rabbit is rough.[(((((triple5) -> rule3)) -> rule5))] @3: The rabbit does not chase the bear.[(((triple11 ((((triple5) -> rule3)) -> rule5)) -> rule4))]