The bear likes the mouse. The dog is red. The lion visits the mouse. The mouse needs the bear. If someone likes the lion then the lion is kind. If someone needs the dog then the dog visits the bear. If someone is kind and they like the dog then the dog likes the bear. If someone is round then they like the bear. If someone needs the lion and they like the dog then the lion needs the dog. If someone likes the mouse then the mouse is kind. If someone is cold and they like the mouse then the mouse likes the lion. Kind people are round.
The dog visits the bear.
@0: The bear likes the mouse.[(triple1)] The dog is red.[(triple2)] The lion visits the mouse.[(triple3)] The mouse needs the bear.[(triple4)] @1: The mouse is kind.[(((triple1) -> rule6))] @2: The mouse is round.[(((((triple1) -> rule6)) -> rule8))] @3: The mouse likes the bear.[(((((((triple1) -> rule6)) -> rule8)) -> rule4))]