The bear is kind. The bear needs the cow. The bear visits the cow. The cow visits the rabbit. The rabbit eats the bear. The rabbit eats the cow. The rabbit is not big. The rabbit is blue. The rabbit is not round. The rabbit needs the cow. The rabbit visits the bear. The rabbit does not visit the cow. If something visits the cow and the cow needs the bear then it is round. If something is round and it eats the rabbit then it eats the bear. If something is big then it does not visit the rabbit. If something eats the cow and it does not visit the cow then it does not visit the rabbit. If something is kind then it visits the bear. If something is big and round then it does not need the rabbit. If something eats the cow then the cow is round. If something needs the rabbit and it is not blue then the rabbit is not kind.
The cow visits the rabbit.
@0: The bear is kind.[(triple1)] The bear needs the cow.[(triple2)] The bear visits the cow.[(triple3)] The cow visits the rabbit.[(triple4)] The rabbit does not visit the cow.[(triple12)] The rabbit eats the bear.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit is blue.[(triple8)] The rabbit is not big.[(triple7)] The rabbit is not round.[(triple9)] The rabbit needs the cow.[(triple10)] The rabbit visits the bear.[(triple11)] @1: The bear visits the bear.[(((triple1) -> rule5))] The cow is round.[(((triple6) -> rule7))] The rabbit does not visit the rabbit.[(((triple6 triple12) -> rule4))]