The bear chases the rabbit. The bear is big. The bear is cold. The bear is kind. The bear is nice. The bear is young. The bear likes the rabbit. The bear visits the rabbit. The rabbit chases the bear. The rabbit is big. The rabbit is kind. The rabbit is nice. The rabbit is young. The rabbit likes the bear. The rabbit visits the bear. If the bear visits the rabbit and the bear likes the rabbit then the bear is cold. If someone likes the rabbit then the rabbit visits the bear. If someone likes the bear then they chase the rabbit.
The bear chases the bear.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is cold.[(triple3 OR ((triple8 triple7) -> rule1))] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is young.[(triple6)] The bear likes the rabbit.[(triple7)] The bear visits the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit is big.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is nice.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit visits the bear.[(triple15 OR ((triple7) -> rule2))] @1: The rabbit chases the rabbit.[(((triple14) -> rule3))]