The dog chases the lion. The dog chases the tiger. The dog needs the lion. The lion chases the dog. The lion needs the tiger. The lion sees the dog. The tiger needs the dog. If something needs the dog then the dog sees the lion. All big things are red. If the tiger chases the dog and the tiger sees the dog then the tiger is cold. If something is young then it chases the tiger. If something chases the dog then it sees the lion. If the lion chases the dog and the lion sees the tiger then the dog needs the tiger. If something sees the lion and it needs the tiger then the tiger chases the dog. If something sees the lion then the lion needs the tiger.
The dog does not see the dog.
@0: The dog chases the lion.[(triple1)] The dog chases the tiger.[(triple2)] The dog needs the lion.[(triple3)] The lion chases the dog.[(triple4)] The lion needs the tiger.[(triple5 OR ((((triple4) -> rule5)) -> rule8) OR ((((triple7) -> rule1)) -> rule8))] The lion sees the dog.[(triple6)] The tiger needs the dog.[(triple7)] @1: The dog sees the lion.[(((triple7) -> rule1))] The lion sees the lion.[(((triple4) -> rule5))] @2: The tiger chases the dog.[(((((triple4) -> rule5) triple5) -> rule7) OR ((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule8)) -> rule7) OR ((((triple4) -> rule5) ((((triple7) -> rule1)) -> rule8)) -> rule7))] @3: The tiger sees the lion.[(((((((triple4) -> rule5) triple5) -> rule7)) -> rule5) OR ((((((triple4) -> rule5) ((((triple4) -> rule5)) -> rule8)) -> rule7)) -> rule5) OR ((((((triple4) -> rule5) ((((triple7) -> rule1)) -> rule8)) -> rule7)) -> rule5))]