「「もし仮に「排気音だし更に甲斐甲斐しいということはない」ということは間違いであるとすれば「首席でない」ということは本当な」物はある」ということは嘘だ
fact1: もし「あの展示ケースは排気音だ一方で甲斐甲斐しいということはない」ということは本当でないとしたらそれは首席である fact2: 「もしも「口減らしだがしかし結わえ付けない」ということは成り立つということはないとしたら押し戻す」物はある fact3: もしも「なんらかのものは八幡宮だけれどそれは間夫でない」ということは嘘だとすればそれは保安部長でない fact4: もし「あの展示ケースは法学部だ一方で間夫であるということはない」ということは嘘ならそれは首席である fact5: 「もし仮に排気音であるしその上甲斐甲斐しいということはないとすれば首席でない」物はある fact6: 仮に「なんらかの物は掛かり難いけれど間夫でない」ということは間違いなら法学部でない fact7: 「もしも「排気音でしかも甲斐甲斐しい」ということは誤っているなら首席であるということはない」物はある fact8: 甲斐甲斐しかない排気音は首席でない fact9: 仮に「なにかは排気音だけど甲斐甲斐しかない」ということは偽だとすると首席である fact10: もしもあの展示ケースは排気音だが甲斐甲斐しかないならば首席でない fact11: 「もし排気音でないなら「首席でない」ということは本当な」ものはある fact12: 仮にあの展示ケースは排気音でないとすると「それは首席でない」ということは正しい fact13: 「「一行力だけど休日でない」ということは偽であるとしたら新しくない」物はある fact14: 「なんらかの物は排気音であるしそれは甲斐甲斐しい」ということは成り立たないならばそれは首席でない fact15: 「「排気音だがしかし甲斐甲斐しかない」ということは嘘であるとすると首席な」物はある fact16: もしなにがしかのものは排気音であるということはないならそれは首席でない fact17: もし仮に「あの展示ケースは排気音であるしその上甲斐甲斐しい」ということは事実と異なるならそれは首席であるということはない fact18: もし仮に「あるものは排気音であるけどそれは甲斐甲斐しかない」ということは誤っているとすればそれは首席でない
fact18 -> int1: 「あの展示ケースは排気音であるけどそれは甲斐甲斐しいということはない」ということは誤りであるとしたらそれは首席でない; int1 -> hypothesis;
$facts$ = fact1: もし「あの展示ケースは排気音だ一方で甲斐甲斐しいということはない」ということは本当でないとしたらそれは首席である fact2: 「もしも「口減らしだがしかし結わえ付けない」ということは成り立つということはないとしたら押し戻す」物はある fact3: もしも「なんらかのものは八幡宮だけれどそれは間夫でない」ということは嘘だとすればそれは保安部長でない fact4: もし「あの展示ケースは法学部だ一方で間夫であるということはない」ということは嘘ならそれは首席である fact5: 「もし仮に排気音であるしその上甲斐甲斐しいということはないとすれば首席でない」物はある fact6: 仮に「なんらかの物は掛かり難いけれど間夫でない」ということは間違いなら法学部でない fact7: 「もしも「排気音でしかも甲斐甲斐しい」ということは誤っているなら首席であるということはない」物はある fact8: 甲斐甲斐しかない排気音は首席でない fact9: 仮に「なにかは排気音だけど甲斐甲斐しかない」ということは偽だとすると首席である fact10: もしもあの展示ケースは排気音だが甲斐甲斐しかないならば首席でない fact11: 「もし排気音でないなら「首席でない」ということは本当な」ものはある fact12: 仮にあの展示ケースは排気音でないとすると「それは首席でない」ということは正しい fact13: 「「一行力だけど休日でない」ということは偽であるとしたら新しくない」物はある fact14: 「なんらかの物は排気音であるしそれは甲斐甲斐しい」ということは成り立たないならばそれは首席でない fact15: 「「排気音だがしかし甲斐甲斐しかない」ということは嘘であるとすると首席な」物はある fact16: もしなにがしかのものは排気音であるということはないならそれは首席でない fact17: もし仮に「あの展示ケースは排気音であるしその上甲斐甲斐しい」ということは事実と異なるならそれは首席であるということはない fact18: もし仮に「あるものは排気音であるけどそれは甲斐甲斐しかない」ということは誤っているとすればそれは首席でない ; $hypothesis$ = 「「もし仮に「排気音だし更に甲斐甲斐しいということはない」ということは間違いであるとすれば「首席でない」ということは本当な」物はある」ということは嘘だ ; $proof$ = 
fact18 -> int1: 「あの展示ケースは排気音であるけどそれは甲斐甲斐しいということはない」ということは誤りであるとしたらそれは首席でない; int1 -> hypothesis; __DISPROVED__
事実1: もし「あの展示ケースは排気音だ一方で甲斐甲斐しいということはない」ということは本当でないとしたらそれは首席である
事実2: 「もしも「口減らしだがしかし結わえ付けない」ということは成り立つということはないとしたら押し戻す」物はある
事実3: もしも「なんらかのものは八幡宮だけれどそれは間夫でない」ということは嘘だとすればそれは保安部長でない
事実4: もし「あの展示ケースは法学部だ一方で間夫であるということはない」ということは嘘ならそれは首席である
事実5: 「もし仮に排気音であるしその上甲斐甲斐しいということはないとすれば首席でない」物はある
事実6: 仮に「なんらかの物は掛かり難いけれど間夫でない」ということは間違いなら法学部でない
事実7: 「もしも「排気音でしかも甲斐甲斐しい」ということは誤っているなら首席であるということはない」物はある
事実8: 甲斐甲斐しかない排気音は首席でない
事実9: 仮に「なにかは排気音だけど甲斐甲斐しかない」ということは偽だとすると首席である
事実10: もしもあの展示ケースは排気音だが甲斐甲斐しかないならば首席でない
事実11: 「もし排気音でないなら「首席でない」ということは本当な」ものはある
事実12: 仮にあの展示ケースは排気音でないとすると「それは首席でない」ということは正しい
事実13: 「「一行力だけど休日でない」ということは偽であるとしたら新しくない」物はある
事実14: 「なんらかの物は排気音であるしそれは甲斐甲斐しい」ということは成り立たないならばそれは首席でない
事実15: 「「排気音だがしかし甲斐甲斐しかない」ということは嘘であるとすると首席な」物はある
事実16: もしなにがしかのものは排気音であるということはないならそれは首席でない
事実17: もし仮に「あの展示ケースは排気音であるしその上甲斐甲斐しい」ということは事実と異なるならそれは首席であるということはない
事実18: もし仮に「あるものは排気音であるけどそれは甲斐甲斐しかない」ということは誤っているとすればそれは首席でない

仮説: 「「もし仮に「排気音だし更に甲斐甲斐しいということはない」ということは間違いであるとすれば「首席でない」ということは本当な」物はある」ということは嘘だ
1. 事実18から、推論1: "「あの展示ケースは排気音であるけどそれは甲斐甲斐しいということはない」ということは誤りであるとしたらそれは首席でない"が導かれる
2. 推論1から、仮説が否定される

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