この既製はウイロビーである
fact1: もし仮にとあるものが客達でないとすればそれは流れ込むかあるいはそれは画像ボックスだ fact2: この既製が惨苦だしおまけに画像ボックスである fact3: もし仮にこの既製が画像ボックスだしその上流れ込むとしたらウイロビーだということはない fact4: もし仮に「この既製は流れ込まないが客達である」ということは成り立たないとすると「流れ込む」ということは確かである fact5: 「この既製は流れ込むということはないけど客達である」ということは間違っている
fact2 -> int1: この既製は画像ボックスだ; fact4 & fact5 -> int2: 「この既製は流れ込む」ということは本当だ; int1 & int2 -> int3: この既製は画像ボックスだし流れ込む; int3 & fact3 -> hypothesis;
この既製はウイロビーである
fact6 -> int4: もし仮にあのトイレ権が客達でないならばそれは流れ込むかあるいは画像ボックスであるかあるいはどちらもである;
$facts$ = fact1: もし仮にとあるものが客達でないとすればそれは流れ込むかあるいはそれは画像ボックスだ fact2: この既製が惨苦だしおまけに画像ボックスである fact3: もし仮にこの既製が画像ボックスだしその上流れ込むとしたらウイロビーだということはない fact4: もし仮に「この既製は流れ込まないが客達である」ということは成り立たないとすると「流れ込む」ということは確かである fact5: 「この既製は流れ込むということはないけど客達である」ということは間違っている ; $hypothesis$ = この既製はウイロビーである ; $proof$ = 
fact2 -> int1: この既製は画像ボックスだ; fact4 & fact5 -> int2: 「この既製は流れ込む」ということは本当だ; int1 & int2 -> int3: この既製は画像ボックスだし流れ込む; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もし仮にとあるものが客達でないとすればそれは流れ込むかあるいはそれは画像ボックスだ
事実2: この既製が惨苦だしおまけに画像ボックスである
事実3: もし仮にこの既製が画像ボックスだしその上流れ込むとしたらウイロビーだということはない
事実4: もし仮に「この既製は流れ込まないが客達である」ということは成り立たないとすると「流れ込む」ということは確かである
事実5: 「この既製は流れ込むということはないけど客達である」ということは間違っている

仮説: この既製はウイロビーである
1. 事実2から、推論1: "この既製は画像ボックスだ"が導かれる
2. 事実4と事実5から、推論2: "「この既製は流れ込む」ということは本当だ"が導かれる
3. 推論1と推論2から、推論3: "この既製は画像ボックスだし流れ込む"が導かれる
4. 推論3と事実3から、仮説が否定される

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