The cow eats the dog. The cow is blue. The cow sees the dog. The dog eats the cow. The dog is blue. The dog likes the cow. The dog sees the cow. If someone is big then they like the dog. If someone eats the cow and the cow likes the dog then the dog is blue. If someone is blue then they eat the cow. If someone sees the cow then they eat the dog. If someone is green and they see the dog then the dog is green. If the cow is big then the cow likes the dog. If someone is cold and blue then they see the cow. If someone sees the cow then they like the dog.
The cow is blue.
@0: The cow eats the dog.[(triple1)] The cow is blue.[(triple2)] The cow sees the dog.[(triple3)] The dog eats the cow.[(triple4 OR ((triple5) -> rule3))] The dog is blue.[(triple5)] The dog likes the cow.[(triple6)] The dog sees the cow.[(triple7)] @1: The cow eats the cow.[(((triple2) -> rule3))] The dog eats the dog.[(((triple7) -> rule4))] The dog likes the dog.[(((triple7) -> rule8))]