The bear is not nice. The bear is not round. The bear does not need the rabbit. The bear does not see the rabbit. The bear visits the cow. The bear visits the rabbit. The cow is blue. The cow is not kind. The cow needs the bear. The cow sees the rabbit. The cow visits the rabbit. The rabbit is nice. The rabbit needs the cow. The rabbit sees the bear. The rabbit does not visit the bear. The rabbit visits the cow. If something needs the rabbit then the rabbit does not see the bear. If the rabbit visits the bear then the bear sees the cow. If something is nice and it sees the bear then the bear is red. If something needs the rabbit then it does not visit the cow. If the bear sees the rabbit then the rabbit does not visit the bear. If something visits the cow and the cow sees the rabbit then it is kind.
The bear visits the bear.
@0: The bear does not need the rabbit.[(triple3)] The bear does not see the rabbit.[(triple4)] The bear is not nice.[(triple1)] The bear is not round.[(triple2)] The bear visits the cow.[(triple5)] The bear visits the rabbit.[(triple6)] The cow is blue.[(triple7)] The cow is not kind.[(triple8)] The cow needs the bear.[(triple9)] The cow sees the rabbit.[(triple10)] The cow visits the rabbit.[(triple11)] The rabbit does not visit the bear.[(triple15)] The rabbit is nice.[(triple12)] The rabbit needs the cow.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit visits the cow.[(triple16)] @1: The bear is kind.[(((triple5 triple10) -> rule6))] The bear is red.[(((triple12 triple14) -> rule3))] The rabbit is kind.[(((triple16 triple10) -> rule6))]