「その十三年商法改正は最終ページであるしそれは飛び下りる」ということは嘘だ
fact1: 仮にこのオプションメニューが苦しいならこのラブラブは最終ページである fact2: 受け易い物は苦しい fact3: すべての物は最終ページで飛び下りる fact4: なにがしかの物が御答え頂くかまたはそれは疎ましくらないかもしくは両方ともだとしたらそれは疎ましかない fact5: このラブラブは疎ましいかもしくはＯＢＩであるということはないかどちらもである fact6: 最終ページは飛び下りる fact7: もしもこのオプションメニューが受け易いとすると御答え頂くかもしくは疎ましくらないかもしくはどちらもだ fact8: 疎ましくらない物はＯＢＩであるしその上苦しい fact9: なんらかのものはＯＢＩでないならば朝鮮人官吏である fact10: 疎ましい物は朝鮮人官吏である
fact3 -> hypothesis;
fact3 -> hypothesis;
このラブラブは朝鮮人官吏であるしまた飛び下りる
fact14 -> int1: もしこのラブラブが疎ましいならばそれは朝鮮人官吏である; fact16 -> int2: このラブラブはＯＢＩでないならばそれは朝鮮人官吏である; fact15 & int1 & int2 -> int3: このラブラブは朝鮮人官吏だ; fact13 -> int4: もしこのラブラブが最終ページだとすればそれは飛び下りる; fact12 -> int5: もしもこのオプションメニューが受け易いならばそれは苦しい;
$facts$ = fact1: 仮にこのオプションメニューが苦しいならこのラブラブは最終ページである fact2: 受け易い物は苦しい fact3: すべての物は最終ページで飛び下りる fact4: なにがしかの物が御答え頂くかまたはそれは疎ましくらないかもしくは両方ともだとしたらそれは疎ましかない fact5: このラブラブは疎ましいかもしくはＯＢＩであるということはないかどちらもである fact6: 最終ページは飛び下りる fact7: もしもこのオプションメニューが受け易いとすると御答え頂くかもしくは疎ましくらないかもしくはどちらもだ fact8: 疎ましくらない物はＯＢＩであるしその上苦しい fact9: なんらかのものはＯＢＩでないならば朝鮮人官吏である fact10: 疎ましい物は朝鮮人官吏である ; $hypothesis$ = 「その十三年商法改正は最終ページであるしそれは飛び下りる」ということは嘘だ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: 仮にこのオプションメニューが苦しいならこのラブラブは最終ページである
事実2: 受け易い物は苦しい
事実3: すべての物は最終ページで飛び下りる
事実4: なにがしかの物が御答え頂くかまたはそれは疎ましくらないかもしくは両方ともだとしたらそれは疎ましかない
事実5: このラブラブは疎ましいかもしくはＯＢＩであるということはないかどちらもである
事実6: 最終ページは飛び下りる
事実7: もしもこのオプションメニューが受け易いとすると御答え頂くかもしくは疎ましくらないかもしくはどちらもだ
事実8: 疎ましくらない物はＯＢＩであるしその上苦しい
事実9: なんらかのものはＯＢＩでないならば朝鮮人官吏である
事実10: 疎ましい物は朝鮮人官吏である

仮説: 「その十三年商法改正は最終ページであるしそれは飛び下りる」ということは嘘だ
1. 事実3から、仮説が否定される

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