「「もし「甘えるし更に駆けずり回る」ということは嘘であるとすると切り妻作りでない」物はある」ということは嘘である
fact1: もし仮にあの旨が駆けずり回らないとすればそれは切り妻作りでない fact2: もしあの旨は甘えるしまた駆けずり回るとすると切り妻作りでない fact3: 「仮に「「甘えるし駆けずり回る」ということは真実だ」ということは成り立たないなら切り妻作りな」物はある fact4: もしも「あの旨は甘えるしそれは駆けずり回る」ということは嘘だとすると切り妻作りだ fact5: もし「あの旨は甘えるしおまけに駆けずり回る」ということは成り立たないなら切り妻作りでない
fact5 -> hypothesis;
$facts$ = fact1: もし仮にあの旨が駆けずり回らないとすればそれは切り妻作りでない fact2: もしあの旨は甘えるしまた駆けずり回るとすると切り妻作りでない fact3: 「仮に「「甘えるし駆けずり回る」ということは真実だ」ということは成り立たないなら切り妻作りな」物はある fact4: もしも「あの旨は甘えるしそれは駆けずり回る」ということは嘘だとすると切り妻作りだ fact5: もし「あの旨は甘えるしおまけに駆けずり回る」ということは成り立たないなら切り妻作りでない ; $hypothesis$ = 「「もし「甘えるし更に駆けずり回る」ということは嘘であるとすると切り妻作りでない」物はある」ということは嘘である ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: もし仮にあの旨が駆けずり回らないとすればそれは切り妻作りでない
事実2: もしあの旨は甘えるしまた駆けずり回るとすると切り妻作りでない
事実3: 「仮に「「甘えるし駆けずり回る」ということは真実だ」ということは成り立たないなら切り妻作りな」物はある
事実4: もしも「あの旨は甘えるしそれは駆けずり回る」ということは嘘だとすると切り妻作りだ
事実5: もし「あの旨は甘えるしおまけに駆けずり回る」ということは成り立たないなら切り妻作りでない

仮説: 「「もし「甘えるし更に駆けずり回る」ということは嘘であるとすると切り妻作りでない」物はある」ということは嘘である
1. 事実5から、仮説が否定される

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