あの複メス巣はむさくない
fact1: 仮に何らかの物が間接控除であるということはないとしたら生成し易いししかもそれは心地良くない fact2: 仮にあるものは生成し易いが間接控除でないとすればむさくない fact3: 仮にその痛覚過敏が生成し易くてそれが心地良いならばあの複メス巣はむさい fact4: もしも「見え難くない」ものはあれば「その痛覚過敏は間接控除でない」ということは本当である fact5: 仮にその痛覚過敏が生成し易いがそれは心地良くないとすると「あの複メス巣はむさい」ということは成り立つ fact6: もしあの複メス巣は間接控除でないなら「「その痛覚過敏は京極局でおまけに失い兼ねる」ということは偽である」ということは事実だ fact7: なにがしかの物が跨がるしその上見え難い fact8: 「この監督・関与は跨がるし加えてそれは見え難い」ということは成り立たない fact9: この監督・関与は心地良くない fact10: もしも「「跨がるし加えて見え難い」ということは嘘な」物があるとしたらその痛覚過敏は間接控除でない
fact8 -> int1: 「「跨がるしおまけに見え難い」ということは成り立たない」物はある; int1 & fact10 -> int2: その痛覚過敏は間接控除でない; fact1 -> int3: もし仮にその痛覚過敏は間接控除でないとしたらそれは生成し易いがしかし心地良くない; int2 & int3 -> int4: その痛覚過敏は生成し易い一方でそれは心地良くない; int4 & fact5 -> hypothesis;
あの複メス巣はむさくない
fact11 -> int5: もし仮にあの複メス巣は生成し易い一方で間接控除でないとすればそれはむさくない;
$facts$ = fact1: 仮に何らかの物が間接控除であるということはないとしたら生成し易いししかもそれは心地良くない fact2: 仮にあるものは生成し易いが間接控除でないとすればむさくない fact3: 仮にその痛覚過敏が生成し易くてそれが心地良いならばあの複メス巣はむさい fact4: もしも「見え難くない」ものはあれば「その痛覚過敏は間接控除でない」ということは本当である fact5: 仮にその痛覚過敏が生成し易いがそれは心地良くないとすると「あの複メス巣はむさい」ということは成り立つ fact6: もしあの複メス巣は間接控除でないなら「「その痛覚過敏は京極局でおまけに失い兼ねる」ということは偽である」ということは事実だ fact7: なにがしかの物が跨がるしその上見え難い fact8: 「この監督・関与は跨がるし加えてそれは見え難い」ということは成り立たない fact9: この監督・関与は心地良くない fact10: もしも「「跨がるし加えて見え難い」ということは嘘な」物があるとしたらその痛覚過敏は間接控除でない ; $hypothesis$ = あの複メス巣はむさくない ; $proof$ = 
fact8 -> int1: 「「跨がるしおまけに見え難い」ということは成り立たない」物はある; int1 & fact10 -> int2: その痛覚過敏は間接控除でない; fact1 -> int3: もし仮にその痛覚過敏は間接控除でないとしたらそれは生成し易いがしかし心地良くない; int2 & int3 -> int4: その痛覚過敏は生成し易い一方でそれは心地良くない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: 仮に何らかの物が間接控除であるということはないとしたら生成し易いししかもそれは心地良くない
事実2: 仮にあるものは生成し易いが間接控除でないとすればむさくない
事実3: 仮にその痛覚過敏が生成し易くてそれが心地良いならばあの複メス巣はむさい
事実4: もしも「見え難くない」ものはあれば「その痛覚過敏は間接控除でない」ということは本当である
事実5: 仮にその痛覚過敏が生成し易いがそれは心地良くないとすると「あの複メス巣はむさい」ということは成り立つ
事実6: もしあの複メス巣は間接控除でないなら「「その痛覚過敏は京極局でおまけに失い兼ねる」ということは偽である」ということは事実だ
事実7: なにがしかの物が跨がるしその上見え難い
事実8: 「この監督・関与は跨がるし加えてそれは見え難い」ということは成り立たない
事実9: この監督・関与は心地良くない
事実10: もしも「「跨がるし加えて見え難い」ということは嘘な」物があるとしたらその痛覚過敏は間接控除でない

仮説: あの複メス巣はむさくない
1. 事実8から、推論1: "「「跨がるしおまけに見え難い」ということは成り立たない」物はある"が導かれる
2. 推論1と事実10から、推論2: "その痛覚過敏は間接控除でない"が導かれる
3. 事実1から、推論3: "もし仮にその痛覚過敏は間接控除でないとしたらそれは生成し易いがしかし心地良くない"が導かれる
4. 推論2と推論3から、推論4: "その痛覚過敏は生成し易い一方でそれは心地良くない"が導かれる
5. 推論4と事実5から、仮説が否定される

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