The bear is red. The cat likes the cow. The cow sees the dog. The dog sees the cow. If something sees the bear then the bear likes the cow. If something is big then it does not see the cow. If the bear is not blue then the bear chases the cat. If something chases the dog then the dog does not like the bear. If something sees the cow then the cow is round. If something is blue and it does not like the bear then the bear chases the cow.
The bear is not red.
@0: The bear is red.[(triple1)] The cat likes the cow.[(triple2)] The cow sees the dog.[(triple3)] The dog sees the cow.[(triple4)] @1: The cow is round.[(((triple4) -> rule5))]