The dog is green. The dog is not kind. The lion is big. The lion is round. The lion needs the dog. The mouse is big. The mouse likes the dog. The mouse does not need the rabbit. The mouse visits the dog. The rabbit is kind. The rabbit visits the dog. If someone needs the dog then they visit the lion. If someone needs the mouse then they are kind. If someone is round and they like the rabbit then the rabbit visits the mouse. If someone visits the rabbit then the rabbit visits the mouse. If someone likes the dog then the dog visits the rabbit. If the mouse visits the lion and the mouse needs the dog then the dog needs the lion. If the rabbit needs the lion then the lion needs the mouse. If someone visits the mouse then the mouse needs the dog.
The lion needs the mouse.
@0: The dog is green.[(triple1)] The dog is not kind.[(triple2)] The lion is big.[(triple3)] The lion is round.[(triple4)] The lion needs the dog.[(triple5)] The mouse does not need the rabbit.[(triple8)] The mouse is big.[(triple6)] The mouse likes the dog.[(triple7)] The mouse visits the dog.[(triple9)] The rabbit is kind.[(triple10)] The rabbit visits the dog.[(triple11)] @1: The dog visits the rabbit.[(((triple7) -> rule5))] The lion visits the lion.[(((triple5) -> rule1))] @2: The rabbit visits the mouse.[(((((triple7) -> rule5)) -> rule4))] @3: The mouse needs the dog.[(((((((triple7) -> rule5)) -> rule4)) -> rule8))] @4: The mouse visits the lion.[(((((((((triple7) -> rule5)) -> rule4)) -> rule8)) -> rule1))] @5: The dog needs the lion.[(((((((((((triple7) -> rule5)) -> rule4)) -> rule8)) -> rule1) ((((((triple7) -> rule5)) -> rule4)) -> rule8)) -> rule6))]