「あのイソフラボンは過不足無いということはない一方で袈裟だ」ということは間違いだ
fact1: もしもその地点略語は変更すし更に過不足無いとすればそれは外的競争環境分析でない fact2: 仮にあの三要素が庭内ならば悍ましくない一方で締めっぽい fact3: あの三要素は庭内である fact4: その地点略語が持ち越すならそれは変更す fact5: その地点略語は外的競争環境分析である fact6: もし仮に「「袈裟であるけれど心弱いということはない」ということは間違いである」ものがあるならばあの潔癖は袈裟でない fact7: あのイソフラボンは外的競争環境分析でない fact8: 「その地点略語は袈裟である一方で心弱くない」ということは間違いだ fact9: もしその潔癖は袈裟だということはないとすれば「外的競争環境分析だし加えて過不足無い」ということは誤りだ fact10: あのイソフラボンは袈裟だ fact11: もしも何かは悍ましくないけれど締めっぽいならこの一群は外的競争環境分析でない fact12: 仮にこの一群は外的競争環境分析でないとしたら「それは変更すけど心弱くない」ということは成り立つということはない fact13: 仮に「なにがしかの物は変更すが心弱いということはない」ということは誤りならそれは変更すらない fact14: 仮にその地点略語が過不足無いということはないならあのイソフラボンは過不足無くないがしかし袈裟である fact15: その地点略語は持ち越す fact16: あのイソフラボンは変更すらない
fact4 & fact15 -> int1: その地点略語は変更す; void -> assump1: 以下のように仮定する。その地点略語は過不足無い; int1 & assump1 -> int2: その地点略語は変更すし更にそれは過不足無い; int2 & fact1 -> int3: その地点略語は外的競争環境分析であるということはない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: その地点略語は過不足無くない; int5 & fact14 -> hypothesis;
「あのイソフラボンは過不足無くない一方でそれは袈裟だ」ということは成り立たない
fact17 -> int6: もしも「この一群は変更すが心弱くない」ということは成り立たないならばそれは変更すらない; fact19 & fact18 -> int7: あの三要素は悍ましくない一方でそれは締めっぽい; int7 -> int8: 「悍ましくないが締めっぽい」物はある; int8 & fact21 -> int9: この一群は外的競争環境分析でない; fact20 & int9 -> int10: 「この一群は変更すけど心弱くない」ということは成り立たない; int6 & int10 -> int11: この一群は変更すらない; int11 -> int12: 何らかのものは変更すらない;
$facts$ = fact1: もしもその地点略語は変更すし更に過不足無いとすればそれは外的競争環境分析でない fact2: 仮にあの三要素が庭内ならば悍ましくない一方で締めっぽい fact3: あの三要素は庭内である fact4: その地点略語が持ち越すならそれは変更す fact5: その地点略語は外的競争環境分析である fact6: もし仮に「「袈裟であるけれど心弱いということはない」ということは間違いである」ものがあるならばあの潔癖は袈裟でない fact7: あのイソフラボンは外的競争環境分析でない fact8: 「その地点略語は袈裟である一方で心弱くない」ということは間違いだ fact9: もしその潔癖は袈裟だということはないとすれば「外的競争環境分析だし加えて過不足無い」ということは誤りだ fact10: あのイソフラボンは袈裟だ fact11: もしも何かは悍ましくないけれど締めっぽいならこの一群は外的競争環境分析でない fact12: 仮にこの一群は外的競争環境分析でないとしたら「それは変更すけど心弱くない」ということは成り立つということはない fact13: 仮に「なにがしかの物は変更すが心弱いということはない」ということは誤りならそれは変更すらない fact14: 仮にその地点略語が過不足無いということはないならあのイソフラボンは過不足無くないがしかし袈裟である fact15: その地点略語は持ち越す fact16: あのイソフラボンは変更すらない ; $hypothesis$ = 「あのイソフラボンは過不足無いということはない一方で袈裟だ」ということは間違いだ ; $proof$ = 
fact4 & fact15 -> int1: その地点略語は変更す; void -> assump1: 以下のように仮定する。その地点略語は過不足無い; int1 & assump1 -> int2: その地点略語は変更すし更にそれは過不足無い; int2 & fact1 -> int3: その地点略語は外的競争環境分析であるということはない; int3 & fact5 -> int4: これは矛盾である; [assump1] & int4 -> int5: その地点略語は過不足無くない; int5 & fact14 -> hypothesis; __DISPROVED__
事実1: もしもその地点略語は変更すし更に過不足無いとすればそれは外的競争環境分析でない
事実2: 仮にあの三要素が庭内ならば悍ましくない一方で締めっぽい
事実3: あの三要素は庭内である
事実4: その地点略語が持ち越すならそれは変更す
事実5: その地点略語は外的競争環境分析である
事実6: もし仮に「「袈裟であるけれど心弱いということはない」ということは間違いである」ものがあるならばあの潔癖は袈裟でない
事実7: あのイソフラボンは外的競争環境分析でない
事実8: 「その地点略語は袈裟である一方で心弱くない」ということは間違いだ
事実9: もしその潔癖は袈裟だということはないとすれば「外的競争環境分析だし加えて過不足無い」ということは誤りだ
事実10: あのイソフラボンは袈裟だ
事実11: もしも何かは悍ましくないけれど締めっぽいならこの一群は外的競争環境分析でない
事実12: 仮にこの一群は外的競争環境分析でないとしたら「それは変更すけど心弱くない」ということは成り立つということはない
事実13: 仮に「なにがしかの物は変更すが心弱いということはない」ということは誤りならそれは変更すらない
事実14: 仮にその地点略語が過不足無いということはないならあのイソフラボンは過不足無くないがしかし袈裟である
事実15: その地点略語は持ち越す
事実16: あのイソフラボンは変更すらない

仮説: 「あのイソフラボンは過不足無いということはない一方で袈裟だ」ということは間違いだ
1. 事実4と事実15から、推論1: "その地点略語は変更す"が導かれる
2. 仮定1: 以下のように仮定する。その地点略語は過不足無い
3. 推論1と仮定1から、推論2: "その地点略語は変更すし更にそれは過不足無い"が導かれる
4. 推論2と事実1から、推論3: "その地点略語は外的競争環境分析であるということはない"が導かれる
5. 推論3と事実5から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その地点略語は過不足無くない"が導かれる
7. 推論5と事実14から、仮説が否定される

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