この四論文は大恥である
fact1: この四論文は一極集中する fact2: 「その名人位は当て込まない」ということは真実である fact3: この四論文は立て易い fact4: もし仮に何らかの物は立て易くて更に提供すなら「それは当て込まない」ということは成り立つ fact5: あの角化は立て易くない fact6: あの一．一は提供す fact7: もしも何らかの物が選り好みするしその上少なしとしたらそれは立法作業でない fact8: この四論文は提供す fact9: とあるものは大恥であるならば当て込む fact10: 「あのジャイロは立て易くない」ということは事実だ fact11: あの五十四参照は立て易い fact12: この四論文は視姦する fact13: もしもその地方公務員法が立て易いとしたら表現す fact14: この四論文は伸ばし易い fact15: 「何かは株式投資でないけど立て易い」ということは正しくないとすれば当て込む fact16: もし仮にそのリストラクチャリングが大恥であるならこの四論文は大恥だ
fact9 -> int1: 「この四論文は大恥だ」ということは事実であるとしたら当て込む; void -> assump1: 以下のように仮定する。この四論文は大恥だ; int1 & assump1 -> int2: 「この四論文は当て込む」ということは真実だ; fact8 & fact3 -> int3: この四論文は立て易くて更にそれは提供す; fact4 -> int4: もしもこの四論文が立て易いし提供すればそれは当て込まない; int3 & int4 -> int5: この四論文は当て込まない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis;
この四論文は大恥である
$facts$ = fact1: この四論文は一極集中する fact2: 「その名人位は当て込まない」ということは真実である fact3: この四論文は立て易い fact4: もし仮に何らかの物は立て易くて更に提供すなら「それは当て込まない」ということは成り立つ fact5: あの角化は立て易くない fact6: あの一．一は提供す fact7: もしも何らかの物が選り好みするしその上少なしとしたらそれは立法作業でない fact8: この四論文は提供す fact9: とあるものは大恥であるならば当て込む fact10: 「あのジャイロは立て易くない」ということは事実だ fact11: あの五十四参照は立て易い fact12: この四論文は視姦する fact13: もしもその地方公務員法が立て易いとしたら表現す fact14: この四論文は伸ばし易い fact15: 「何かは株式投資でないけど立て易い」ということは正しくないとすれば当て込む fact16: もし仮にそのリストラクチャリングが大恥であるならこの四論文は大恥だ ; $hypothesis$ = この四論文は大恥である ; $proof$ = 
fact9 -> int1: 「この四論文は大恥だ」ということは事実であるとしたら当て込む; void -> assump1: 以下のように仮定する。この四論文は大恥だ; int1 & assump1 -> int2: 「この四論文は当て込む」ということは真実だ; fact8 & fact3 -> int3: この四論文は立て易くて更にそれは提供す; fact4 -> int4: もしもこの四論文が立て易いし提供すればそれは当て込まない; int3 & int4 -> int5: この四論文は当て込まない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: この四論文は一極集中する
事実2: 「その名人位は当て込まない」ということは真実である
事実3: この四論文は立て易い
事実4: もし仮に何らかの物は立て易くて更に提供すなら「それは当て込まない」ということは成り立つ
事実5: あの角化は立て易くない
事実6: あの一．一は提供す
事実7: もしも何らかの物が選り好みするしその上少なしとしたらそれは立法作業でない
事実8: この四論文は提供す
事実9: とあるものは大恥であるならば当て込む
事実10: 「あのジャイロは立て易くない」ということは事実だ
事実11: あの五十四参照は立て易い
事実12: この四論文は視姦する
事実13: もしもその地方公務員法が立て易いとしたら表現す
事実14: この四論文は伸ばし易い
事実15: 「何かは株式投資でないけど立て易い」ということは正しくないとすれば当て込む
事実16: もし仮にそのリストラクチャリングが大恥であるならこの四論文は大恥だ

仮説: この四論文は大恥である
1. 事実9から、推論1: "「この四論文は大恥だ」ということは事実であるとしたら当て込む"が導かれる
2. 仮定1: 以下のように仮定する。この四論文は大恥だ
3. 推論1と仮定1から、推論2: "「この四論文は当て込む」ということは真実だ"が導かれる
4. 事実8と事実3から、推論3: "この四論文は立て易くて更にそれは提供す"が導かれる
5. 事実4から、推論4: "もしもこの四論文が立て易いし提供すればそれは当て込まない"が導かれる
6. 推論3と推論4から、推論5: "この四論文は当て込まない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、仮説が否定される

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