The bear is round. The bear needs the cow. The cow is big. The cow is cold. The cow is green. The cow visits the rabbit. The dog is green. The dog does not need the rabbit. The dog visits the cow. The dog does not visit the rabbit. The rabbit is round. The rabbit likes the bear. The rabbit likes the cow. The rabbit needs the bear. The rabbit visits the cow. If someone is green and round then they like the dog.
The rabbit does not visit the cow.
@0: The bear is round.[(triple1)] The bear needs the cow.[(triple2)] The cow is big.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow visits the rabbit.[(triple6)] The dog does not need the rabbit.[(triple8)] The dog does not visit the rabbit.[(triple10)] The dog is green.[(triple7)] The dog visits the cow.[(triple9)] The rabbit is round.[(triple11)] The rabbit likes the bear.[(triple12)] The rabbit likes the cow.[(triple13)] The rabbit needs the bear.[(triple14)] The rabbit visits the cow.[(triple15)]