The cow is blue. The cow is green. The cow likes the dog. The cow visits the dog. The dog eats the cow. The dog is kind. The dog is round. The dog is young. The dog likes the cow. The dog visits the cow. If something eats the dog and the dog eats the cow then it is round. If something visits the dog and the dog eats the cow then it is kind. If the dog likes the cow and the cow eats the dog then the cow likes the dog. If something likes the cow then the cow eats the dog. If something visits the cow and it is blue then it visits the dog. If something likes the cow and it is kind then it visits the cow. If something eats the dog and the dog likes the cow then it likes the cow. If something visits the dog then it eats the cow.
The cow does not visit the dog.
@0: The cow is blue.[(triple1)] The cow is green.[(triple2)] The cow likes the dog.[(triple3 OR ((triple9 ((triple9) -> rule4)) -> rule3))] The cow visits the dog.[(triple4)] The dog eats the cow.[(triple5)] The dog is kind.[(triple6)] The dog is round.[(triple7)] The dog is young.[(triple8)] The dog likes the cow.[(triple9)] The dog visits the cow.[(triple10 OR ((triple9 triple6) -> rule6))] @1: The cow eats the cow.[(((triple4) -> rule8))] The cow eats the dog.[(((triple9) -> rule4))] The cow is kind.[(((triple4 triple5) -> rule2))] @2: The cow is round.[(((((triple9) -> rule4) triple5) -> rule1))] The cow likes the cow.[(((((triple9) -> rule4) triple9) -> rule7))] @3: The cow visits the cow.[(((((((triple9) -> rule4) triple9) -> rule7) ((triple4 triple5) -> rule2)) -> rule6))]