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