この長崎奉行所はリポ蛋白である
fact1: もしなにがしかの物が設置出来るとしたらそれはリポ蛋白だということはない fact2: もし「このハビトゥスは破却する」ということは真実であるならこの長崎奉行所は設置出来る fact3: もしもあの股座が御覧下さればこのハビトゥスは挫折する fact4: あの電源回路は破却する fact5: 仮に何らかの物が挫折するなら救済出来ない fact6: このハビトゥスは破却する
fact2 & fact6 -> int1: この長崎奉行所は設置出来る; fact1 -> int2: もし仮にこの長崎奉行所は設置出来るとしたら「それはリポ蛋白でない」ということは成り立つ; int1 & int2 -> hypothesis;
この長崎奉行所はリポ蛋白である
fact8 -> int3: 「仮にこのハビトゥスが挫折するとしたらこのハビトゥスは救済出来ない」ということは成り立つ;
$facts$ = fact1: もしなにがしかの物が設置出来るとしたらそれはリポ蛋白だということはない fact2: もし「このハビトゥスは破却する」ということは真実であるならこの長崎奉行所は設置出来る fact3: もしもあの股座が御覧下さればこのハビトゥスは挫折する fact4: あの電源回路は破却する fact5: 仮に何らかの物が挫折するなら救済出来ない fact6: このハビトゥスは破却する ; $hypothesis$ = この長崎奉行所はリポ蛋白である ; $proof$ = 
fact2 & fact6 -> int1: この長崎奉行所は設置出来る; fact1 -> int2: もし仮にこの長崎奉行所は設置出来るとしたら「それはリポ蛋白でない」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物が設置出来るとしたらそれはリポ蛋白だということはない
事実2: もし「このハビトゥスは破却する」ということは真実であるならこの長崎奉行所は設置出来る
事実3: もしもあの股座が御覧下さればこのハビトゥスは挫折する
事実4: あの電源回路は破却する
事実5: 仮に何らかの物が挫折するなら救済出来ない
事実6: このハビトゥスは破却する

仮説: この長崎奉行所はリポ蛋白である
1. 事実2と事実6から、推論1: "この長崎奉行所は設置出来る"が導かれる
2. 事実1から、推論2: "もし仮にこの長崎奉行所は設置出来るとしたら「それはリポ蛋白でない」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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