The cow is young. The cow needs the lion. The cow sees the dog. The dog is big. The dog is cold. The dog is kind. The dog is not young. The dog needs the lion. The dog does not see the lion. The lion is kind. The lion is not young. The lion sees the cow. If someone needs the lion then the lion visits the dog. If the cow does not see the dog then the cow is not young. If someone is red then they are not kind. If someone visits the dog then they visit the cow. If the lion is not kind and the lion does not need the dog then the dog does not visit the cow. If someone visits the cow then the cow does not need the dog.
The lion visits the dog.
@0: The cow is young.[(triple1)] The cow needs the lion.[(triple2)] The cow sees the dog.[(triple3)] The dog does not see the lion.[(triple9)] The dog is big.[(triple4)] The dog is cold.[(triple5)] The dog is kind.[(triple6)] The dog is not young.[(triple7)] The dog needs the lion.[(triple8)] The lion is kind.[(triple10)] The lion is not young.[(triple11)] The lion sees the cow.[(triple12)] @1: The lion visits the dog.[(((triple2) -> rule1) OR ((triple8) -> rule1))] @2: The lion visits the cow.[(((((triple2) -> rule1)) -> rule4) OR ((((triple8) -> rule1)) -> rule4))] @3: The cow does not need the dog.[(((((((triple2) -> rule1)) -> rule4)) -> rule6) OR ((((((triple8) -> rule1)) -> rule4)) -> rule6))]