「「もし「戒厳だし煩わしい」ということは嘘だとすると入り過ぎるということはない」ものはある」ということは誤りである
fact1: 「なにかは問い始めるしそれは自然消滅する」ということは成り立たないとしたらバッテリーでない fact2: 仮にその結核病棟が煩わしくないならば入り過ぎるということはない fact3: 「もし「協力すしその上戻し易い」ということは成り立たないとすれば「プリンタデーモンでない」ということは本当である」物はある fact4: もしも「その結核病棟は戒厳であるしさらに煩わしい」ということは事実と異なるとするとそれは入り過ぎる fact5: 仮に「その結核病棟は戒厳であるしおまけにそれは煩わしい」ということは誤りであるとすればそれは入り過ぎない fact6: もしも「その貴一伯父は煩わしいしおまけに一同大爆笑である」ということは偽であるとしたらネーチャーだ fact7: 「「前身であるしさらに謹白である」ということは偽であるとしたら入り辛い」ものはある fact8: 「もし問い始めないなら五分でない」物はある
fact5 -> hypothesis;
「もし「問い始めるしその上自然消滅する」ということは成り立たないならバッテリーでない」物はある
fact9 -> int1: もしも「あの重税は問い始めるしそれに自然消滅する」ということは事実と異なればバッテリーだということはない; int1 -> hypothesis;
$facts$ = fact1: 「なにかは問い始めるしそれは自然消滅する」ということは成り立たないとしたらバッテリーでない fact2: 仮にその結核病棟が煩わしくないならば入り過ぎるということはない fact3: 「もし「協力すしその上戻し易い」ということは成り立たないとすれば「プリンタデーモンでない」ということは本当である」物はある fact4: もしも「その結核病棟は戒厳であるしさらに煩わしい」ということは事実と異なるとするとそれは入り過ぎる fact5: 仮に「その結核病棟は戒厳であるしおまけにそれは煩わしい」ということは誤りであるとすればそれは入り過ぎない fact6: もしも「その貴一伯父は煩わしいしおまけに一同大爆笑である」ということは偽であるとしたらネーチャーだ fact7: 「「前身であるしさらに謹白である」ということは偽であるとしたら入り辛い」ものはある fact8: 「もし問い始めないなら五分でない」物はある ; $hypothesis$ = 「「もし「戒厳だし煩わしい」ということは嘘だとすると入り過ぎるということはない」ものはある」ということは誤りである ; $proof$ = 
fact5 -> hypothesis; __DISPROVED__
事実1: 「なにかは問い始めるしそれは自然消滅する」ということは成り立たないとしたらバッテリーでない
事実2: 仮にその結核病棟が煩わしくないならば入り過ぎるということはない
事実3: 「もし「協力すしその上戻し易い」ということは成り立たないとすれば「プリンタデーモンでない」ということは本当である」物はある
事実4: もしも「その結核病棟は戒厳であるしさらに煩わしい」ということは事実と異なるとするとそれは入り過ぎる
事実5: 仮に「その結核病棟は戒厳であるしおまけにそれは煩わしい」ということは誤りであるとすればそれは入り過ぎない
事実6: もしも「その貴一伯父は煩わしいしおまけに一同大爆笑である」ということは偽であるとしたらネーチャーだ
事実7: 「「前身であるしさらに謹白である」ということは偽であるとしたら入り辛い」ものはある
事実8: 「もし問い始めないなら五分でない」物はある

仮説: 「「もし「戒厳だし煩わしい」ということは嘘だとすると入り過ぎるということはない」ものはある」ということは誤りである
1. 事実5から、仮説が否定される

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