「もしその女主人公が撥ね除ければあの合法的権益はカット出来ない一方で打ち掛ける」ということは本当であるということはない
fact1: 女っぽいということはない炭焼きは撥ね除けない fact2: 「あの合法的権益はカット出来ない」ということは確かだ fact3: もしもある物がカット出来るとすると生体膜だけれど撥ね除けない fact4: 仮にこの丁酉倫理会は撥ね除けないならば「その夕光は女っぽいしそれは打ち掛ける」ということは成り立たない fact5: その女主人公が撥ね除ければあの合法的権益はカット出来ない fact6: 「「炭焼きであるし女っぽい」ということは偽な」物はある fact7: もし女っぽいものがあるとすればこの丁酉倫理会は打ち掛けない fact8: 「何らかの物は女っぽいし更に打ち掛ける」ということは成り立たないとしたら女っぽくない fact9: 仮にその女主人公が炭焼きだしそれにそれが女っぽいとするとそれは打ち掛けない fact10: もし仮にとある物が居住しないならばそれはカット出来るしおまけに送り込む fact11: あの合法的権益が生体膜である一方で撥ね除けないとするとこの丁酉倫理会は撥ね除けない fact12: 「「この丁酉倫理会は打ち掛けるけど撥ね除けない」ということは成り立つ」ということは間違いである fact13: 炭焼きが女っぽいとするとそれは撥ね除けない fact14: その女主人公は女っぽくない fact15: もしもあの合法的権益が微笑ましくらないとすると居住するということはない fact16: もし仮にこの丁酉倫理会が打ち掛けないとするとあの合法的権益はカット出来るということはないけれど打ち掛ける fact17: もしも「「炭焼きであるが女っぽくない」ということは成り立たない」物があればこの丁酉倫理会は打ち掛けない
fact1 -> int1: 仮にその女主人公が炭焼きだがしかしそれが女っぽくないならそれは撥ね除けない; void -> assump2: 以下のように仮定する。その女主人公は炭焼きだがしかし女っぽくない; int1 & assump2 -> int2: その女主人公は撥ね除けない; void -> assump1: 以下のように仮定する。その女主人公は撥ね除ける; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「「その女主人公は炭焼きである一方で女っぽくない」ということは間違っていない」ということは事実でない; int4 -> int5: 「「炭焼きであっておまけに女っぽいということはない」ということは偽な」物はある; int5 & fact17 -> int6: この丁酉倫理会は打ち掛けるということはない; int6 & fact16 -> int7: あの合法的権益はカット出来ないけど打ち掛ける; [assump1] & int7 -> hypothesis;
その夕光は女っぽいということはない
fact19 -> int8: 「その夕光は女っぽいしおまけに打ち掛ける」ということは成り立つということはないとするとそれは女っぽくない; fact22 -> int9: もしもあの合法的権益がカット出来るならそれは生体膜だ一方で撥ね除けない; fact18 -> int10: 仮にあの合法的権益が居住しないならばそれはカット出来るしおまけに送り込む;
$facts$ = fact1: 女っぽいということはない炭焼きは撥ね除けない fact2: 「あの合法的権益はカット出来ない」ということは確かだ fact3: もしもある物がカット出来るとすると生体膜だけれど撥ね除けない fact4: 仮にこの丁酉倫理会は撥ね除けないならば「その夕光は女っぽいしそれは打ち掛ける」ということは成り立たない fact5: その女主人公が撥ね除ければあの合法的権益はカット出来ない fact6: 「「炭焼きであるし女っぽい」ということは偽な」物はある fact7: もし女っぽいものがあるとすればこの丁酉倫理会は打ち掛けない fact8: 「何らかの物は女っぽいし更に打ち掛ける」ということは成り立たないとしたら女っぽくない fact9: 仮にその女主人公が炭焼きだしそれにそれが女っぽいとするとそれは打ち掛けない fact10: もし仮にとある物が居住しないならばそれはカット出来るしおまけに送り込む fact11: あの合法的権益が生体膜である一方で撥ね除けないとするとこの丁酉倫理会は撥ね除けない fact12: 「「この丁酉倫理会は打ち掛けるけど撥ね除けない」ということは成り立つ」ということは間違いである fact13: 炭焼きが女っぽいとするとそれは撥ね除けない fact14: その女主人公は女っぽくない fact15: もしもあの合法的権益が微笑ましくらないとすると居住するということはない fact16: もし仮にこの丁酉倫理会が打ち掛けないとするとあの合法的権益はカット出来るということはないけれど打ち掛ける fact17: もしも「「炭焼きであるが女っぽくない」ということは成り立たない」物があればこの丁酉倫理会は打ち掛けない ; $hypothesis$ = 「もしその女主人公が撥ね除ければあの合法的権益はカット出来ない一方で打ち掛ける」ということは本当であるということはない ; $proof$ = 
fact1 -> int1: 仮にその女主人公が炭焼きだがしかしそれが女っぽくないならそれは撥ね除けない; void -> assump2: 以下のように仮定する。その女主人公は炭焼きだがしかし女っぽくない; int1 & assump2 -> int2: その女主人公は撥ね除けない; void -> assump1: 以下のように仮定する。その女主人公は撥ね除ける; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: 「「その女主人公は炭焼きである一方で女っぽくない」ということは間違っていない」ということは事実でない; int4 -> int5: 「「炭焼きであっておまけに女っぽいということはない」ということは偽な」物はある; int5 & fact17 -> int6: この丁酉倫理会は打ち掛けるということはない; int6 & fact16 -> int7: あの合法的権益はカット出来ないけど打ち掛ける; [assump1] & int7 -> hypothesis; __DISPROVED__
事実1: 女っぽいということはない炭焼きは撥ね除けない
事実2: 「あの合法的権益はカット出来ない」ということは確かだ
事実3: もしもある物がカット出来るとすると生体膜だけれど撥ね除けない
事実4: 仮にこの丁酉倫理会は撥ね除けないならば「その夕光は女っぽいしそれは打ち掛ける」ということは成り立たない
事実5: その女主人公が撥ね除ければあの合法的権益はカット出来ない
事実6: 「「炭焼きであるし女っぽい」ということは偽な」物はある
事実7: もし女っぽいものがあるとすればこの丁酉倫理会は打ち掛けない
事実8: 「何らかの物は女っぽいし更に打ち掛ける」ということは成り立たないとしたら女っぽくない
事実9: 仮にその女主人公が炭焼きだしそれにそれが女っぽいとするとそれは打ち掛けない
事実10: もし仮にとある物が居住しないならばそれはカット出来るしおまけに送り込む
事実11: あの合法的権益が生体膜である一方で撥ね除けないとするとこの丁酉倫理会は撥ね除けない
事実12: 「「この丁酉倫理会は打ち掛けるけど撥ね除けない」ということは成り立つ」ということは間違いである
事実13: 炭焼きが女っぽいとするとそれは撥ね除けない
事実14: その女主人公は女っぽくない
事実15: もしもあの合法的権益が微笑ましくらないとすると居住するということはない
事実16: もし仮にこの丁酉倫理会が打ち掛けないとするとあの合法的権益はカット出来るということはないけれど打ち掛ける
事実17: もしも「「炭焼きであるが女っぽくない」ということは成り立たない」物があればこの丁酉倫理会は打ち掛けない

仮説: 「もしその女主人公が撥ね除ければあの合法的権益はカット出来ない一方で打ち掛ける」ということは本当であるということはない
1. 事実1から、推論1: "仮にその女主人公が炭焼きだがしかしそれが女っぽくないならそれは撥ね除けない"が導かれる
2. 仮定2: 以下のように仮定する。その女主人公は炭焼きだがしかし女っぽくない
3. 推論1と仮定2から、推論2: "その女主人公は撥ね除けない"が導かれる
4. 仮定1: 以下のように仮定する。その女主人公は撥ね除ける
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "「「その女主人公は炭焼きである一方で女っぽくない」ということは間違っていない」ということは事実でない"が導かれる
7. 推論4から、推論5: "「「炭焼きであっておまけに女っぽいということはない」ということは偽な」物はある"が導かれる
8. 推論5と事実17から、推論6: "この丁酉倫理会は打ち掛けるということはない"が導かれる
9. 推論6と事実16から、推論7: "あの合法的権益はカット出来ないけど打ち掛ける"が導かれる
10. [仮定1]と推論7から、仮説が否定される

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