The bear chases the rabbit. The bear eats the rabbit. The bear is blue. The bear is cold. The bear is rough. The bear is round. The bear visits the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is cold. The rabbit is round. The rabbit visits the bear. Rough people are kind. If the rabbit is kind then the rabbit is round.
The rabbit visits the bear.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is blue.[(triple3)] The bear is cold.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear visits the rabbit.[(triple7)] The rabbit chases the bear.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is round.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The bear is kind.[(((triple5) -> rule1))]