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