The bear sees the rabbit. The bear visits the cow. The cow sees the bear. The rabbit needs the bear. The rabbit needs the cow. The rabbit sees the bear. The rabbit visits the bear. If someone sees the rabbit then the rabbit needs the bear. If the rabbit visits the cow and the rabbit is young then the rabbit needs the cow. If someone sees the rabbit then the rabbit is cold. If someone visits the bear and they see the cow then the cow is kind. If someone is young and they visit the bear then the bear is young. If the rabbit sees the cow then the rabbit is kind. If someone visits the cow and the cow visits the rabbit then they visit the bear. If the cow visits the bear and the cow needs the rabbit then the bear sees the rabbit.
The rabbit is nice.
@0: The bear sees the rabbit.[(triple1)] The bear visits the cow.[(triple2)] The cow sees the bear.[(triple3)] The rabbit needs the bear.[(triple4 OR ((triple1) -> rule1))] The rabbit needs the cow.[(triple5)] The rabbit sees the bear.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The rabbit is cold.[(((triple1) -> rule3))]