その松山事件は乱闘事件だ
fact1: もし仮に「「濃淡でなくてそれに手渡しする」ということは偽である」物があるとすればあの憂液は乱闘事件でない fact2: この憂液は湾曲する fact3: その全員外は濃淡だ fact4: その松山事件は乱闘事件なら「あのマクロ経済学は布陣するということはないがしかし手渡しする」ということは間違っている fact5: 仮になにかは塩っ辛くないとすると「それは濃淡でルーバー式だ」ということは嘘だ fact6: 賑々しくないものは乱闘事件だし加えて濃淡である fact7: 仮にその松山事件が乱闘事件であるししかも賑々しいとしたらこの憂液は乱闘事件であるということはない fact8: もしも「「布陣しないしさらに手渡しする」ということは嘘な」物があればこの憂液は濃淡だということはない fact9: 「この憂液は濃淡である」ということは事実である fact10: 「あのマクロ経済学は布陣するししかも手渡しする」ということは間違っている fact11: その松山事件は手渡しする
void -> assump1: 以下のように仮定する。その松山事件は乱闘事件である; fact4 & assump1 -> int1: 「あのマクロ経済学は布陣しない一方で手渡しする」ということは偽だ; int1 -> int2: 「「布陣しないしその上手渡しする」ということは成り立たない」ものはある; int2 & fact8 -> int3: この憂液は濃淡でない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
この憂液は乱闘事件でない
fact13 -> int5: もし仮にあのマクロ経済学は塩っ辛くないならば「それは濃淡だし加えてそれはルーバー式である」ということは間違っている;
$facts$ = fact1: もし仮に「「濃淡でなくてそれに手渡しする」ということは偽である」物があるとすればあの憂液は乱闘事件でない fact2: この憂液は湾曲する fact3: その全員外は濃淡だ fact4: その松山事件は乱闘事件なら「あのマクロ経済学は布陣するということはないがしかし手渡しする」ということは間違っている fact5: 仮になにかは塩っ辛くないとすると「それは濃淡でルーバー式だ」ということは嘘だ fact6: 賑々しくないものは乱闘事件だし加えて濃淡である fact7: 仮にその松山事件が乱闘事件であるししかも賑々しいとしたらこの憂液は乱闘事件であるということはない fact8: もしも「「布陣しないしさらに手渡しする」ということは嘘な」物があればこの憂液は濃淡だということはない fact9: 「この憂液は濃淡である」ということは事実である fact10: 「あのマクロ経済学は布陣するししかも手渡しする」ということは間違っている fact11: その松山事件は手渡しする ; $hypothesis$ = その松山事件は乱闘事件だ ; $proof$ = 
void -> assump1: 以下のように仮定する。その松山事件は乱闘事件である; fact4 & assump1 -> int1: 「あのマクロ経済学は布陣しない一方で手渡しする」ということは偽だ; int1 -> int2: 「「布陣しないしその上手渡しする」ということは成り立たない」ものはある; int2 & fact8 -> int3: この憂液は濃淡でない; int3 & fact9 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「「濃淡でなくてそれに手渡しする」ということは偽である」物があるとすればあの憂液は乱闘事件でない
事実2: この憂液は湾曲する
事実3: その全員外は濃淡だ
事実4: その松山事件は乱闘事件なら「あのマクロ経済学は布陣するということはないがしかし手渡しする」ということは間違っている
事実5: 仮になにかは塩っ辛くないとすると「それは濃淡でルーバー式だ」ということは嘘だ
事実6: 賑々しくないものは乱闘事件だし加えて濃淡である
事実7: 仮にその松山事件が乱闘事件であるししかも賑々しいとしたらこの憂液は乱闘事件であるということはない
事実8: もしも「「布陣しないしさらに手渡しする」ということは嘘な」物があればこの憂液は濃淡だということはない
事実9: 「この憂液は濃淡である」ということは事実である
事実10: 「あのマクロ経済学は布陣するししかも手渡しする」ということは間違っている
事実11: その松山事件は手渡しする

仮説: その松山事件は乱闘事件だ
1. 仮定1: 以下のように仮定する。その松山事件は乱闘事件である
2. 事実4と仮定1から、推論1: "「あのマクロ経済学は布陣しない一方で手渡しする」ということは偽だ"が導かれる
3. 推論1から、推論2: "「「布陣しないしその上手渡しする」ということは成り立たない」ものはある"が導かれる
4. 推論2と事実8から、推論3: "この憂液は濃淡でない"が導かれる
5. 推論3と事実9から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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