The cow eats the dog. The cow is green. The cow is kind. The cow does not like the dog. The dog does not eat the cow. The dog is blue. The dog is cold. The dog is green. The dog is kind. The dog is round. The dog likes the cow. The dog needs the cow. If the dog eats the cow and the cow does not need the dog then the cow is green. If something is kind then it eats the dog. If something needs the dog and the dog likes the cow then the cow does not like the dog. If something likes the cow and it does not need the cow then the cow does not eat the dog. If something needs the cow and it does not eat the dog then it is round. If something likes the cow and the cow does not like the dog then the cow is cold.
The dog is cold.
@0: The cow does not like the dog.[(triple4)] The cow eats the dog.[(triple1 OR ((triple3) -> rule2))] The cow is green.[(triple2)] The cow is kind.[(triple3)] The dog does not eat the cow.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog is green.[(triple8)] The dog is kind.[(triple9)] The dog is round.[(triple10)] The dog likes the cow.[(triple11)] The dog needs the cow.[(triple12)] @1: The cow is cold.[(((triple11 triple4) -> rule6))] The dog eats the dog.[(((triple9) -> rule2))]