The cow is big. The cow is red. The cow needs the dog. The cow visits the rabbit. The dog needs the cow. The dog visits the cow. The rabbit needs the cow. If something needs the rabbit then the rabbit likes the dog. If something needs the rabbit then it visits the cow. If something visits the rabbit and it likes the cow then the rabbit needs the dog. If something likes the dog and it needs the cow then the dog needs the rabbit. If something is red then it needs the rabbit. If something likes the dog and the dog likes the rabbit then the dog likes the cow.
The cow does not need the rabbit.
@0: The cow is big.[(triple1)] The cow is red.[(triple2)] The cow needs the dog.[(triple3)] The cow visits the rabbit.[(triple4)] The dog needs the cow.[(triple5)] The dog visits the cow.[(triple6 OR ((((((((triple2) -> rule5)) -> rule1) triple7) -> rule4)) -> rule2))] The rabbit needs the cow.[(triple7)] @1: The cow needs the rabbit.[(((triple2) -> rule5))] @2: The cow visits the cow.[(((((triple2) -> rule5)) -> rule2))] The rabbit likes the dog.[(((((triple2) -> rule5)) -> rule1))] @3: The dog needs the rabbit.[(((((((triple2) -> rule5)) -> rule1) triple7) -> rule4))]