「その速は製材しない」ということは真実である
fact1: もしも「とある物は慎ましくてそれは入賞する」ということは成り立つということはないとしたら慎ましくない fact2: もしもなにがしかのものは過ごせないなら「それは入賞するしすばしこい」ということは成り立つ fact3: その謝辞がすばしこくないとすればあの動物語は入賞しない fact4: 「あの動物語は押し隠すということはないけれどそれは慎ましい」ということは成り立たない fact5: もし民間資金が書き進めないとすると過ごせない fact6: あの粘度は体循環である fact7: あの動物語は製材する fact8: その速が慎ましいとするとそれは製材する fact9: もし仮に「その速は押し隠すけど製材しない」ということは事実でないならばあの動物語は慎ましくない fact10: 仮にその熊本刑務所がニューヨーク・パブリック・ライブラリーでないがしかし大衆皿だとするとそのアパレル企業は大衆皿でない fact11: その謝辞はすばしこいとすれば「その速は押し隠すがしかし製材するということはない」ということは事実だということはない fact12: もしもそのアパレル企業が大衆皿だということはないならその謝辞は民間資金だが書き進めない fact13: あの動物語は押し隠さないとすれば「その速はすんごくない一方でそれは体循環だ」ということは成り立たない fact14: その謝辞はすばしこくない fact15: もしも「「その速はすんごいということはないけれど体循環だ」ということは成り立つ」ということは間違いであるならそれは慎ましい fact16: 「あの動物語は押し隠さない」ということは事実である
fact13 & fact16 -> int1: 「その速はすんごくないけれど体循環である」ということは誤りである; int1 & fact15 -> int2: 「その速は慎ましくない」ということは成り立たない; int2 & fact8 -> hypothesis;
fact13 & fact16 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact15 -> int2: {B}{b}; int2 & fact8 -> hypothesis;
その速は製材しない
fact18 -> int3: もし「その速が慎ましいしその上入賞する」ということは偽だとしたら慎ましくない; fact17 & fact19 -> int4: あの動物語は入賞しない; int4 -> int5: あるものは入賞しない;
$facts$ = fact1: もしも「とある物は慎ましくてそれは入賞する」ということは成り立つということはないとしたら慎ましくない fact2: もしもなにがしかのものは過ごせないなら「それは入賞するしすばしこい」ということは成り立つ fact3: その謝辞がすばしこくないとすればあの動物語は入賞しない fact4: 「あの動物語は押し隠すということはないけれどそれは慎ましい」ということは成り立たない fact5: もし民間資金が書き進めないとすると過ごせない fact6: あの粘度は体循環である fact7: あの動物語は製材する fact8: その速が慎ましいとするとそれは製材する fact9: もし仮に「その速は押し隠すけど製材しない」ということは事実でないならばあの動物語は慎ましくない fact10: 仮にその熊本刑務所がニューヨーク・パブリック・ライブラリーでないがしかし大衆皿だとするとそのアパレル企業は大衆皿でない fact11: その謝辞はすばしこいとすれば「その速は押し隠すがしかし製材するということはない」ということは事実だということはない fact12: もしもそのアパレル企業が大衆皿だということはないならその謝辞は民間資金だが書き進めない fact13: あの動物語は押し隠さないとすれば「その速はすんごくない一方でそれは体循環だ」ということは成り立たない fact14: その謝辞はすばしこくない fact15: もしも「「その速はすんごいということはないけれど体循環だ」ということは成り立つ」ということは間違いであるならそれは慎ましい fact16: 「あの動物語は押し隠さない」ということは事実である ; $hypothesis$ = 「その速は製材しない」ということは真実である ; $proof$ = 
fact13 & fact16 -> int1: 「その速はすんごくないけれど体循環である」ということは誤りである; int1 & fact15 -> int2: 「その速は慎ましくない」ということは成り立たない; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: もしも「とある物は慎ましくてそれは入賞する」ということは成り立つということはないとしたら慎ましくない
事実2: もしもなにがしかのものは過ごせないなら「それは入賞するしすばしこい」ということは成り立つ
事実3: その謝辞がすばしこくないとすればあの動物語は入賞しない
事実4: 「あの動物語は押し隠すということはないけれどそれは慎ましい」ということは成り立たない
事実5: もし民間資金が書き進めないとすると過ごせない
事実6: あの粘度は体循環である
事実7: あの動物語は製材する
事実8: その速が慎ましいとするとそれは製材する
事実9: もし仮に「その速は押し隠すけど製材しない」ということは事実でないならばあの動物語は慎ましくない
事実10: 仮にその熊本刑務所がニューヨーク・パブリック・ライブラリーでないがしかし大衆皿だとするとそのアパレル企業は大衆皿でない
事実11: その謝辞はすばしこいとすれば「その速は押し隠すがしかし製材するということはない」ということは事実だということはない
事実12: もしもそのアパレル企業が大衆皿だということはないならその謝辞は民間資金だが書き進めない
事実13: あの動物語は押し隠さないとすれば「その速はすんごくない一方でそれは体循環だ」ということは成り立たない
事実14: その謝辞はすばしこくない
事実15: もしも「「その速はすんごいということはないけれど体循環だ」ということは成り立つ」ということは間違いであるならそれは慎ましい
事実16: 「あの動物語は押し隠さない」ということは事実である

仮説: 「その速は製材しない」ということは真実である
1. 事実13と事実16から、推論1: "「その速はすんごくないけれど体循環である」ということは誤りである"が導かれる
2. 推論1と事実15から、推論2: "「その速は慎ましくない」ということは成り立たない"が導かれる
3. 推論2と事実8から、仮説が否定される

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