「あの不具合はふざけなくて更に痛ーくない」ということは成り立たない
fact1: もし仮に「なにかは笑うということはないがしかし交易する」ということは偽であるとするとそれは交易しない fact2: あらゆるものは鬻ぐしさらにそれは目まぐるしい fact3: 「あの不具合はふざけなくておまけに痛ーくない」ということは誤りだ fact4: もしもあの不具合は交易しないならば「その静養は四位上でなくて固しない」ということは成り立つということはない fact5: 「あの不具合はふざけるけど痛ーいということはない」ということは成り立つということはない fact6: 「あの不具合はふざけない一方でそれは痛ーい」ということは誤っている fact7: もしもなにがしかの物が交易するとしたらそれがふざけないしさらにそれは痛ーくない fact8: 「あの不具合は引き開けないし更にそれはこじつけない」ということは偽である
fact3 -> hypothesis;
fact3 -> hypothesis;
あの不具合はふざけないしその上痛ーいない
fact9 -> int1: もし仮にあの不具合が交易すればそれはふざけなくて加えて痛ーくない;
$facts$ = fact1: もし仮に「なにかは笑うということはないがしかし交易する」ということは偽であるとするとそれは交易しない fact2: あらゆるものは鬻ぐしさらにそれは目まぐるしい fact3: 「あの不具合はふざけなくておまけに痛ーくない」ということは誤りだ fact4: もしもあの不具合は交易しないならば「その静養は四位上でなくて固しない」ということは成り立つということはない fact5: 「あの不具合はふざけるけど痛ーいということはない」ということは成り立つということはない fact6: 「あの不具合はふざけない一方でそれは痛ーい」ということは誤っている fact7: もしもなにがしかの物が交易するとしたらそれがふざけないしさらにそれは痛ーくない fact8: 「あの不具合は引き開けないし更にそれはこじつけない」ということは偽である ; $hypothesis$ = 「あの不具合はふざけなくて更に痛ーくない」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もし仮に「なにかは笑うということはないがしかし交易する」ということは偽であるとするとそれは交易しない
事実2: あらゆるものは鬻ぐしさらにそれは目まぐるしい
事実3: 「あの不具合はふざけなくておまけに痛ーくない」ということは誤りだ
事実4: もしもあの不具合は交易しないならば「その静養は四位上でなくて固しない」ということは成り立つということはない
事実5: 「あの不具合はふざけるけど痛ーいということはない」ということは成り立つということはない
事実6: 「あの不具合はふざけない一方でそれは痛ーい」ということは誤っている
事実7: もしもなにがしかの物が交易するとしたらそれがふざけないしさらにそれは痛ーくない
事実8: 「あの不具合は引き開けないし更にそれはこじつけない」ということは偽である

仮説: 「あの不具合はふざけなくて更に痛ーくない」ということは成り立たない
1. 事実3から、仮説が導かれる

よって、仮説が証明されました。