「もしもこの啓蒙思想家がＬＡＮ接続するならこの匿名ユーザーは日本らしい」ということは成り立つということはない
fact1: もし仮にこの匿名ユーザーが喪失するならＬＡＮ接続する fact2: 「多し物は最終ページだ」ということは本当だ fact3: もしも「この啓蒙思想家は喪失する」ということは成り立つとしたらそれはＬＡＮ接続する fact4: もし仮にこの啓蒙思想家が喪失するとするとこの匿名ユーザーはＬＡＮ接続する fact5: もしなんらかの物が日本らしいとしたらそれはＬＡＮ接続する fact6: し難いものは中間範囲である fact7: 仮に何かは喪失するとしたらそれはＬＡＮ接続する fact8: この匿名ユーザーが喪失するとすればあの啓蒙思想家は日本らしい fact9: この啓蒙思想家は再生利用等だ fact10: 「この匿名ユーザーはＬＡＮ接続する」ということは成り立つ fact11: もしこの啓蒙思想家がＬＡＮ接続するとすれば喪失する fact12: もしもこの啓蒙思想家がＬＡＮ接続するとすればこの匿名ユーザーは喪失する fact13: この啓蒙思想家は日本らしい fact14: もし仮に何らかのものが喪失するなら日本らしい fact15: この匿名ユーザーがＬＡＮ接続するならこの啓蒙思想家は日本らしい fact16: この匿名ユーザーは諫言する
void -> assump1: 以下のように仮定する。この啓蒙思想家はＬＡＮ接続する; fact12 & assump1 -> int1: この匿名ユーザーは喪失する; fact14 -> int2: もし仮にこの匿名ユーザーが喪失するとしたら日本らしい; int1 & int2 -> int3: この匿名ユーザーは日本らしい; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact12 & assump1 -> int1: {B}{b}; fact14 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もし仮にこの匿名ユーザーが喪失するならＬＡＮ接続する fact2: 「多し物は最終ページだ」ということは本当だ fact3: もしも「この啓蒙思想家は喪失する」ということは成り立つとしたらそれはＬＡＮ接続する fact4: もし仮にこの啓蒙思想家が喪失するとするとこの匿名ユーザーはＬＡＮ接続する fact5: もしなんらかの物が日本らしいとしたらそれはＬＡＮ接続する fact6: し難いものは中間範囲である fact7: 仮に何かは喪失するとしたらそれはＬＡＮ接続する fact8: この匿名ユーザーが喪失するとすればあの啓蒙思想家は日本らしい fact9: この啓蒙思想家は再生利用等だ fact10: 「この匿名ユーザーはＬＡＮ接続する」ということは成り立つ fact11: もしこの啓蒙思想家がＬＡＮ接続するとすれば喪失する fact12: もしもこの啓蒙思想家がＬＡＮ接続するとすればこの匿名ユーザーは喪失する fact13: この啓蒙思想家は日本らしい fact14: もし仮に何らかのものが喪失するなら日本らしい fact15: この匿名ユーザーがＬＡＮ接続するならこの啓蒙思想家は日本らしい fact16: この匿名ユーザーは諫言する ; $hypothesis$ = 「もしもこの啓蒙思想家がＬＡＮ接続するならこの匿名ユーザーは日本らしい」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この啓蒙思想家はＬＡＮ接続する; fact12 & assump1 -> int1: この匿名ユーザーは喪失する; fact14 -> int2: もし仮にこの匿名ユーザーが喪失するとしたら日本らしい; int1 & int2 -> int3: この匿名ユーザーは日本らしい; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もし仮にこの匿名ユーザーが喪失するならＬＡＮ接続する
事実2: 「多し物は最終ページだ」ということは本当だ
事実3: もしも「この啓蒙思想家は喪失する」ということは成り立つとしたらそれはＬＡＮ接続する
事実4: もし仮にこの啓蒙思想家が喪失するとするとこの匿名ユーザーはＬＡＮ接続する
事実5: もしなんらかの物が日本らしいとしたらそれはＬＡＮ接続する
事実6: し難いものは中間範囲である
事実7: 仮に何かは喪失するとしたらそれはＬＡＮ接続する
事実8: この匿名ユーザーが喪失するとすればあの啓蒙思想家は日本らしい
事実9: この啓蒙思想家は再生利用等だ
事実10: 「この匿名ユーザーはＬＡＮ接続する」ということは成り立つ
事実11: もしこの啓蒙思想家がＬＡＮ接続するとすれば喪失する
事実12: もしもこの啓蒙思想家がＬＡＮ接続するとすればこの匿名ユーザーは喪失する
事実13: この啓蒙思想家は日本らしい
事実14: もし仮に何らかのものが喪失するなら日本らしい
事実15: この匿名ユーザーがＬＡＮ接続するならこの啓蒙思想家は日本らしい
事実16: この匿名ユーザーは諫言する

仮説: 「もしもこの啓蒙思想家がＬＡＮ接続するならこの匿名ユーザーは日本らしい」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。この啓蒙思想家はＬＡＮ接続する
2. 事実12と仮定1から、推論1: "この匿名ユーザーは喪失する"が導かれる
3. 事実14から、推論2: "もし仮にこの匿名ユーザーが喪失するとしたら日本らしい"が導かれる
4. 推論1と推論2から、推論3: "この匿名ユーザーは日本らしい"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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