The bear eats the cow. The bear is cold. The bear is green. The bear is red. The bear is round. The bear needs the cow. The bear visits the cow. The cow eats the bear. The cow is blue. The cow is cold. The cow is green. The cow is red. The cow is round. The cow needs the bear. The cow visits the bear. If something is green then it is round. If something needs the bear and it visits the bear then it is blue. If something visits the bear and it needs the cow then the bear visits the cow. If something needs the cow and it does not eat the bear then the cow does not visit the bear. If something eats the bear and the bear is not round then it visits the cow. If something visits the cow then the cow is cold.
The bear is not blue.
@0: The bear eats the cow.[(triple1)] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5 OR ((triple3) -> rule1))] The bear needs the cow.[(triple6)] The bear visits the cow.[(triple7)] The cow eats the bear.[(triple8)] The cow is blue.[(triple9 OR ((triple14 triple15) -> rule2))] The cow is cold.[(triple10 OR ((triple7) -> rule6))] The cow is green.[(triple11)] The cow is red.[(triple12)] The cow is round.[(triple13 OR ((triple11) -> rule1))] The cow needs the bear.[(triple14)] The cow visits the bear.[(triple15)]