「この御来臨は疑わしし普及し始める」ということは偽である
fact1: もし仮に「「エンベロープで無声化し易い」ということは嘘な」ものがあればその単位当たりは組み敷くということはない fact2: 仮になにかは普及し始めるなら組み敷く fact3: 「あの十年代はせこくてさらに先導する」ということは誤っている fact4: もし仮に「その単位当たりはエンベロープであるかまたはそれは溝加工でないかまたは両方だ」ということは嘘だとすればあの十年代は溝加工だ fact5: あの十年代がせこいということはないならその単位当たりは溝加工でない fact6: 「フリーライドでない」ものはある fact7: もし何かはショウでなくてまた溝加工でないならばあの十年代は疑わしない fact8: 仮になんらかの物は組み敷くとすれば「「それはエンベロープであるか溝加工でないかもしくは両方だ」ということは成り立つ」ということは間違いだ fact9: その遠慮会釈は確認し易くない fact10: 「その遠慮会釈はショウで組み敷く」ということは成り立たない fact11: 「溝加工な」物はある fact12: 「ショウだがしかし組み敷かない」ものはある fact13: 溝加工はショウだ fact14: 仮に「あの十年代はせこくて更に先導する」ということは正しくないならその単位当たりは溝加工でない fact15: もしその遠慮会釈は確認し易くないとすると「それはエンベロープでかつ無声化し易い」ということは成り立たない fact16: もしもなにかはエンベロープでないとすると疑わししそれは普及し始める fact17: 「「「当たり始める一方で荒くない」ということは偽である」物はある」ということは本当である fact18: もし仮に「溝加工であるということはない」物はあるなら「その遠慮会釈はショウだけど組み敷くということはない」ということは成り立たない fact19: 仮に「この御来臨はエンベロープでおまけにせこい」ということは間違っているならあの十年代は普及し始めない fact20: その単位当たりが無声化し易くないとしたらそれは普及し始めるししかも疑わし fact21: もしも「「ショウであるが組み敷かない」ということは成り立たない」物はあるとすると「この御来臨はエンベロープでない」ということは本当だ fact22: 「「ショウであるしまた組み敷く」ということは間違っている」物はある fact23: もしあの十年代がショウだとすればあの錬金術師は先導しない fact24: 仮になんらかのものがフリーライドでないかあるいはそれは確認し易くないならそれは無声化し易くない
fact14 & fact3 -> int1: その単位当たりは溝加工でない; int1 -> int2: とあるものは溝加工であるということはない; int2 & fact18 -> int3: 「その遠慮会釈はショウだ一方で組み敷かない」ということは事実と異なる; int3 -> int4: 「「ショウだ一方で組み敷かない」ということは嘘である」ものはある; int4 & fact21 -> int5: この御来臨はエンベロープだということはない; fact16 -> int6: もし仮に「この御来臨はエンベロープであるということはない」ということは確かだとしたら「疑わししその上普及し始める」ということは確かである; int5 & int6 -> hypothesis;
「この御来臨は疑わししその上普及し始める」ということは間違いである
fact26 & fact27 -> int7: 「その遠慮会釈がエンベロープだし無声化し易い」ということは誤りである; int7 -> int8: 「「エンベロープだし無声化し易い」ということは正しくない」ものはある; int8 & fact25 -> int9: その単位当たりは組み敷かない;
$facts$ = fact1: もし仮に「「エンベロープで無声化し易い」ということは嘘な」ものがあればその単位当たりは組み敷くということはない fact2: 仮になにかは普及し始めるなら組み敷く fact3: 「あの十年代はせこくてさらに先導する」ということは誤っている fact4: もし仮に「その単位当たりはエンベロープであるかまたはそれは溝加工でないかまたは両方だ」ということは嘘だとすればあの十年代は溝加工だ fact5: あの十年代がせこいということはないならその単位当たりは溝加工でない fact6: 「フリーライドでない」ものはある fact7: もし何かはショウでなくてまた溝加工でないならばあの十年代は疑わしない fact8: 仮になんらかの物は組み敷くとすれば「「それはエンベロープであるか溝加工でないかもしくは両方だ」ということは成り立つ」ということは間違いだ fact9: その遠慮会釈は確認し易くない fact10: 「その遠慮会釈はショウで組み敷く」ということは成り立たない fact11: 「溝加工な」物はある fact12: 「ショウだがしかし組み敷かない」ものはある fact13: 溝加工はショウだ fact14: 仮に「あの十年代はせこくて更に先導する」ということは正しくないならその単位当たりは溝加工でない fact15: もしその遠慮会釈は確認し易くないとすると「それはエンベロープでかつ無声化し易い」ということは成り立たない fact16: もしもなにかはエンベロープでないとすると疑わししそれは普及し始める fact17: 「「「当たり始める一方で荒くない」ということは偽である」物はある」ということは本当である fact18: もし仮に「溝加工であるということはない」物はあるなら「その遠慮会釈はショウだけど組み敷くということはない」ということは成り立たない fact19: 仮に「この御来臨はエンベロープでおまけにせこい」ということは間違っているならあの十年代は普及し始めない fact20: その単位当たりが無声化し易くないとしたらそれは普及し始めるししかも疑わし fact21: もしも「「ショウであるが組み敷かない」ということは成り立たない」物はあるとすると「この御来臨はエンベロープでない」ということは本当だ fact22: 「「ショウであるしまた組み敷く」ということは間違っている」物はある fact23: もしあの十年代がショウだとすればあの錬金術師は先導しない fact24: 仮になんらかのものがフリーライドでないかあるいはそれは確認し易くないならそれは無声化し易くない ; $hypothesis$ = 「この御来臨は疑わしし普及し始める」ということは偽である ; $proof$ = 
fact14 & fact3 -> int1: その単位当たりは溝加工でない; int1 -> int2: とあるものは溝加工であるということはない; int2 & fact18 -> int3: 「その遠慮会釈はショウだ一方で組み敷かない」ということは事実と異なる; int3 -> int4: 「「ショウだ一方で組み敷かない」ということは嘘である」ものはある; int4 & fact21 -> int5: この御来臨はエンベロープだということはない; fact16 -> int6: もし仮に「この御来臨はエンベロープであるということはない」ということは確かだとしたら「疑わししその上普及し始める」ということは確かである; int5 & int6 -> 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: もしあの十年代がショウだとすればあの錬金術師は先導しない
事実24: 仮になんらかのものがフリーライドでないかあるいはそれは確認し易くないならそれは無声化し易くない

仮説: 「この御来臨は疑わしし普及し始める」ということは偽である
1. 事実14と事実3から、推論1: "その単位当たりは溝加工でない"が導かれる
2. 推論1から、推論2: "とあるものは溝加工であるということはない"が導かれる
3. 推論2と事実18から、推論3: "「その遠慮会釈はショウだ一方で組み敷かない」ということは事実と異なる"が導かれる
4. 推論3から、推論4: "「「ショウだ一方で組み敷かない」ということは嘘である」ものはある"が導かれる
5. 推論4と事実21から、推論5: "この御来臨はエンベロープだということはない"が導かれる
6. 事実16から、推論6: "もし仮に「この御来臨はエンベロープであるということはない」ということは確かだとしたら「疑わししその上普及し始める」ということは確かである"が導かれる
7. 推論5と推論6から、仮説が否定される

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