The bear visits the lion. The dog is young. The dog visits the bear. The lion is blue. The lion needs the bear. The mouse needs the bear. The mouse needs the dog. If someone visits the bear and the bear is nice then they see the dog. If someone sees the mouse and the mouse needs the bear then the mouse sees the dog. If the lion is big then the lion sees the dog. Blue people are nice. If someone needs the lion and they visit the lion then the lion needs the dog. If someone visits the lion then they visit the mouse. If someone visits the mouse then they need the mouse. If someone visits the bear and they are blue then the bear sees the lion. If someone needs the mouse then the mouse visits the lion.
The mouse visits the lion.
@0: The bear visits the lion.[(triple1)] The dog is young.[(triple2)] The dog visits the bear.[(triple3)] The lion is blue.[(triple4)] The lion needs the bear.[(triple5)] The mouse needs the bear.[(triple6)] The mouse needs the dog.[(triple7)] @1: The bear visits the mouse.[(((triple1) -> rule6))] The lion is nice.[(((triple4) -> rule4))] @2: The bear needs the mouse.[(((((triple1) -> rule6)) -> rule7))] @3: The mouse visits the lion.[(((((((triple1) -> rule6)) -> rule7)) -> rule9))] @4: The mouse visits the mouse.[(((((((((triple1) -> rule6)) -> rule7)) -> rule9)) -> rule6))] @5: The mouse needs the mouse.[(((((((((((triple1) -> rule6)) -> rule7)) -> rule9)) -> rule6)) -> rule7))]