この北袖廊戸口は味気無い
fact1: この北袖廊戸口は保有株式で跳躍する fact2: もしもこの北袖廊戸口が跳躍しないとするとそれは味気無いししかも保有株式だ fact3: ある物は潰せないならば「手広くないが五社堂である」ということは誤りである fact4: 「この北袖廊戸口は潰せる一方でそれは窄まない」ということは事実と異なる fact5: 仮に「この北袖廊戸口は潰せるが窄まない」ということは事実と異なるなら潰せるということはない fact6: 仮にこの北袖廊戸口が保有株式であるし更にそれが味気無いとするとそれは手広くない fact7: その傾城が跳躍するしその上どんよりする fact8: この北袖廊戸口は五社堂である
fact1 -> int1: この北袖廊戸口は保有株式である; void -> assump1: 以下のように仮定する。この北袖廊戸口は味気無い; int1 & assump1 -> int2: この北袖廊戸口は保有株式であるし加えて味気無い; int2 & fact6 -> int3: この北袖廊戸口は手広くない; int3 & fact8 -> int4: この北袖廊戸口は手広くないけれど五社堂である; fact3 -> int5: この北袖廊戸口は潰せないとすると「手広くないが五社堂だ」ということは間違っている; fact4 & fact5 -> int6: この北袖廊戸口は潰せない; int5 & int6 -> int7: 「この北袖廊戸口は手広くないけれど五社堂だ」ということは間違っている; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この北袖廊戸口は味気無い
$facts$ = fact1: この北袖廊戸口は保有株式で跳躍する fact2: もしもこの北袖廊戸口が跳躍しないとするとそれは味気無いししかも保有株式だ fact3: ある物は潰せないならば「手広くないが五社堂である」ということは誤りである fact4: 「この北袖廊戸口は潰せる一方でそれは窄まない」ということは事実と異なる fact5: 仮に「この北袖廊戸口は潰せるが窄まない」ということは事実と異なるなら潰せるということはない fact6: 仮にこの北袖廊戸口が保有株式であるし更にそれが味気無いとするとそれは手広くない fact7: その傾城が跳躍するしその上どんよりする fact8: この北袖廊戸口は五社堂である ; $hypothesis$ = この北袖廊戸口は味気無い ; $proof$ = 
fact1 -> int1: この北袖廊戸口は保有株式である; void -> assump1: 以下のように仮定する。この北袖廊戸口は味気無い; int1 & assump1 -> int2: この北袖廊戸口は保有株式であるし加えて味気無い; int2 & fact6 -> int3: この北袖廊戸口は手広くない; int3 & fact8 -> int4: この北袖廊戸口は手広くないけれど五社堂である; fact3 -> int5: この北袖廊戸口は潰せないとすると「手広くないが五社堂だ」ということは間違っている; fact4 & fact5 -> int6: この北袖廊戸口は潰せない; int5 & int6 -> int7: 「この北袖廊戸口は手広くないけれど五社堂だ」ということは間違っている; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: この北袖廊戸口は保有株式で跳躍する
事実2: もしもこの北袖廊戸口が跳躍しないとするとそれは味気無いししかも保有株式だ
事実3: ある物は潰せないならば「手広くないが五社堂である」ということは誤りである
事実4: 「この北袖廊戸口は潰せる一方でそれは窄まない」ということは事実と異なる
事実5: 仮に「この北袖廊戸口は潰せるが窄まない」ということは事実と異なるなら潰せるということはない
事実6: 仮にこの北袖廊戸口が保有株式であるし更にそれが味気無いとするとそれは手広くない
事実7: その傾城が跳躍するしその上どんよりする
事実8: この北袖廊戸口は五社堂である

仮説: この北袖廊戸口は味気無い
1. 事実1から、推論1: "この北袖廊戸口は保有株式である"が導かれる
2. 仮定1: 以下のように仮定する。この北袖廊戸口は味気無い
3. 推論1と仮定1から、推論2: "この北袖廊戸口は保有株式であるし加えて味気無い"が導かれる
4. 推論2と事実6から、推論3: "この北袖廊戸口は手広くない"が導かれる
5. 推論3と事実8から、推論4: "この北袖廊戸口は手広くないけれど五社堂である"が導かれる
6. 事実3から、推論5: "この北袖廊戸口は潰せないとすると「手広くないが五社堂だ」ということは間違っている"が導かれる
7. 事実4と事実5から、推論6: "この北袖廊戸口は潰せない"が導かれる
8. 推論5と推論6から、推論7: "「この北袖廊戸口は手広くないけれど五社堂だ」ということは間違っている"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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