The bear is blue. The cat does not eat the bear. The cat does not eat the cow. The cat is green. The cat sees the cow. The cat sees the dog. The cow eats the bear. The cow eats the cat. The cow eats the dog. The cow is blue. The cow does not need the cat. The dog is kind. The dog is round. The dog does not need the bear. The dog sees the cat. If someone is blue and they eat the cat then they are green. If someone needs the dog and they do not see the cat then they need the cow. If someone eats the cat and the cat is not rough then they see the dog.
The cat does not need the cow.
@0: The bear is blue.[(triple1)] The cat does not eat the bear.[(triple2)] The cat does not eat the cow.[(triple3)] The cat is green.[(triple4)] The cat sees the cow.[(triple5)] The cat sees the dog.[(triple6)] The cow does not need the cat.[(triple11)] The cow eats the bear.[(triple7)] The cow eats the cat.[(triple8)] The cow eats the dog.[(triple9)] The cow is blue.[(triple10)] The dog does not need the bear.[(triple14)] The dog is kind.[(triple12)] The dog is round.[(triple13)] The dog sees the cat.[(triple15)] @1: The cow is green.[(((triple10 triple8) -> rule1))]