The cow is nice. The cow needs the dog. The dog needs the cow. The dog visits the rabbit. The rabbit is red. The rabbit needs the dog. The rabbit sees the cow. If something sees the rabbit then the rabbit does not visit the dog. If something needs the cow then the cow is nice. If something visits the dog then it is big. If something visits the rabbit then the rabbit visits the cow. If something is big then it needs the dog. If the rabbit visits the cow then the cow visits the dog. If something visits the rabbit then it needs the cow. If something visits the cow then it does not visit the dog.
The rabbit does not visit the cow.
@0: The cow is nice.[(triple1 OR ((triple3) -> rule2) OR ((((triple4) -> rule7)) -> rule2))] The cow needs the dog.[(triple2 OR ((((((((triple4) -> rule4)) -> rule6)) -> rule3)) -> rule5))] The dog needs the cow.[(triple3 OR ((triple4) -> rule7))] The dog visits the rabbit.[(triple4)] The rabbit is red.[(triple5)] The rabbit needs the dog.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The rabbit visits the cow.[(((triple4) -> rule4))] @2: The cow visits the dog.[(((((triple4) -> rule4)) -> rule6))] The rabbit does not visit the dog.[(((((triple4) -> rule4)) -> rule8))] @3: The cow is big.[(((((((triple4) -> rule4)) -> rule6)) -> rule3))]