このいとおしさは憑依しない
fact1: そのドイツ全体は集団分化であるししかも入れ為さる fact2: もし「あの蛤は大人気無いししかも消去出来る」ということは成り立てばそれは入れ為さらない fact3: このいとおしさは再発し易いししかも入れ為さる fact4: Ｂ‐ウエーブは憑依する fact5: このいとおしさは再発し易い fact6: もしもこのいとおしさが螺旋葉序だしそれに入れ為さるとしたらそれは銃使いでない fact7: 仮にこのいとおしさは再発し易いしそれに入れ為さるなら憑依しない
fact7 & fact3 -> hypothesis;
fact7 & fact3 -> hypothesis;
「このいとおしさは憑依する」ということは成り立つ
fact8 -> int1: このいとおしさはＢ‐ウエーブだとすると「憑依する」ということは本当である;
$facts$ = fact1: そのドイツ全体は集団分化であるししかも入れ為さる fact2: もし「あの蛤は大人気無いししかも消去出来る」ということは成り立てばそれは入れ為さらない fact3: このいとおしさは再発し易いししかも入れ為さる fact4: Ｂ‐ウエーブは憑依する fact5: このいとおしさは再発し易い fact6: もしもこのいとおしさが螺旋葉序だしそれに入れ為さるとしたらそれは銃使いでない fact7: 仮にこのいとおしさは再発し易いしそれに入れ為さるなら憑依しない ; $hypothesis$ = このいとおしさは憑依しない ; $proof$ = 
fact7 & fact3 -> hypothesis; __PROVED__
事実1: そのドイツ全体は集団分化であるししかも入れ為さる
事実2: もし「あの蛤は大人気無いししかも消去出来る」ということは成り立てばそれは入れ為さらない
事実3: このいとおしさは再発し易いししかも入れ為さる
事実4: Ｂ‐ウエーブは憑依する
事実5: このいとおしさは再発し易い
事実6: もしもこのいとおしさが螺旋葉序だしそれに入れ為さるとしたらそれは銃使いでない
事実7: 仮にこのいとおしさは再発し易いしそれに入れ為さるなら憑依しない

仮説: このいとおしさは憑依しない
1. 事実7と事実3から、仮説が導かれる

よって、仮説が証明されました。