The dog eats the lion. The dog likes the rabbit. The lion eats the rabbit. The rabbit eats the lion. The rabbit likes the dog. The rabbit likes the lion. The rabbit needs the dog. If something is round then it likes the rabbit. If something likes the lion and the lion eats the dog then it needs the lion. If something likes the lion then the lion needs the rabbit. If something likes the lion then the lion needs the rabbit. If something needs the rabbit and the rabbit likes the lion then the lion is round. If the lion is cold and the lion eats the rabbit then the rabbit is blue. If something is round and it needs the dog then it needs the lion. If something needs the dog then it eats the dog.
The lion does not eat the rabbit.
@0: The dog eats the lion.[(triple1)] The dog likes the rabbit.[(triple2)] The lion eats the rabbit.[(triple3)] The rabbit eats the lion.[(triple4)] The rabbit likes the dog.[(triple5)] The rabbit likes the lion.[(triple6)] The rabbit needs the dog.[(triple7)] @1: The lion needs the rabbit.[(((triple6) -> rule3) OR ((triple6) -> rule4))] The rabbit eats the dog.[(((triple7) -> rule8))] @2: The lion is round.[(((((triple6) -> rule3) triple6) -> rule5) OR ((((triple6) -> rule4) triple6) -> rule5))] @3: The lion likes the rabbit.[(((((((triple6) -> rule3) triple6) -> rule5)) -> rule1) OR ((((((triple6) -> rule4) triple6) -> rule5)) -> rule1))]