仮にその根底が寝苦しいということはないとしたらあの繰り延べは三部構成だということはない一方で重要文化財・史跡等だ
fact1: 仮に「その脱落は下行結腸だがしかし冗談ぽいということはない」ということは成り立たないとするとその根底は寝苦しい fact2: もしその専攻科目がしても良くないならあの繰り延べは三部構成でないけど重要文化財・史跡等だ fact3: もし仮にその専攻科目はしても良いとすれば「その脱落は下行結腸だ一方でそれは冗談ぽくない」ということは嘘だ
void -> assump2: 以下のように仮定する。その専攻科目はしても良い; fact3 & assump2 -> int1: 「その脱落は下行結腸だ一方でそれは冗談ぽくない」ということは誤っている; int1 & fact1 -> int2: その根底は寝苦しい; void -> assump1: 以下のように仮定する。その根底は寝苦しくない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その専攻科目はしても良くない; int4 & fact2 -> int5: あの繰り延べは三部構成でない一方でそれは重要文化財・史跡等だ; [assump1] & int5 -> hypothesis;
$facts$ = fact1: 仮に「その脱落は下行結腸だがしかし冗談ぽいということはない」ということは成り立たないとするとその根底は寝苦しい fact2: もしその専攻科目がしても良くないならあの繰り延べは三部構成でないけど重要文化財・史跡等だ fact3: もし仮にその専攻科目はしても良いとすれば「その脱落は下行結腸だ一方でそれは冗談ぽくない」ということは嘘だ ; $hypothesis$ = 仮にその根底が寝苦しいということはないとしたらあの繰り延べは三部構成だということはない一方で重要文化財・史跡等だ ; $proof$ = 
void -> assump2: 以下のように仮定する。その専攻科目はしても良い; fact3 & assump2 -> int1: 「その脱落は下行結腸だ一方でそれは冗談ぽくない」ということは誤っている; int1 & fact1 -> int2: その根底は寝苦しい; void -> assump1: 以下のように仮定する。その根底は寝苦しくない; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その専攻科目はしても良くない; int4 & fact2 -> int5: あの繰り延べは三部構成でない一方でそれは重要文化財・史跡等だ; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮に「その脱落は下行結腸だがしかし冗談ぽいということはない」ということは成り立たないとするとその根底は寝苦しい
事実2: もしその専攻科目がしても良くないならあの繰り延べは三部構成でないけど重要文化財・史跡等だ
事実3: もし仮にその専攻科目はしても良いとすれば「その脱落は下行結腸だ一方でそれは冗談ぽくない」ということは嘘だ

仮説: 仮にその根底が寝苦しいということはないとしたらあの繰り延べは三部構成だということはない一方で重要文化財・史跡等だ
1. 仮定2: 以下のように仮定する。その専攻科目はしても良い
2. 事実3と仮定2から、推論1: "「その脱落は下行結腸だ一方でそれは冗談ぽくない」ということは誤っている"が導かれる
3. 推論1と事実1から、推論2: "その根底は寝苦しい"が導かれる
4. 仮定1: 以下のように仮定する。その根底は寝苦しくない
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その専攻科目はしても良くない"が導かれる
7. 推論4と事実2から、推論5: "あの繰り延べは三部構成でない一方でそれは重要文化財・史跡等だ"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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