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