「もしあの勧農はサンプルデータだとすると「あのクロムハーツは管掌する」ということは偽であるということはない」ということは間違っている
fact1: 「あのクロムハーツは管掌するか別組織でないかまたは両方だ」ということは成り立たない fact2: あのクロムハーツは別組織である fact3: この在庫過多は管掌する fact4: もし仮に執念深くないものがあるとしたらあの勧農は管掌する fact5: 「あの勧農は市水であるかもしくは売り渡すということはない」ということは成り立たない fact6: もしも別組織はサンプルデータであるならそれはあやかれない fact7: 「あのクロムハーツは八千円程度であるかまたは記号素でない」ということは真実だということはない fact8: もしも「あの勧農はあやかれない」ということは確かなら「あのクロムハーツはあやかれるか換気しない」ということは確かでない fact9: 「「中山芝でないしおまけに話し難い」ということは正しくない」ものはある fact10: 「「調節し易くない一方で切り難い」ということは間違いである」ものはある fact11: 「「久しくないし逡巡する」ということは間違いである」ものはある fact12: あの勧農が話し難いしその上頼り無い fact13: もし仮にあの勧農が管掌するしそれがあやかれればそれはサンプルデータでない fact14: もし仮に「あるものはリテーナーであるかあるいはそれは市水である」ということは事実でないとすると食だ fact15: もしなにかはサンプルデータでないならあの勧農は管掌する fact16: もし仮に「なにがしかのものはあやかれるかまたは換気しないかまたは両方である」ということは成り立たないならばそれは管掌する fact17: あの演芸会は子女であるということはない fact18: 仮に「「中山芝だということはないけど話し難い」ということは嘘な」物があるならあの勧農は別組織だ fact19: 仮にあの勧農はサンプルデータでないならば「あのクロムハーツはサンプルデータであるかまたは換気しないか両方である」ということは成り立たない
fact9 & fact18 -> int1: あの勧農は別組織だ; void -> assump1: 以下のように仮定する。あの勧農はサンプルデータである; int1 & assump1 -> int2: あの勧農は別組織であるししかもそれはサンプルデータだ; fact6 -> int3: あの勧農が別組織であるしサンプルデータであるならそれはあやかれない; int2 & int3 -> int4: あの勧農はあやかれない; int4 & fact8 -> int5: 「あのクロムハーツはあやかれるかもしくは換気しないかまたは両方である」ということは事実と異なる; fact16 -> int6: 「あのクロムハーツはあやかれるかそれは換気しないかもしくは両方ともだ」ということは偽であるならば「管掌する」ということは成り立つ; int5 & int6 -> int7: あのクロムハーツは管掌する; [assump1] & int7 -> hypothesis;
$facts$ = fact1: 「あのクロムハーツは管掌するか別組織でないかまたは両方だ」ということは成り立たない fact2: あのクロムハーツは別組織である fact3: この在庫過多は管掌する fact4: もし仮に執念深くないものがあるとしたらあの勧農は管掌する fact5: 「あの勧農は市水であるかもしくは売り渡すということはない」ということは成り立たない fact6: もしも別組織はサンプルデータであるならそれはあやかれない fact7: 「あのクロムハーツは八千円程度であるかまたは記号素でない」ということは真実だということはない fact8: もしも「あの勧農はあやかれない」ということは確かなら「あのクロムハーツはあやかれるか換気しない」ということは確かでない fact9: 「「中山芝でないしおまけに話し難い」ということは正しくない」ものはある fact10: 「「調節し易くない一方で切り難い」ということは間違いである」ものはある fact11: 「「久しくないし逡巡する」ということは間違いである」ものはある fact12: あの勧農が話し難いしその上頼り無い fact13: もし仮にあの勧農が管掌するしそれがあやかれればそれはサンプルデータでない fact14: もし仮に「あるものはリテーナーであるかあるいはそれは市水である」ということは事実でないとすると食だ fact15: もしなにかはサンプルデータでないならあの勧農は管掌する fact16: もし仮に「なにがしかのものはあやかれるかまたは換気しないかまたは両方である」ということは成り立たないならばそれは管掌する fact17: あの演芸会は子女であるということはない fact18: 仮に「「中山芝だということはないけど話し難い」ということは嘘な」物があるならあの勧農は別組織だ fact19: 仮にあの勧農はサンプルデータでないならば「あのクロムハーツはサンプルデータであるかまたは換気しないか両方である」ということは成り立たない ; $hypothesis$ = 「もしあの勧農はサンプルデータだとすると「あのクロムハーツは管掌する」ということは偽であるということはない」ということは間違っている ; $proof$ = 
fact9 & fact18 -> int1: あの勧農は別組織だ; void -> assump1: 以下のように仮定する。あの勧農はサンプルデータである; int1 & assump1 -> int2: あの勧農は別組織であるししかもそれはサンプルデータだ; fact6 -> int3: あの勧農が別組織であるしサンプルデータであるならそれはあやかれない; int2 & int3 -> int4: あの勧農はあやかれない; int4 & fact8 -> int5: 「あのクロムハーツはあやかれるかもしくは換気しないかまたは両方である」ということは事実と異なる; fact16 -> int6: 「あのクロムハーツはあやかれるかそれは換気しないかもしくは両方ともだ」ということは偽であるならば「管掌する」ということは成り立つ; int5 & int6 -> int7: あのクロムハーツは管掌する; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 「あのクロムハーツは管掌するか別組織でないかまたは両方だ」ということは成り立たない
事実2: あのクロムハーツは別組織である
事実3: この在庫過多は管掌する
事実4: もし仮に執念深くないものがあるとしたらあの勧農は管掌する
事実5: 「あの勧農は市水であるかもしくは売り渡すということはない」ということは成り立たない
事実6: もしも別組織はサンプルデータであるならそれはあやかれない
事実7: 「あのクロムハーツは八千円程度であるかまたは記号素でない」ということは真実だということはない
事実8: もしも「あの勧農はあやかれない」ということは確かなら「あのクロムハーツはあやかれるか換気しない」ということは確かでない
事実9: 「「中山芝でないしおまけに話し難い」ということは正しくない」ものはある
事実10: 「「調節し易くない一方で切り難い」ということは間違いである」ものはある
事実11: 「「久しくないし逡巡する」ということは間違いである」ものはある
事実12: あの勧農が話し難いしその上頼り無い
事実13: もし仮にあの勧農が管掌するしそれがあやかれればそれはサンプルデータでない
事実14: もし仮に「あるものはリテーナーであるかあるいはそれは市水である」ということは事実でないとすると食だ
事実15: もしなにかはサンプルデータでないならあの勧農は管掌する
事実16: もし仮に「なにがしかのものはあやかれるかまたは換気しないかまたは両方である」ということは成り立たないならばそれは管掌する
事実17: あの演芸会は子女であるということはない
事実18: 仮に「「中山芝だということはないけど話し難い」ということは嘘な」物があるならあの勧農は別組織だ
事実19: 仮にあの勧農はサンプルデータでないならば「あのクロムハーツはサンプルデータであるかまたは換気しないか両方である」ということは成り立たない

仮説: 「もしあの勧農はサンプルデータだとすると「あのクロムハーツは管掌する」ということは偽であるということはない」ということは間違っている
1. 事実9と事実18から、推論1: "あの勧農は別組織だ"が導かれる
2. 仮定1: 以下のように仮定する。あの勧農はサンプルデータである
3. 推論1と仮定1から、推論2: "あの勧農は別組織であるししかもそれはサンプルデータだ"が導かれる
4. 事実6から、推論3: "あの勧農が別組織であるしサンプルデータであるならそれはあやかれない"が導かれる
5. 推論2と推論3から、推論4: "あの勧農はあやかれない"が導かれる
6. 推論4と事実8から、推論5: "「あのクロムハーツはあやかれるかもしくは換気しないかまたは両方である」ということは事実と異なる"が導かれる
7. 事実16から、推論6: "「あのクロムハーツはあやかれるかそれは換気しないかもしくは両方ともだ」ということは偽であるならば「管掌する」ということは成り立つ"が導かれる
8. 推論5と推論6から、推論7: "あのクロムハーツは管掌する"が導かれる
9. [仮定1]と推論7から、仮説が否定される

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