The bear eats the rabbit. The bear is cold. The bear is kind. The bear is round. The bear needs the rabbit. The bear visits the rabbit. The rabbit eats the bear. The rabbit is cold. The rabbit is green. The rabbit is nice. The rabbit needs the bear. The rabbit visits the bear. If something needs the bear then it visits the rabbit.
The bear is green.
@0: The bear eats the rabbit.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear needs the rabbit.[(triple5)] The bear visits the rabbit.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is green.[(triple9)] The rabbit is nice.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The rabbit visits the rabbit.[(((triple11) -> rule1))]