The bear is round. The bear needs the rabbit. The cow eats the dog. The cow needs the rabbit. The cow sees the dog. The dog eats the cow. The dog is round. The dog does not need the bear. The rabbit does not eat the bear. The rabbit eats the dog. The rabbit needs the bear. The rabbit needs the dog. The rabbit sees the bear. The rabbit sees the cow. The rabbit does not see the dog. If something needs the rabbit then the rabbit is not big.
The cow is big.
@0: The bear is round.[(triple1)] The bear needs the rabbit.[(triple2)] The cow eats the dog.[(triple3)] The cow needs the rabbit.[(triple4)] The cow sees the dog.[(triple5)] The dog does not need the bear.[(triple8)] The dog eats the cow.[(triple6)] The dog is round.[(triple7)] The rabbit does not eat the bear.[(triple9)] The rabbit does not see the dog.[(triple15)] The rabbit eats the dog.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit needs the dog.[(triple12)] The rabbit sees the bear.[(triple13)] The rabbit sees the cow.[(triple14)] @1: The rabbit is not big.[(((triple2) -> rule1) OR ((triple4) -> rule1))]