The bear is cold. The bear likes the rabbit. The bear visits the rabbit. The rabbit eats the bear. The rabbit is big. The rabbit is cold. The rabbit is round. The rabbit is young. The rabbit likes the bear. The rabbit does not visit the bear. If someone likes the bear then they visit the rabbit.
The rabbit eats the rabbit.
@0: The bear is cold.[(triple1)] The bear likes the rabbit.[(triple2)] The bear visits the rabbit.[(triple3)] The rabbit does not visit the bear.[(triple10)] The rabbit eats the bear.[(triple4)] The rabbit is big.[(triple5)] The rabbit is cold.[(triple6)] The rabbit is round.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the bear.[(triple9)] @1: The rabbit visits the rabbit.[(((triple9) -> rule1))]