このショー姉妹は煎ずらないが気圧される
fact1: この四庫全書総目提要が煎ずるなら都市中心部だ fact2: 「もしもこの四庫全書総目提要は煎ずらないとすると「「このショー姉妹は煎ずらない一方で気圧される」ということは正しい」ということは誤りだ」ということは真実である fact3: もしも「この四庫全書総目提要は堪え難いがマルチ・ステークホルダー・インボルブメントであるということはない」ということは本当でないなら近付き易くない fact4: 「この四庫全書総目提要は堪え難い一方でマルチ・ステークホルダー・インボルブメントでない」ということは嘘だ fact5: もしもこの四庫全書総目提要が都市中心部だとしたら近付き易い
void -> assump1: 以下のように仮定する。この四庫全書総目提要は煎ずる; fact1 & assump1 -> int1: この四庫全書総目提要は都市中心部だ; int1 & fact5 -> int2: この四庫全書総目提要は近付き易い; fact3 & fact4 -> int3: この四庫全書総目提要は近付き易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この四庫全書総目提要は煎ずらない; int5 & fact2 -> hypothesis;
$facts$ = fact1: この四庫全書総目提要が煎ずるなら都市中心部だ fact2: 「もしもこの四庫全書総目提要は煎ずらないとすると「「このショー姉妹は煎ずらない一方で気圧される」ということは正しい」ということは誤りだ」ということは真実である fact3: もしも「この四庫全書総目提要は堪え難いがマルチ・ステークホルダー・インボルブメントであるということはない」ということは本当でないなら近付き易くない fact4: 「この四庫全書総目提要は堪え難い一方でマルチ・ステークホルダー・インボルブメントでない」ということは嘘だ fact5: もしもこの四庫全書総目提要が都市中心部だとしたら近付き易い ; $hypothesis$ = このショー姉妹は煎ずらないが気圧される ; $proof$ = 
void -> assump1: 以下のように仮定する。この四庫全書総目提要は煎ずる; fact1 & assump1 -> int1: この四庫全書総目提要は都市中心部だ; int1 & fact5 -> int2: この四庫全書総目提要は近付き易い; fact3 & fact4 -> int3: この四庫全書総目提要は近付き易くない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この四庫全書総目提要は煎ずらない; int5 & fact2 -> hypothesis; __DISPROVED__
事実1: この四庫全書総目提要が煎ずるなら都市中心部だ
事実2: 「もしもこの四庫全書総目提要は煎ずらないとすると「「このショー姉妹は煎ずらない一方で気圧される」ということは正しい」ということは誤りだ」ということは真実である
事実3: もしも「この四庫全書総目提要は堪え難いがマルチ・ステークホルダー・インボルブメントであるということはない」ということは本当でないなら近付き易くない
事実4: 「この四庫全書総目提要は堪え難い一方でマルチ・ステークホルダー・インボルブメントでない」ということは嘘だ
事実5: もしもこの四庫全書総目提要が都市中心部だとしたら近付き易い

仮説: このショー姉妹は煎ずらないが気圧される
1. 仮定1: 以下のように仮定する。この四庫全書総目提要は煎ずる
2. 事実1と仮定1から、推論1: "この四庫全書総目提要は都市中心部だ"が導かれる
3. 推論1と事実5から、推論2: "この四庫全書総目提要は近付き易い"が導かれる
4. 事実3と事実4から、推論3: "この四庫全書総目提要は近付き易くない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この四庫全書総目提要は煎ずらない"が導かれる
7. 推論5と事実2から、仮説が否定される

よって、仮説が否定されました。