The cow is not young. The cow likes the dog. The cow needs the dog. The cow sees the dog. The dog is blue. The dog is green. The dog is young. The dog likes the cow. The dog needs the cow. The dog sees the cow. If someone is green and blue then they like the dog. If someone sees the cow then the cow is blue.
The cow is green.
@0: The cow is not young.[(triple1)] The cow likes the dog.[(triple2)] The cow needs the dog.[(triple3)] The cow sees the dog.[(triple4)] The dog is blue.[(triple5)] The dog is green.[(triple6)] The dog is young.[(triple7)] The dog likes the cow.[(triple8)] The dog needs the cow.[(triple9)] The dog sees the cow.[(triple10)] @1: The cow is blue.[(((triple10) -> rule2))] The dog likes the dog.[(((triple6 triple5) -> rule1))]