「この三大要素は脂肪細胞分化だということはないししかも受け辛くない」ということは誤っている
fact1: この三大要素は様良しということはないとすれば「「あの科学知識は様良くてさらにそれは二千五年度だ」ということは嘘である」ということは成り立つ fact2: 「「受け辛いしおまけに誤解され易い」ということは成り立たない」物はある fact3: もし「「受け辛くて加えて誤解され易い」ということは成り立たない」ものがあればこの三大要素は受け辛くない fact4: もしもこの自治則が着艦するけど切り易くないとしたらあの科学知識は切り易い fact5: この自治則は歌垣でない fact6: 「あの紙切れは中心街である」ということは真実である fact7: 仮にこの三大要素が中心街であるかそれは脂肪細胞分化であるかもしくは両方ともならばそれは様良しということはない fact8: この自治則は防犯設備だということはない fact9: もし「とある物は様良しし二千五年度だ」ということは誤っているとしたら「それは切り易くない」ということは正しい fact10: もし仮にこの自治則が歌垣だということはないならそれは着艦するしおまけにそれは切り易くない fact11: 「「切り易いし脂肪細胞分化である」ということは誤りである」ものはある fact12: なにかは中心街であるとしたら「「脂肪細胞分化でないし受け辛くない」ということは確かだ」ということは偽だ
void -> assump1: 以下のように仮定する。この三大要素は脂肪細胞分化だ; assump1 -> int1: この三大要素は中心街であるかあるいは脂肪細胞分化であるか両方ともだ; int1 & fact7 -> int2: この三大要素は様良くない; int2 & fact1 -> int3: 「あの科学知識は様良くてそれにそれは二千五年度である」ということは誤りだ; fact9 -> int4: もし仮に「あの科学知識は様良くて二千五年度である」ということは成り立たないなら切り易いということはない; int3 & int4 -> int5: あの科学知識は切り易くない; fact10 & fact5 -> int6: この自治則は着艦するが切り易くない; fact4 & int6 -> int7: あの科学知識は切り易い; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この三大要素は脂肪細胞分化でない; fact2 & fact3 -> int10: この三大要素は受け辛いということはない; int9 & int10 -> hypothesis;
「この三大要素は脂肪細胞分化でないしそれにそれは受け辛くない」ということは成り立たない
fact13 -> int11: 仮にこの三大要素は中心街であるとすれば「それは脂肪細胞分化であるということはなくて受け辛くない」ということは成り立たない;
$facts$ = fact1: この三大要素は様良しということはないとすれば「「あの科学知識は様良くてさらにそれは二千五年度だ」ということは嘘である」ということは成り立つ fact2: 「「受け辛いしおまけに誤解され易い」ということは成り立たない」物はある fact3: もし「「受け辛くて加えて誤解され易い」ということは成り立たない」ものがあればこの三大要素は受け辛くない fact4: もしもこの自治則が着艦するけど切り易くないとしたらあの科学知識は切り易い fact5: この自治則は歌垣でない fact6: 「あの紙切れは中心街である」ということは真実である fact7: 仮にこの三大要素が中心街であるかそれは脂肪細胞分化であるかもしくは両方ともならばそれは様良しということはない fact8: この自治則は防犯設備だということはない fact9: もし「とある物は様良しし二千五年度だ」ということは誤っているとしたら「それは切り易くない」ということは正しい fact10: もし仮にこの自治則が歌垣だということはないならそれは着艦するしおまけにそれは切り易くない fact11: 「「切り易いし脂肪細胞分化である」ということは誤りである」ものはある fact12: なにかは中心街であるとしたら「「脂肪細胞分化でないし受け辛くない」ということは確かだ」ということは偽だ ; $hypothesis$ = 「この三大要素は脂肪細胞分化だということはないししかも受け辛くない」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この三大要素は脂肪細胞分化だ; assump1 -> int1: この三大要素は中心街であるかあるいは脂肪細胞分化であるか両方ともだ; int1 & fact7 -> int2: この三大要素は様良くない; int2 & fact1 -> int3: 「あの科学知識は様良くてそれにそれは二千五年度である」ということは誤りだ; fact9 -> int4: もし仮に「あの科学知識は様良くて二千五年度である」ということは成り立たないなら切り易いということはない; int3 & int4 -> int5: あの科学知識は切り易くない; fact10 & fact5 -> int6: この自治則は着艦するが切り易くない; fact4 & int6 -> int7: あの科学知識は切り易い; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: この三大要素は脂肪細胞分化でない; fact2 & fact3 -> int10: この三大要素は受け辛いということはない; int9 & int10 -> hypothesis; __DISPROVED__
事実1: この三大要素は様良しということはないとすれば「「あの科学知識は様良くてさらにそれは二千五年度だ」ということは嘘である」ということは成り立つ
事実2: 「「受け辛いしおまけに誤解され易い」ということは成り立たない」物はある
事実3: もし「「受け辛くて加えて誤解され易い」ということは成り立たない」ものがあればこの三大要素は受け辛くない
事実4: もしもこの自治則が着艦するけど切り易くないとしたらあの科学知識は切り易い
事実5: この自治則は歌垣でない
事実6: 「あの紙切れは中心街である」ということは真実である
事実7: 仮にこの三大要素が中心街であるかそれは脂肪細胞分化であるかもしくは両方ともならばそれは様良しということはない
事実8: この自治則は防犯設備だということはない
事実9: もし「とある物は様良しし二千五年度だ」ということは誤っているとしたら「それは切り易くない」ということは正しい
事実10: もし仮にこの自治則が歌垣だということはないならそれは着艦するしおまけにそれは切り易くない
事実11: 「「切り易いし脂肪細胞分化である」ということは誤りである」ものはある
事実12: なにかは中心街であるとしたら「「脂肪細胞分化でないし受け辛くない」ということは確かだ」ということは偽だ

仮説: 「この三大要素は脂肪細胞分化だということはないししかも受け辛くない」ということは誤っている
1. 仮定1: 以下のように仮定する。この三大要素は脂肪細胞分化だ
2. 仮定1から、推論1: "この三大要素は中心街であるかあるいは脂肪細胞分化であるか両方ともだ"が導かれる
3. 推論1と事実7から、推論2: "この三大要素は様良くない"が導かれる
4. 推論2と事実1から、推論3: "「あの科学知識は様良くてそれにそれは二千五年度である」ということは誤りだ"が導かれる
5. 事実9から、推論4: "もし仮に「あの科学知識は様良くて二千五年度である」ということは成り立たないなら切り易いということはない"が導かれる
6. 推論3と推論4から、推論5: "あの科学知識は切り易くない"が導かれる
7. 事実10と事実5から、推論6: "この自治則は着艦するが切り易くない"が導かれる
8. 事実4と推論6から、推論7: "あの科学知識は切り易い"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "この三大要素は脂肪細胞分化でない"が導かれる
11. 事実2と事実3から、推論10: "この三大要素は受け辛いということはない"が導かれる
12. 推論9と推論10から、仮説が否定される

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