The bear does not visit the cow. The cow is kind. The cow likes the dog. The cow visits the bear. The dog is nice. The rabbit does not chase the bear. The rabbit chases the dog. If someone likes the cow then they do not chase the rabbit. If someone visits the dog and they chase the dog then they are red. If someone visits the rabbit then the rabbit is kind. If someone is kind then they visit the bear. If someone visits the bear then they visit the cow. If someone chases the dog and they are not green then they visit the cow. If someone likes the cow then they visit the dog. If someone chases the dog and they chase the cow then the cow does not visit the dog. If someone visits the cow then the cow visits the rabbit.
The cow visits the rabbit.
@0: The bear does not visit the cow.[(triple1)] The cow is kind.[(triple2)] The cow likes the dog.[(triple3)] The cow visits the bear.[(triple4 OR ((triple2) -> rule4))] The dog is nice.[(triple5)] The rabbit chases the dog.[(triple7)] The rabbit does not chase the bear.[(triple6)] @1: The cow visits the cow.[(((triple4) -> rule5) OR ((((triple2) -> rule4)) -> rule5))] @2: The cow visits the rabbit.[(((((triple4) -> rule5)) -> rule9) OR ((((((triple2) -> rule4)) -> rule5)) -> rule9))] @3: The rabbit is kind.[(((((((triple4) -> rule5)) -> rule9)) -> rule3) OR ((((((((triple2) -> rule4)) -> rule5)) -> rule9)) -> rule3))] @4: The rabbit visits the bear.[(((((((((triple4) -> rule5)) -> rule9)) -> rule3)) -> rule4) OR ((((((((((triple2) -> rule4)) -> rule5)) -> rule9)) -> rule3)) -> rule4))] @5: The rabbit visits the cow.[(((((((((((triple4) -> rule5)) -> rule9)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((((triple2) -> rule4)) -> rule5)) -> rule9)) -> rule3)) -> rule4)) -> rule5))]