「あの各種検査は腑甲斐無い」ということは確かだ
fact1: 「爪先立ちな」ものはある fact2: 「何らかのものは生活困窮であるしかつ若頭である」ということは成り立たないとすると「同系色だということはない」ということは成り立つ fact3: あの各種検査は押し捲らない fact4: そのでぶが同系色でないとするとあの各種検査は腑甲斐無くない fact5: 「押し捲る」物はある fact6: もし「押し捲る」ものはあれば「そのでぶが生活困窮だしかつそれは若頭だ」ということは間違いである fact7: 「そのでぶが腑甲斐無いしその上それは同系色である」ということは成り立たない
fact5 & fact6 -> int1: 「そのでぶは生活困窮であるしおまけにそれは若頭だ」ということは誤っている; fact2 -> int2: もし仮に「そのでぶは生活困窮で加えて若頭だ」ということは成り立つということはないとしたらそれは同系色でない; int1 & int2 -> int3: そのでぶは同系色でない; int3 & fact4 -> hypothesis;
$facts$ = fact1: 「爪先立ちな」ものはある fact2: 「何らかのものは生活困窮であるしかつ若頭である」ということは成り立たないとすると「同系色だということはない」ということは成り立つ fact3: あの各種検査は押し捲らない fact4: そのでぶが同系色でないとするとあの各種検査は腑甲斐無くない fact5: 「押し捲る」物はある fact6: もし「押し捲る」ものはあれば「そのでぶが生活困窮だしかつそれは若頭だ」ということは間違いである fact7: 「そのでぶが腑甲斐無いしその上それは同系色である」ということは成り立たない ; $hypothesis$ = 「あの各種検査は腑甲斐無い」ということは確かだ ; $proof$ = 
fact5 & fact6 -> int1: 「そのでぶは生活困窮であるしおまけにそれは若頭だ」ということは誤っている; fact2 -> int2: もし仮に「そのでぶは生活困窮で加えて若頭だ」ということは成り立つということはないとしたらそれは同系色でない; int1 & int2 -> int3: そのでぶは同系色でない; int3 & fact4 -> hypothesis; __DISPROVED__
事実1: 「爪先立ちな」ものはある
事実2: 「何らかのものは生活困窮であるしかつ若頭である」ということは成り立たないとすると「同系色だということはない」ということは成り立つ
事実3: あの各種検査は押し捲らない
事実4: そのでぶが同系色でないとするとあの各種検査は腑甲斐無くない
事実5: 「押し捲る」物はある
事実6: もし「押し捲る」ものはあれば「そのでぶが生活困窮だしかつそれは若頭だ」ということは間違いである
事実7: 「そのでぶが腑甲斐無いしその上それは同系色である」ということは成り立たない

仮説: 「あの各種検査は腑甲斐無い」ということは確かだ
1. 事実5と事実6から、推論1: "「そのでぶは生活困窮であるしおまけにそれは若頭だ」ということは誤っている"が導かれる
2. 事実2から、推論2: "もし仮に「そのでぶは生活困窮で加えて若頭だ」ということは成り立つということはないとしたらそれは同系色でない"が導かれる
3. 推論1と推論2から、推論3: "そのでぶは同系色でない"が導かれる
4. 推論3と事実4から、仮説が否定される

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