人間⇒ウンコをする　……(1)
石川梨華∈人間　…………(2)
(1),(2)より，石川梨華⇒ウンコをする　（Q.E.D.）