この彼岸花は引き下げない
fact1: もしその発生時期がせこいとすれば頼り無い fact2: もし「艶花蜂類でない」ものがあるとしたらあのウィンドゥーＷは父親らしくない fact3: もしもあの三百七号室がせこいけれどそれがＧＴＨでないとするとこの彼岸花は引き下げる fact4: 仮にあの三百七号室はせこくないしまたＧＴＨでないならば「この彼岸花は引き下げる」ということは正しい fact5: あのウィンドゥーＷは使用するかもしくは頼り無いか両方である fact6: その発生時期はＧＴＨでない fact7: 仮にその発生時期は頼り無いとすると「あのウィンドゥーＷは使用するかまたはそれは頼り無くないかあるいは両方ともだ」ということは嘘である fact8: もし仮にその発生時期が頼り無いならば使用する fact9: 仮に「「ドロップ出来ないか艶花蜂類でないかあるいは両方だ」ということは嘘である」物があるならばあの三百七号室は白っぽくない fact10: 仮にその発生時期はＧＴＨなら「あのウィンドゥーＷはＧＴＨである」ということは正しい fact11: 父親らしくないものは使用するかあるいは頼り無くないかどちらもである fact12: もしもなにがしかのものは白っぽくないなら「父親らしいししかも使用する」ということは成り立たない fact13: 「「「頼り無いし更にせこい」ということは成り立たない」ものはあるとすれば「あの三百七号室はせこくない」ということは事実である」ということは事実である fact14: もしもその発生時期がせこいけど頼り無くないならば「この彼岸花は引き下げない」ということは事実である fact15: もし仮にその発生時期はせこくないとするとあの三百七号室はせこくないしそれはＧＴＨでない fact16: もし仮に「あの三百七号室は白っぽくない」ということは誤っていないならば「引き下げないし使用する」ということは成り立たない fact17: 「「艶花蜂類で加えて父親らしい」ということは誤りな」ものがあるとすればあのウィンドゥーＷは父親らしくない fact18: 「この彼岸花はＧＴＨだ」ということは間違いでない fact19: もしその発生時期はせこくないが頼り無いとしたらこの彼岸花はせこい fact20: 「「艶花蜂類であるしそれに父親らしい」ということは嘘な」物はある fact21: もし仮に何らかの物はせこくないとしたらそれは使用するかまたはＧＴＨでない fact22: もし「あのウィンドゥーＷはＧＴＨだということはない」ということは成り立つとすればその発生時期はせこいがしかし頼り無くない fact23: 「あの戦線離脱はドロップ出来るということはないかあるいは艶花蜂類でないかまたは両方ともだ」ということは成り立たない
void -> assump1: 以下のように仮定する。その発生時期はせこい; fact1 & assump1 -> int1: その発生時期は頼り無い; int1 & fact7 -> int2: 「あのウィンドゥーＷは使用するかあるいは頼り無くないかまたはどちらもである」ということは事実と異なる; fact20 & fact17 -> int3: あのウィンドゥーＷは父親らしくない; fact11 -> int4: もし仮にあのウィンドゥーＷが父親らしくないとすると使用するかあるいは頼り無くないかもしくは両方ともである; int3 & int4 -> int5: あのウィンドゥーＷは使用するかもしくは頼り無くないか両方だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その発生時期はせこくない; int7 & fact15 -> int8: あの三百七号室はせこくないしそれはＧＴＨでない; int8 & fact4 -> hypothesis;
この彼岸花は父親らしい
fact25 -> int9: 「「ドロップ出来るということはないかまたは艶花蜂類でないかまたは両方である」ということは偽である」ものはある; int9 & fact27 -> int10: あの三百七号室は白っぽくない; fact26 & int10 -> int11: 「あの三百七号室は引き下げるということはないが使用する」ということは間違っている; int11 -> int12: 「「引き下げないけど使用する」ということは間違っている」物はある;
$facts$ = fact1: もしその発生時期がせこいとすれば頼り無い fact2: もし「艶花蜂類でない」ものがあるとしたらあのウィンドゥーＷは父親らしくない fact3: もしもあの三百七号室がせこいけれどそれがＧＴＨでないとするとこの彼岸花は引き下げる fact4: 仮にあの三百七号室はせこくないしまたＧＴＨでないならば「この彼岸花は引き下げる」ということは正しい fact5: あのウィンドゥーＷは使用するかもしくは頼り無いか両方である fact6: その発生時期はＧＴＨでない fact7: 仮にその発生時期は頼り無いとすると「あのウィンドゥーＷは使用するかまたはそれは頼り無くないかあるいは両方ともだ」ということは嘘である fact8: もし仮にその発生時期が頼り無いならば使用する fact9: 仮に「「ドロップ出来ないか艶花蜂類でないかあるいは両方だ」ということは嘘である」物があるならばあの三百七号室は白っぽくない fact10: 仮にその発生時期はＧＴＨなら「あのウィンドゥーＷはＧＴＨである」ということは正しい fact11: 父親らしくないものは使用するかあるいは頼り無くないかどちらもである fact12: もしもなにがしかのものは白っぽくないなら「父親らしいししかも使用する」ということは成り立たない fact13: 「「「頼り無いし更にせこい」ということは成り立たない」ものはあるとすれば「あの三百七号室はせこくない」ということは事実である」ということは事実である fact14: もしもその発生時期がせこいけど頼り無くないならば「この彼岸花は引き下げない」ということは事実である fact15: もし仮にその発生時期はせこくないとするとあの三百七号室はせこくないしそれはＧＴＨでない fact16: もし仮に「あの三百七号室は白っぽくない」ということは誤っていないならば「引き下げないし使用する」ということは成り立たない fact17: 「「艶花蜂類で加えて父親らしい」ということは誤りな」ものがあるとすればあのウィンドゥーＷは父親らしくない fact18: 「この彼岸花はＧＴＨだ」ということは間違いでない fact19: もしその発生時期はせこくないが頼り無いとしたらこの彼岸花はせこい fact20: 「「艶花蜂類であるしそれに父親らしい」ということは嘘な」物はある fact21: もし仮に何らかの物はせこくないとしたらそれは使用するかまたはＧＴＨでない fact22: もし「あのウィンドゥーＷはＧＴＨだということはない」ということは成り立つとすればその発生時期はせこいがしかし頼り無くない fact23: 「あの戦線離脱はドロップ出来るということはないかあるいは艶花蜂類でないかまたは両方ともだ」ということは成り立たない ; $hypothesis$ = この彼岸花は引き下げない ; $proof$ = 
void -> assump1: 以下のように仮定する。その発生時期はせこい; fact1 & assump1 -> int1: その発生時期は頼り無い; int1 & fact7 -> int2: 「あのウィンドゥーＷは使用するかあるいは頼り無くないかまたはどちらもである」ということは事実と異なる; fact20 & fact17 -> int3: あのウィンドゥーＷは父親らしくない; fact11 -> int4: もし仮にあのウィンドゥーＷが父親らしくないとすると使用するかあるいは頼り無くないかもしくは両方ともである; int3 & int4 -> int5: あのウィンドゥーＷは使用するかもしくは頼り無くないか両方だ; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: その発生時期はせこくない; int7 & fact15 -> int8: あの三百七号室はせこくないしそれはＧＴＨでない; int8 & fact4 -> hypothesis; __DISPROVED__
事実1: もしその発生時期がせこいとすれば頼り無い
事実2: もし「艶花蜂類でない」ものがあるとしたらあのウィンドゥーＷは父親らしくない
事実3: もしもあの三百七号室がせこいけれどそれがＧＴＨでないとするとこの彼岸花は引き下げる
事実4: 仮にあの三百七号室はせこくないしまたＧＴＨでないならば「この彼岸花は引き下げる」ということは正しい
事実5: あのウィンドゥーＷは使用するかもしくは頼り無いか両方である
事実6: その発生時期はＧＴＨでない
事実7: 仮にその発生時期は頼り無いとすると「あのウィンドゥーＷは使用するかまたはそれは頼り無くないかあるいは両方ともだ」ということは嘘である
事実8: もし仮にその発生時期が頼り無いならば使用する
事実9: 仮に「「ドロップ出来ないか艶花蜂類でないかあるいは両方だ」ということは嘘である」物があるならばあの三百七号室は白っぽくない
事実10: 仮にその発生時期はＧＴＨなら「あのウィンドゥーＷはＧＴＨである」ということは正しい
事実11: 父親らしくないものは使用するかあるいは頼り無くないかどちらもである
事実12: もしもなにがしかのものは白っぽくないなら「父親らしいししかも使用する」ということは成り立たない
事実13: 「「「頼り無いし更にせこい」ということは成り立たない」ものはあるとすれば「あの三百七号室はせこくない」ということは事実である」ということは事実である
事実14: もしもその発生時期がせこいけど頼り無くないならば「この彼岸花は引き下げない」ということは事実である
事実15: もし仮にその発生時期はせこくないとするとあの三百七号室はせこくないしそれはＧＴＨでない
事実16: もし仮に「あの三百七号室は白っぽくない」ということは誤っていないならば「引き下げないし使用する」ということは成り立たない
事実17: 「「艶花蜂類で加えて父親らしい」ということは誤りな」ものがあるとすればあのウィンドゥーＷは父親らしくない
事実18: 「この彼岸花はＧＴＨだ」ということは間違いでない
事実19: もしその発生時期はせこくないが頼り無いとしたらこの彼岸花はせこい
事実20: 「「艶花蜂類であるしそれに父親らしい」ということは嘘な」物はある
事実21: もし仮に何らかの物はせこくないとしたらそれは使用するかまたはＧＴＨでない
事実22: もし「あのウィンドゥーＷはＧＴＨだということはない」ということは成り立つとすればその発生時期はせこいがしかし頼り無くない
事実23: 「あの戦線離脱はドロップ出来るということはないかあるいは艶花蜂類でないかまたは両方ともだ」ということは成り立たない

仮説: この彼岸花は引き下げない
1. 仮定1: 以下のように仮定する。その発生時期はせこい
2. 事実1と仮定1から、推論1: "その発生時期は頼り無い"が導かれる
3. 推論1と事実7から、推論2: "「あのウィンドゥーＷは使用するかあるいは頼り無くないかまたはどちらもである」ということは事実と異なる"が導かれる
4. 事実20と事実17から、推論3: "あのウィンドゥーＷは父親らしくない"が導かれる
5. 事実11から、推論4: "もし仮にあのウィンドゥーＷが父親らしくないとすると使用するかあるいは頼り無くないかもしくは両方ともである"が導かれる
6. 推論3と推論4から、推論5: "あのウィンドゥーＷは使用するかもしくは頼り無くないか両方だ"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "その発生時期はせこくない"が導かれる
9. 推論7と事実15から、推論8: "あの三百七号室はせこくないしそれはＧＴＨでない"が導かれる
10. 推論8と事実4から、仮説が否定される

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