「もし仮にあの印刷媒体が社会活動ならばこのマグマ溜まりは持ち歩く」ということは確かでない
fact1: あの三百ＰＳが放熱するとすればあの遊覧はカウンティである fact2: もしその遊覧がトラック環礁ならあの三百ＰＳはカウンティだ fact3: その遊覧は放熱する fact4: その遊覧は持ち歩く fact5: その遊覧がカウンティであるならこのマグマ溜まりは持ち歩く fact6: もし仮にあの印刷媒体がカウンティならばその遊覧は社会活動だ fact7: もしもこのマグマ溜まりがカウンティであるならばその遊覧は持ち歩く fact8: あの印刷媒体が社会活動であるならあの三百ＰＳはトラック環礁である fact9: 仮にあの三百ＰＳはトラック環礁であるとしたらそれは放熱する fact10: 仮に「何らかの物は放熱しないけどそれはトラック環礁だ」ということは成り立たないならば「それは社会活動だ」ということは真実だ
void -> assump1: 以下のように仮定する。あの印刷媒体は社会活動だ; fact8 & assump1 -> int1: 「あの三百ＰＳはトラック環礁だ」ということは成り立つ; int1 & fact9 -> int2: あの三百ＰＳは放熱する; int2 & fact1 -> int3: その遊覧はカウンティである; int3 & fact5 -> int4: このマグマ溜まりは持ち歩く; [assump1] & int4 -> hypothesis;
あの三百ＰＳは社会活動だ
fact11 -> int5: もし仮に「あの三百ＰＳは放熱しないけれどトラック環礁である」ということは成り立たないとしたらそれは社会活動である;
$facts$ = fact1: あの三百ＰＳが放熱するとすればあの遊覧はカウンティである fact2: もしその遊覧がトラック環礁ならあの三百ＰＳはカウンティだ fact3: その遊覧は放熱する fact4: その遊覧は持ち歩く fact5: その遊覧がカウンティであるならこのマグマ溜まりは持ち歩く fact6: もし仮にあの印刷媒体がカウンティならばその遊覧は社会活動だ fact7: もしもこのマグマ溜まりがカウンティであるならばその遊覧は持ち歩く fact8: あの印刷媒体が社会活動であるならあの三百ＰＳはトラック環礁である fact9: 仮にあの三百ＰＳはトラック環礁であるとしたらそれは放熱する fact10: 仮に「何らかの物は放熱しないけどそれはトラック環礁だ」ということは成り立たないならば「それは社会活動だ」ということは真実だ ; $hypothesis$ = 「もし仮にあの印刷媒体が社会活動ならばこのマグマ溜まりは持ち歩く」ということは確かでない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの印刷媒体は社会活動だ; fact8 & assump1 -> int1: 「あの三百ＰＳはトラック環礁だ」ということは成り立つ; int1 & fact9 -> int2: あの三百ＰＳは放熱する; int2 & fact1 -> int3: その遊覧はカウンティである; int3 & fact5 -> int4: このマグマ溜まりは持ち歩く; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: あの三百ＰＳが放熱するとすればあの遊覧はカウンティである
事実2: もしその遊覧がトラック環礁ならあの三百ＰＳはカウンティだ
事実3: その遊覧は放熱する
事実4: その遊覧は持ち歩く
事実5: その遊覧がカウンティであるならこのマグマ溜まりは持ち歩く
事実6: もし仮にあの印刷媒体がカウンティならばその遊覧は社会活動だ
事実7: もしもこのマグマ溜まりがカウンティであるならばその遊覧は持ち歩く
事実8: あの印刷媒体が社会活動であるならあの三百ＰＳはトラック環礁である
事実9: 仮にあの三百ＰＳはトラック環礁であるとしたらそれは放熱する
事実10: 仮に「何らかの物は放熱しないけどそれはトラック環礁だ」ということは成り立たないならば「それは社会活動だ」ということは真実だ

仮説: 「もし仮にあの印刷媒体が社会活動ならばこのマグマ溜まりは持ち歩く」ということは確かでない
1. 仮定1: 以下のように仮定する。あの印刷媒体は社会活動だ
2. 事実8と仮定1から、推論1: "「あの三百ＰＳはトラック環礁だ」ということは成り立つ"が導かれる
3. 推論1と事実9から、推論2: "あの三百ＰＳは放熱する"が導かれる
4. 推論2と事実1から、推論3: "その遊覧はカウンティである"が導かれる
5. 推論3と事実5から、推論4: "このマグマ溜まりは持ち歩く"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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