その第三部以降はバンカーだ
fact1: 誘発し易い物は自律しないし哀れっぽいということはない fact2: もし仮になんらかの物は会い成るし暴き出すとすると割れ易くない fact3: もしもこの投射は地籍図ならば「この平等はＳＭＯＮでないし地籍図でない」ということは誤りだ fact4: この投射が掴み掛からないかまたは変動費化しないかもしくはどちらもであるならばそれは誘発し易い fact5: この投射は掴み掛からないかそれは変動費化しないか両方ともである fact6: バンカーは地籍図である fact7: この投射はバンカーだとすれば「その第三部以降はバンカーである」ということは成り立つ fact8: もし仮にその第三部以降が割れ易くないとしたらその演算コントロールはバンカーであるし更にＳＭＯＮだ fact9: もし仮に「自律しない」物があるとすればその第三部以降は暴き出す fact10: この平等は会い成らないししかも最高意思決定機関でない fact11: もし仮にこの平等が会い成らなくて加えて最高意思決定機関でないならその第三部以降は会い成る fact12: この平等はＳＭＯＮだということはないしその上地籍図でない fact13: その第三部以降がバンカーであるとするとこの投射は地籍図だ
void -> assump1: 以下のように仮定する。その第三部以降はバンカーである; fact13 & assump1 -> int1: この投射は地籍図だ; int1 & fact3 -> int2: 「この平等はＳＭＯＮだということはなくてそれに地籍図でない」ということは成り立たない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
「その第三部以降はバンカーである」ということは正しい
$facts$ = fact1: 誘発し易い物は自律しないし哀れっぽいということはない fact2: もし仮になんらかの物は会い成るし暴き出すとすると割れ易くない fact3: もしもこの投射は地籍図ならば「この平等はＳＭＯＮでないし地籍図でない」ということは誤りだ fact4: この投射が掴み掛からないかまたは変動費化しないかもしくはどちらもであるならばそれは誘発し易い fact5: この投射は掴み掛からないかそれは変動費化しないか両方ともである fact6: バンカーは地籍図である fact7: この投射はバンカーだとすれば「その第三部以降はバンカーである」ということは成り立つ fact8: もし仮にその第三部以降が割れ易くないとしたらその演算コントロールはバンカーであるし更にＳＭＯＮだ fact9: もし仮に「自律しない」物があるとすればその第三部以降は暴き出す fact10: この平等は会い成らないししかも最高意思決定機関でない fact11: もし仮にこの平等が会い成らなくて加えて最高意思決定機関でないならその第三部以降は会い成る fact12: この平等はＳＭＯＮだということはないしその上地籍図でない fact13: その第三部以降がバンカーであるとするとこの投射は地籍図だ ; $hypothesis$ = その第三部以降はバンカーだ ; $proof$ = 
void -> assump1: 以下のように仮定する。その第三部以降はバンカーである; fact13 & assump1 -> int1: この投射は地籍図だ; int1 & fact3 -> int2: 「この平等はＳＭＯＮだということはなくてそれに地籍図でない」ということは成り立たない; int2 & fact12 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 誘発し易い物は自律しないし哀れっぽいということはない
事実2: もし仮になんらかの物は会い成るし暴き出すとすると割れ易くない
事実3: もしもこの投射は地籍図ならば「この平等はＳＭＯＮでないし地籍図でない」ということは誤りだ
事実4: この投射が掴み掛からないかまたは変動費化しないかもしくはどちらもであるならばそれは誘発し易い
事実5: この投射は掴み掛からないかそれは変動費化しないか両方ともである
事実6: バンカーは地籍図である
事実7: この投射はバンカーだとすれば「その第三部以降はバンカーである」ということは成り立つ
事実8: もし仮にその第三部以降が割れ易くないとしたらその演算コントロールはバンカーであるし更にＳＭＯＮだ
事実9: もし仮に「自律しない」物があるとすればその第三部以降は暴き出す
事実10: この平等は会い成らないししかも最高意思決定機関でない
事実11: もし仮にこの平等が会い成らなくて加えて最高意思決定機関でないならその第三部以降は会い成る
事実12: この平等はＳＭＯＮだということはないしその上地籍図でない
事実13: その第三部以降がバンカーであるとするとこの投射は地籍図だ

仮説: その第三部以降はバンカーだ
1. 仮定1: 以下のように仮定する。その第三部以降はバンカーである
2. 事実13と仮定1から、推論1: "この投射は地籍図だ"が導かれる
3. 推論1と事実3から、推論2: "「この平等はＳＭＯＮだということはなくてそれに地籍図でない」ということは成り立たない"が導かれる
4. 推論2と事実12から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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