この四席は圧倒すらない
fact1: その社会改造は男編集者でない fact2: この諸技術は圧倒すらない fact3: その社会改造は圧倒す fact4: 手っ取り早い物は言いそびれないかもしくは圧倒すらないかまたはどちらもだ fact5: その社会改造は出来高ゾーン投資術だ fact6: あのタバコ代は圧倒すらない fact7: もし仮にある物が言いそびれないとするとそれは男編集者であるしまた認め難い fact8: この四席は外層だということはない fact9: 太い物は敬わないがしかし手っ取り早い fact10: もしその社会改造が言いそびれるならこの四席は圧倒す fact11: もしもなんらかの物が年取らないならそれは捕捉する fact12: その社会改造は菖蒲・艾だ
fact7 -> int1: もし仮にその社会改造が言いそびれないとしたらそれは男編集者で認め難い; void -> assump1: 以下のように仮定する。その社会改造は言いそびれない; int1 & assump1 -> int2: その社会改造は男編集者であるし更にそれは認め難い; int2 -> int3: その社会改造は男編集者だ; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: その社会改造は言いそびれる; int5 & fact10 -> hypothesis;
あの追善供養は圧倒すらない
fact13 -> int6: もし仮に「あの追善供養は手っ取り早い」ということは事実ならばそれは言いそびれないかもしくは圧倒すらない; fact14 -> int7: もし「あの追善供養は太い」ということは成り立てば敬うということはないけれど手っ取り早い;
$facts$ = fact1: その社会改造は男編集者でない fact2: この諸技術は圧倒すらない fact3: その社会改造は圧倒す fact4: 手っ取り早い物は言いそびれないかもしくは圧倒すらないかまたはどちらもだ fact5: その社会改造は出来高ゾーン投資術だ fact6: あのタバコ代は圧倒すらない fact7: もし仮にある物が言いそびれないとするとそれは男編集者であるしまた認め難い fact8: この四席は外層だということはない fact9: 太い物は敬わないがしかし手っ取り早い fact10: もしその社会改造が言いそびれるならこの四席は圧倒す fact11: もしもなんらかの物が年取らないならそれは捕捉する fact12: その社会改造は菖蒲・艾だ ; $hypothesis$ = この四席は圧倒すらない ; $proof$ = 
fact7 -> int1: もし仮にその社会改造が言いそびれないとしたらそれは男編集者で認め難い; void -> assump1: 以下のように仮定する。その社会改造は言いそびれない; int1 & assump1 -> int2: その社会改造は男編集者であるし更にそれは認め難い; int2 -> int3: その社会改造は男編集者だ; int3 & fact1 -> int4: これは矛盾である; [assump1] & int4 -> int5: その社会改造は言いそびれる; int5 & fact10 -> hypothesis; __DISPROVED__
事実1: その社会改造は男編集者でない
事実2: この諸技術は圧倒すらない
事実3: その社会改造は圧倒す
事実4: 手っ取り早い物は言いそびれないかもしくは圧倒すらないかまたはどちらもだ
事実5: その社会改造は出来高ゾーン投資術だ
事実6: あのタバコ代は圧倒すらない
事実7: もし仮にある物が言いそびれないとするとそれは男編集者であるしまた認め難い
事実8: この四席は外層だということはない
事実9: 太い物は敬わないがしかし手っ取り早い
事実10: もしその社会改造が言いそびれるならこの四席は圧倒す
事実11: もしもなんらかの物が年取らないならそれは捕捉する
事実12: その社会改造は菖蒲・艾だ

仮説: この四席は圧倒すらない
1. 事実7から、推論1: "もし仮にその社会改造が言いそびれないとしたらそれは男編集者で認め難い"が導かれる
2. 仮定1: 以下のように仮定する。その社会改造は言いそびれない
3. 推論1と仮定1から、推論2: "その社会改造は男編集者であるし更にそれは認め難い"が導かれる
4. 推論2から、推論3: "その社会改造は男編集者だ"が導かれる
5. 推論3と事実1から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その社会改造は言いそびれる"が導かれる
7. 推論5と事実10から、仮説が否定される

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