The cow chases the dog. The cow is big. The cow is blue. The cow sees the dog. The cow visits the dog. The dog chases the cow. The dog is big. The dog is blue. The dog is green. The dog is rough. The dog sees the cow. The dog visits the cow. If the cow sees the dog and the dog is blue then the cow visits the dog. If something sees the dog then the dog sees the cow. If something visits the cow then it chases the cow.
The cow is blue.
@0: The cow chases the dog.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow sees the dog.[(triple4)] The cow visits the dog.[(triple5 OR ((triple4 triple8) -> rule1))] The dog chases the cow.[(triple6 OR ((triple12) -> rule3))] The dog is big.[(triple7)] The dog is blue.[(triple8)] The dog is green.[(triple9)] The dog is rough.[(triple10)] The dog sees the cow.[(triple11 OR ((triple4) -> rule2))] The dog visits the cow.[(triple12)]