The cat is rough. The cat visits the dog. The dog eats the cat. The dog eats the lion. The dog is green. The dog is red. The dog needs the cat. The dog needs the lion. The dog visits the cat. The dog visits the lion. The lion eats the cat. The lion needs the cat. If something needs the lion then the lion is red. If something is red then it needs the dog.
The dog does not need the dog.
@0: The cat is rough.[(triple1)] The cat visits the dog.[(triple2)] The dog eats the cat.[(triple3)] The dog eats the lion.[(triple4)] The dog is green.[(triple5)] The dog is red.[(triple6)] The dog needs the cat.[(triple7)] The dog needs the lion.[(triple8)] The dog visits the cat.[(triple9)] The dog visits the lion.[(triple10)] The lion eats the cat.[(triple11)] The lion needs the cat.[(triple12)] @1: The dog needs the dog.[(((triple6) -> rule2))] The lion is red.[(((triple8) -> rule1))] @2: The lion needs the dog.[(((((triple8) -> rule1)) -> rule2))]