The cow is green. The cow is not kind. The cow does not visit the lion. The dog chases the lion. The lion eats the cow. The lion is red. The lion visits the dog. If someone chases the lion and they visit the lion then they eat the cow. If someone is kind then they eat the dog. If someone visits the dog and they are red then they chase the cow. If someone chases the lion and they are not kind then they are blue. If the dog chases the cow then the dog visits the cow. If someone visits the dog then they visit the cow. If someone chases the cow then the cow visits the dog. If someone eats the dog and the dog does not chase the cow then they are big.
The cow does not chase the dog.
@0: The cow does not visit the lion.[(triple3)] The cow is green.[(triple1)] The cow is not kind.[(triple2)] The dog chases the lion.[(triple4)] The lion eats the cow.[(triple5)] The lion is red.[(triple6)] The lion visits the dog.[(triple7)] @1: The lion chases the cow.[(((triple7 triple6) -> rule3))] The lion visits the cow.[(((triple7) -> rule6))] @2: The cow visits the dog.[(((((triple7 triple6) -> rule3)) -> rule7))] @3: The cow visits the cow.[(((((((triple7 triple6) -> rule3)) -> rule7)) -> rule6))]