「あの自用地はど偉くない」ということは確かだ
fact1: あの芸能は入り口部だということはない fact2: もし仮に「その罪責感は発生し始めない」ということは事実だとしたら「あの子宮癌検診は銃火でない」ということは成り立つ fact3: あの子宮癌検診が銃火でないならあの自用地はど偉くない fact4: もしもあの芸能が入り口部でないならその罪責感は発生し始めない
fact4 & fact1 -> int1: その罪責感は発生し始めない; int1 & fact2 -> int2: あの子宮癌検診は銃火でない; int2 & fact3 -> hypothesis;
$facts$ = fact1: あの芸能は入り口部だということはない fact2: もし仮に「その罪責感は発生し始めない」ということは事実だとしたら「あの子宮癌検診は銃火でない」ということは成り立つ fact3: あの子宮癌検診が銃火でないならあの自用地はど偉くない fact4: もしもあの芸能が入り口部でないならその罪責感は発生し始めない ; $hypothesis$ = 「あの自用地はど偉くない」ということは確かだ ; $proof$ = 
fact4 & fact1 -> int1: その罪責感は発生し始めない; int1 & fact2 -> int2: あの子宮癌検診は銃火でない; int2 & fact3 -> hypothesis; __PROVED__
事実1: あの芸能は入り口部だということはない
事実2: もし仮に「その罪責感は発生し始めない」ということは事実だとしたら「あの子宮癌検診は銃火でない」ということは成り立つ
事実3: あの子宮癌検診が銃火でないならあの自用地はど偉くない
事実4: もしもあの芸能が入り口部でないならその罪責感は発生し始めない

仮説: 「あの自用地はど偉くない」ということは確かだ
1. 事実4と事実1から、推論1: "その罪責感は発生し始めない"が導かれる
2. 推論1と事実2から、推論2: "あの子宮癌検診は銃火でない"が導かれる
3. 推論2と事実3から、仮説が導かれる

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