The dog eats the lion. The lion eats the dog. If something eats the lion then it is blue. If something needs the dog and it chases the lion then the dog is not nice. If something needs the dog and it is blue then it does not chase the dog. If something needs the dog and it does not chase the lion then it eats the lion. If something is cold then it does not eat the lion. If something is blue then it needs the dog. If something eats the dog then the dog is blue. If the lion does not need the dog then the lion is nice.
The lion is nice.
@0: The dog eats the lion.[(triple1)] The lion eats the dog.[(triple2)] @1: The dog is blue.[(((triple1) -> rule1) OR ((triple2) -> rule7))] @2: The dog needs the dog.[(((((triple1) -> rule1)) -> rule6) OR ((((triple2) -> rule7)) -> rule6))] @3: The dog does not chase the dog.[(((((((triple1) -> rule1)) -> rule6) ((triple1) -> rule1)) -> rule3) OR ((((((triple1) -> rule1)) -> rule6) ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((triple1) -> rule1)) -> rule3) OR ((((((triple2) -> rule7)) -> rule6) ((triple2) -> rule7)) -> rule3))]