The bear chases the tiger. The rabbit chases the tiger. The rabbit is red. The rabbit needs the bear. The rabbit needs the tiger. The rabbit sees the bear. The tiger chases the bear. If the tiger sees the bear then the tiger is kind. If the tiger is rough then the tiger needs the rabbit. If someone is kind then they are red. If someone sees the bear then they are rough. If the tiger is cold and the tiger chases the rabbit then the tiger is round. If the bear needs the rabbit then the bear chases the tiger.
The bear does not chase the tiger.
@0: The bear chases the tiger.[(triple1)] The rabbit chases the tiger.[(triple2)] The rabbit is red.[(triple3)] The rabbit needs the bear.[(triple4)] The rabbit needs the tiger.[(triple5)] The rabbit sees the bear.[(triple6)] The tiger chases the bear.[(triple7)] @1: The rabbit is rough.[(((triple6) -> rule4))]