The bear eats the rabbit. The bear is green. The rabbit eats the bear. The rabbit is green. The rabbit is kind. The rabbit needs the bear. The rabbit sees the bear. If someone needs the bear and they eat the rabbit then the bear needs the rabbit. If the rabbit is cold then the rabbit is kind. If someone is rough then they see the rabbit. If the bear eats the rabbit and the bear sees the rabbit then the rabbit sees the bear. If someone is rough then they see the bear. If someone sees the bear then they eat the rabbit. If someone is rough then they eat the rabbit. If someone sees the bear then they need the rabbit.
The rabbit eats the rabbit.
@0: The bear eats the rabbit.[(triple1)] The bear is green.[(triple2)] The rabbit eats the bear.[(triple3)] The rabbit is green.[(triple4)] The rabbit is kind.[(triple5)] The rabbit needs the bear.[(triple6)] The rabbit sees the bear.[(triple7)] @1: The rabbit eats the rabbit.[(((triple7) -> rule6))] The rabbit needs the rabbit.[(((triple7) -> rule8))] @2: The bear needs the rabbit.[(((triple6 ((triple7) -> rule6)) -> rule1))]