The cow is not big. The cow is blue. The cow is green. The cow is not kind. The cow is not nice. The cow does not like the dog. The cow needs the dog. The cow visits the dog. The dog is big. The dog is blue. The dog is green. The dog is nice. The dog likes the cow. The dog needs the cow. The dog visits the cow. If the dog is nice then the dog likes the cow. If something visits the dog then the dog is big. If something is nice then it likes the dog. If the dog does not like the cow then the dog needs the cow. If something is kind then it needs the dog. If something needs the cow then it needs the dog. If something needs the dog then it is not kind. If something needs the cow and it is not blue then the cow likes the dog.
The dog does not need the dog.
@0: The cow does not like the dog.[(triple6)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is not big.[(triple1)] The cow is not kind.[(triple4 OR ((triple7) -> rule7))] The cow is not nice.[(triple5)] The cow needs the dog.[(triple7)] The cow visits the dog.[(triple8)] The dog is big.[(triple9 OR ((triple8) -> rule2))] The dog is blue.[(triple10)] The dog is green.[(triple11)] The dog is nice.[(triple12)] The dog likes the cow.[(triple13 OR ((triple12) -> rule1))] The dog needs the cow.[(triple14)] The dog visits the cow.[(triple15)] @1: The dog likes the dog.[(((triple12) -> rule3))] The dog needs the dog.[(((triple14) -> rule6))] @2: The dog is not kind.[(((((triple14) -> rule6)) -> rule7))]