The dog chases the tiger. The dog is nice. The dog needs the squirrel. The dog needs the tiger. The dog sees the lion. The lion chases the tiger. The lion is cold. The lion sees the squirrel. The squirrel chases the tiger. The squirrel sees the dog. The squirrel sees the lion. The tiger chases the dog. The tiger needs the dog. The tiger needs the lion. The tiger sees the lion. If someone sees the lion then the lion is nice. If someone chases the lion and the lion is cold then they are cold. If the squirrel sees the lion and the lion chases the tiger then the lion is kind. If someone sees the squirrel and they are cold then the squirrel sees the lion. If someone chases the lion and they chase the tiger then the lion is nice. If someone chases the lion then they need the tiger.
The tiger does not chase the dog.
@0: The dog chases the tiger.[(triple1)] The dog is nice.[(triple2)] The dog needs the squirrel.[(triple3)] The dog needs the tiger.[(triple4)] The dog sees the lion.[(triple5)] The lion chases the tiger.[(triple6)] The lion is cold.[(triple7)] The lion sees the squirrel.[(triple8)] The squirrel chases the tiger.[(triple9)] The squirrel sees the dog.[(triple10)] The squirrel sees the lion.[(triple11 OR ((triple8 triple7) -> rule4))] The tiger chases the dog.[(triple12)] The tiger needs the dog.[(triple13)] The tiger needs the lion.[(triple14)] The tiger sees the lion.[(triple15)] @1: The lion is kind.[(((triple11 triple6) -> rule3) OR ((((triple8 triple7) -> rule4) triple6) -> rule3))] The lion is nice.[(((triple11) -> rule1) OR ((triple15) -> rule1) OR ((triple5) -> rule1) OR ((((triple8 triple7) -> rule4)) -> rule1))]