The cow eats the dog. The cow is blue. The cow is nice. The cow is red. The cow is round. The cow is young. The cow likes the dog. The cow sees the dog. The dog eats the cow. The dog is blue. The dog is nice. The dog is red. The dog is round. The dog is young. The dog likes the cow. The dog sees the cow. If someone eats the dog and the dog likes the cow then the cow is blue. If someone eats the cow and they are round then the cow sees the dog. If someone eats the cow then the cow is young.
The cow is not blue.
@0: The cow eats the dog.[(triple1)] The cow is blue.[(triple2 OR ((triple1 triple15) -> rule1))] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow is young.[(triple6 OR ((triple9) -> rule3))] The cow likes the dog.[(triple7)] The cow sees the dog.[(triple8 OR ((triple9 triple13) -> rule2))] The dog eats the cow.[(triple9)] The dog is blue.[(triple10)] The dog is nice.[(triple11)] The dog is red.[(triple12)] The dog is round.[(triple13)] The dog is young.[(triple14)] The dog likes the cow.[(triple15)] The dog sees the cow.[(triple16)]