The bear is blue. The bear is green. The bear is round. The bear likes the rabbit. The bear needs the rabbit. The bear does not visit the rabbit. The cow is round. The cow likes the rabbit. The cow needs the bear. The cow does not visit the rabbit. The rabbit is not round. The rabbit does not need the bear. All cold things are blue. If something is cold then it likes the cow. If something is round and not cold then it does not like the cow. If something visits the bear and the bear is cold then the bear needs the rabbit. If something is round and it likes the bear then the bear needs the rabbit. If something is blue and it visits the bear then the bear does not visit the rabbit. If something likes the rabbit and it needs the rabbit then it is not young. If the bear visits the cow and the bear does not need the rabbit then the rabbit needs the bear.
The rabbit is not round.
@0: The bear does not visit the rabbit.[(triple6)] The bear is blue.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The bear likes the rabbit.[(triple4)] The bear needs the rabbit.[(triple5)] The cow does not visit the rabbit.[(triple10)] The cow is round.[(triple7)] The cow likes the rabbit.[(triple8)] The cow needs the bear.[(triple9)] The rabbit does not need the bear.[(triple12)] The rabbit is not round.[(triple11)] @1: The bear is not young.[(((triple4 triple5) -> rule7))]