そのＲ＆Ｂは別学でない
fact1: このブラシ状は別学でない fact2: 何かは就業しない fact3: もし仮になにがしかの物は就業するし更に突き当たるとすればそれは申告期限延長でない fact4: もしこのブラシ状が就業しないならばそのポジは訳無いけれど就業しない fact5: もし何らかの物が招き易くないならそれは訳無い fact6: もしも何かは訳無いけれど就業しないとするとそのＲ＆Ｂは別学である fact7: 「もし仮にこのブラシ状が招き易いならばこのブラシ状は突き当たる」ということは偽だということはない fact8: 仮に「「別学でない」ということは真実な」物があるとすればあのＲ＆Ｂは申告期限延長でない fact9: このブラシ状は得難しがしかし施用しない fact10: 「このブラシ状は招き易い」ということは成り立つ fact11: その中流層は突き当たる fact12: このブラシ状は懐こくない fact13: このブラシ状は告示するし申告期限延長である fact14: 「このブラシ状は合意出来る」ということは正しい
fact7 & fact10 -> int1: このブラシ状は突き当たる; void -> assump1: 以下のように仮定する。このブラシ状は就業する; int1 & assump1 -> int2: このブラシ状は就業するしおまけにそれは突き当たる; fact3 -> int3: もし仮にこのブラシ状が就業するしその上突き当たるとするとそれは申告期限延長でない; int2 & int3 -> int4: このブラシ状は申告期限延長でない; fact13 -> int5: このブラシ状は申告期限延長だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このブラシ状は就業しない; int7 & fact4 -> int8: そのポジは訳無いけれど就業しない; int8 -> int9: 「訳無いし就業するということはない」物はある; int9 & fact6 -> hypothesis;
そのＲ＆Ｂは訳無い
fact16 -> int10: もしもそのＲ＆Ｂが招き易くないならば訳無い; fact17 -> int11: 「別学でない」ものはある; int11 & fact15 -> int12: そのＲ＆Ｂは申告期限延長でない;
$facts$ = fact1: このブラシ状は別学でない fact2: 何かは就業しない fact3: もし仮になにがしかの物は就業するし更に突き当たるとすればそれは申告期限延長でない fact4: もしこのブラシ状が就業しないならばそのポジは訳無いけれど就業しない fact5: もし何らかの物が招き易くないならそれは訳無い fact6: もしも何かは訳無いけれど就業しないとするとそのＲ＆Ｂは別学である fact7: 「もし仮にこのブラシ状が招き易いならばこのブラシ状は突き当たる」ということは偽だということはない fact8: 仮に「「別学でない」ということは真実な」物があるとすればあのＲ＆Ｂは申告期限延長でない fact9: このブラシ状は得難しがしかし施用しない fact10: 「このブラシ状は招き易い」ということは成り立つ fact11: その中流層は突き当たる fact12: このブラシ状は懐こくない fact13: このブラシ状は告示するし申告期限延長である fact14: 「このブラシ状は合意出来る」ということは正しい ; $hypothesis$ = そのＲ＆Ｂは別学でない ; $proof$ = 
fact7 & fact10 -> int1: このブラシ状は突き当たる; void -> assump1: 以下のように仮定する。このブラシ状は就業する; int1 & assump1 -> int2: このブラシ状は就業するしおまけにそれは突き当たる; fact3 -> int3: もし仮にこのブラシ状が就業するしその上突き当たるとするとそれは申告期限延長でない; int2 & int3 -> int4: このブラシ状は申告期限延長でない; fact13 -> int5: このブラシ状は申告期限延長だ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: このブラシ状は就業しない; int7 & fact4 -> int8: そのポジは訳無いけれど就業しない; int8 -> int9: 「訳無いし就業するということはない」物はある; int9 & fact6 -> hypothesis; __DISPROVED__
事実1: このブラシ状は別学でない
事実2: 何かは就業しない
事実3: もし仮になにがしかの物は就業するし更に突き当たるとすればそれは申告期限延長でない
事実4: もしこのブラシ状が就業しないならばそのポジは訳無いけれど就業しない
事実5: もし何らかの物が招き易くないならそれは訳無い
事実6: もしも何かは訳無いけれど就業しないとするとそのＲ＆Ｂは別学である
事実7: 「もし仮にこのブラシ状が招き易いならばこのブラシ状は突き当たる」ということは偽だということはない
事実8: 仮に「「別学でない」ということは真実な」物があるとすればあのＲ＆Ｂは申告期限延長でない
事実9: このブラシ状は得難しがしかし施用しない
事実10: 「このブラシ状は招き易い」ということは成り立つ
事実11: その中流層は突き当たる
事実12: このブラシ状は懐こくない
事実13: このブラシ状は告示するし申告期限延長である
事実14: 「このブラシ状は合意出来る」ということは正しい

仮説: そのＲ＆Ｂは別学でない
1. 事実7と事実10から、推論1: "このブラシ状は突き当たる"が導かれる
2. 仮定1: 以下のように仮定する。このブラシ状は就業する
3. 推論1と仮定1から、推論2: "このブラシ状は就業するしおまけにそれは突き当たる"が導かれる
4. 事実3から、推論3: "もし仮にこのブラシ状が就業するしその上突き当たるとするとそれは申告期限延長でない"が導かれる
5. 推論2と推論3から、推論4: "このブラシ状は申告期限延長でない"が導かれる
6. 事実13から、推論5: "このブラシ状は申告期限延長だ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "このブラシ状は就業しない"が導かれる
9. 推論7と事実4から、推論8: "そのポジは訳無いけれど就業しない"が導かれる
10. 推論8から、推論9: "「訳無いし就業するということはない」物はある"が導かれる
11. 推論9と事実6から、仮説が否定される

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