「「もし「移籍しなくて焦げ臭くない」ということは真実でないなら素晴らしいということはない」ものはある」ということは間違いだ
fact1: もしも「あの分遣隊は移籍しないしまた焦げ臭いということはない」ということは確かでないとすれば素晴らしい fact2: 「九十年代初めでなくて内通しないとすると創刊しない」物はある fact3: 仮に「あの分遣隊は移籍しないし焦げ臭いということはない」ということは成り立たないとしたらそれは素晴らしいということはない fact4: 「仮に移籍するとすれば素晴らしくない」ものはある fact5: 「ある物は転石でなくてかつそれは素晴らしくない」ということは誤りだとすると軍事的威嚇でない fact6: あの分遣隊は移籍しないしかつ焦げ臭くないとしたら素晴らしくない fact7: 仮に「「そのキーボード文化はぎごちなくないし素晴らしくない」ということは誤りでない」ということは誤っているなら「それは内通しない」ということは確かだ
fact3 -> hypothesis;
もし「その学校予算は転石であるということはないしそれは素晴らしくない」ということは偽であるとすると「それは軍事的威嚇でない」ということは本当である
fact8 -> hypothesis;
$facts$ = fact1: もしも「あの分遣隊は移籍しないしまた焦げ臭いということはない」ということは確かでないとすれば素晴らしい fact2: 「九十年代初めでなくて内通しないとすると創刊しない」物はある fact3: 仮に「あの分遣隊は移籍しないし焦げ臭いということはない」ということは成り立たないとしたらそれは素晴らしいということはない fact4: 「仮に移籍するとすれば素晴らしくない」ものはある fact5: 「ある物は転石でなくてかつそれは素晴らしくない」ということは誤りだとすると軍事的威嚇でない fact6: あの分遣隊は移籍しないしかつ焦げ臭くないとしたら素晴らしくない fact7: 仮に「「そのキーボード文化はぎごちなくないし素晴らしくない」ということは誤りでない」ということは誤っているなら「それは内通しない」ということは確かだ ; $hypothesis$ = 「「もし「移籍しなくて焦げ臭くない」ということは真実でないなら素晴らしいということはない」ものはある」ということは間違いだ ; $proof$ = 
fact3 -> hypothesis; __DISPROVED__
事実1: もしも「あの分遣隊は移籍しないしまた焦げ臭いということはない」ということは確かでないとすれば素晴らしい
事実2: 「九十年代初めでなくて内通しないとすると創刊しない」物はある
事実3: 仮に「あの分遣隊は移籍しないし焦げ臭いということはない」ということは成り立たないとしたらそれは素晴らしいということはない
事実4: 「仮に移籍するとすれば素晴らしくない」ものはある
事実5: 「ある物は転石でなくてかつそれは素晴らしくない」ということは誤りだとすると軍事的威嚇でない
事実6: あの分遣隊は移籍しないしかつ焦げ臭くないとしたら素晴らしくない
事実7: 仮に「「そのキーボード文化はぎごちなくないし素晴らしくない」ということは誤りでない」ということは誤っているなら「それは内通しない」ということは確かだ

仮説: 「「もし「移籍しなくて焦げ臭くない」ということは真実でないなら素晴らしいということはない」ものはある」ということは間違いだ
1. 事実3から、仮説が否定される

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