The cow is red. The dog is big. The dog is red. The dog needs the lion. The lion is nice. The mouse likes the dog. The mouse likes the lion. If someone visits the cow and the cow is big then the cow is not red. If someone visits the dog then the dog is rough. If someone needs the lion and they are not nice then the lion likes the dog. If someone visits the lion then they visit the dog. If someone is red then they visit the lion. If someone likes the mouse and the mouse needs the cow then the mouse needs the lion.
The cow does not visit the dog.
@0: The cow is red.[(triple1)] The dog is big.[(triple2)] The dog is red.[(triple3)] The dog needs the lion.[(triple4)] The lion is nice.[(triple5)] The mouse likes the dog.[(triple6)] The mouse likes the lion.[(triple7)] @1: The cow visits the lion.[(((triple1) -> rule5))] The dog visits the lion.[(((triple3) -> rule5))] @2: The cow visits the dog.[(((((triple1) -> rule5)) -> rule4))] The dog visits the dog.[(((((triple3) -> rule5)) -> rule4))] @3: The dog is rough.[(((((((triple1) -> rule5)) -> rule4)) -> rule2) OR ((((((triple3) -> rule5)) -> rule4)) -> rule2))]