The cow eats the dog. The cow is big. The cow is blue. The cow is not red. The cow likes the dog. The cow visits the dog. The dog eats the cow. The dog is kind. The dog is red. The dog likes the cow. If someone eats the cow and the cow is not kind then they like the dog. If the cow is kind and the cow is not blue then the cow is big. If someone eats the dog then the dog likes the cow. If someone eats the cow then they are rough. If someone is rough then they visit the cow. If someone visits the dog and the dog visits the cow then they like the cow. If someone is kind then they eat the cow. If someone eats the dog then the dog is blue.
The cow does not like the dog.
@0: The cow eats the dog.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is not red.[(triple4)] The cow likes the dog.[(triple5)] The cow visits the dog.[(triple6)] The dog eats the cow.[(triple7 OR ((triple8) -> rule7))] The dog is kind.[(triple8)] The dog is red.[(triple9)] The dog likes the cow.[(triple10 OR ((triple1) -> rule3))] @1: The dog is blue.[(((triple1) -> rule8))] The dog is rough.[(((triple7) -> rule4) OR ((((triple8) -> rule7)) -> rule4))] @2: The dog visits the cow.[(((((triple7) -> rule4)) -> rule5) OR ((((((triple8) -> rule7)) -> rule4)) -> rule5))] @3: The cow likes the cow.[(((triple6 ((((triple7) -> rule4)) -> rule5)) -> rule6) OR ((triple6 ((((((triple8) -> rule7)) -> rule4)) -> rule5)) -> rule6))]