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