The bald eagle is blue. The bald eagle visits the bear. The bear eats the bald eagle. The bear eats the cow. The cow eats the bear. The cow eats the dog. The dog is big. The dog is red. The dog is young. The dog visits the bear. If the bear is round then the bear eats the cow. If someone eats the dog then they are round.
The bald eagle is not blue.
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear eats the cow.[(triple4)] The cow eats the bear.[(triple5)] The cow eats the dog.[(triple6)] The dog is big.[(triple7)] The dog is red.[(triple8)] The dog is young.[(triple9)] The dog visits the bear.[(triple10)] @1: The cow is round.[(((triple6) -> rule2))]