The cat chases the lion. The cat eats the dog. The dog chases the lion. The dog needs the cat. The lion chases the dog. The lion eats the dog. The lion is nice. If someone needs the dog then the dog is rough. If someone chases the cat and the cat eats the lion then they eat the lion. If someone chases the lion then the lion chases the dog. If someone chases the dog and they need the lion then they are red. If someone chases the dog then they eat the cat. If the lion is nice and the lion needs the cat then the lion needs the dog. If someone eats the cat then the cat needs the lion. If the lion is nice then the lion needs the cat.
The dog does not need the lion.
@0: The cat chases the lion.[(triple1)] The cat eats the dog.[(triple2)] The dog chases the lion.[(triple3)] The dog needs the cat.[(triple4)] The lion chases the dog.[(triple5 OR ((triple1) -> rule3) OR ((triple3) -> rule3))] The lion eats the dog.[(triple6)] The lion is nice.[(triple7)] @1: The lion eats the cat.[(((triple5) -> rule5) OR ((((triple1) -> rule3)) -> rule5) OR ((((triple3) -> rule3)) -> rule5))] The lion needs the cat.[(((triple7) -> rule8))] @2: The cat needs the lion.[(((((triple5) -> rule5)) -> rule7) OR ((((((triple1) -> rule3)) -> rule5)) -> rule7) OR ((((((triple3) -> rule3)) -> rule5)) -> rule7))] The lion needs the dog.[(((triple7 ((triple7) -> rule8)) -> rule6))] @3: The dog is rough.[(((((triple7 ((triple7) -> rule8)) -> rule6)) -> rule1))]