The cow is green. The cow needs the dog. The cow visits the dog. The dog is not kind. The dog needs the cow. The dog sees the cow. The dog visits the cow. If someone sees the dog and they are blue then they visit the cow. If someone is red then they are young. If someone sees the dog then the dog is red. If someone sees the dog and they do not see the cow then the cow visits the dog. If someone needs the cow then they do not need the dog. If the cow sees the dog then the dog is green. If someone is red then they visit the dog. If someone visits the cow then they see the dog.
The dog is not kind.
@0: The cow is green.[(triple1)] The cow needs the dog.[(triple2)] The cow visits the dog.[(triple3)] The dog is not kind.[(triple4)] The dog needs the cow.[(triple5)] The dog sees the cow.[(triple6)] The dog visits the cow.[(triple7)] @1: The dog does not need the dog.[(((triple5) -> rule5))] The dog sees the dog.[(((triple7) -> rule8))] @2: The dog is red.[(((((triple7) -> rule8)) -> rule3))] @3: The dog is young.[(((((((triple7) -> rule8)) -> rule3)) -> rule2))] The dog visits the dog.[(((((((triple7) -> rule8)) -> rule3)) -> rule7))]