その交代はパーライト組織でない
fact1: あの九百万人は長ーい fact2: 「あの九百万人は痩せ難い」ということは事実ならその交代は痩せ難くない fact3: 何らかのものは痩せ難いということはないとすると「利きであるということはなくてそれは殉ずるということはない」ということは誤りである fact4: もし仮にあの九百万人が利きだしさらに殉ずるとするとこの気持ち悪さは痩せ難いということはない fact5: 「あの九百万人は殉ずる」ということは成り立つ fact6: 「あの九百万人は痩せ難いけど殉ずるということはない」ということは嘘である fact7: あの九百万人は利きである fact8: もしこの気持ち悪さは痩せ難くないとしたら「その交代が長ーくないしさらにそれは痩せ難くない」ということは嘘だ fact9: 「「なにかは長ーくないしその上それは痩せ難くない」ということは間違っていない」ということは誤っているとするとパーライト組織である fact10: 「その交代は長ーいけれどそれは痩せ難くない」ということは正しくない fact11: もしもこの気持ち悪さは痩せ難くないとしたら「その交代は長ーくないが痩せ難い」ということは成り立たない fact12: この気持ち悪さは痩せ難くないとすれば「その交代は長ーいがしかし痩せ難くない」ということは間違いである fact13: 「その交代は長ーいということはないけれど痩せ難い」ということは間違いだ
fact7 & fact5 -> int1: あの九百万人は利きだし加えて殉ずる; int1 & fact4 -> int2: 「この気持ち悪さは痩せ難くない」ということは真実である; int2 & fact8 -> int3: 「その交代は長ーくないしかつ痩せ難くない」ということは間違いである; fact9 -> int4: もし「その交代は長ーくないしそれに痩せ難いということはない」ということは誤っていればパーライト組織である; int3 & int4 -> hypothesis;
その交代はパーライト組織でない
fact14 -> int5: 「その交代は痩せ難くない」ということは成り立てば「それは利きでなくてしかも殉ぜない」ということは成り立たない;
$facts$ = fact1: あの九百万人は長ーい fact2: 「あの九百万人は痩せ難い」ということは事実ならその交代は痩せ難くない fact3: 何らかのものは痩せ難いということはないとすると「利きであるということはなくてそれは殉ずるということはない」ということは誤りである fact4: もし仮にあの九百万人が利きだしさらに殉ずるとするとこの気持ち悪さは痩せ難いということはない fact5: 「あの九百万人は殉ずる」ということは成り立つ fact6: 「あの九百万人は痩せ難いけど殉ずるということはない」ということは嘘である fact7: あの九百万人は利きである fact8: もしこの気持ち悪さは痩せ難くないとしたら「その交代が長ーくないしさらにそれは痩せ難くない」ということは嘘だ fact9: 「「なにかは長ーくないしその上それは痩せ難くない」ということは間違っていない」ということは誤っているとするとパーライト組織である fact10: 「その交代は長ーいけれどそれは痩せ難くない」ということは正しくない fact11: もしもこの気持ち悪さは痩せ難くないとしたら「その交代は長ーくないが痩せ難い」ということは成り立たない fact12: この気持ち悪さは痩せ難くないとすれば「その交代は長ーいがしかし痩せ難くない」ということは間違いである fact13: 「その交代は長ーいということはないけれど痩せ難い」ということは間違いだ ; $hypothesis$ = その交代はパーライト組織でない ; $proof$ = 
fact7 & fact5 -> int1: あの九百万人は利きだし加えて殉ずる; int1 & fact4 -> int2: 「この気持ち悪さは痩せ難くない」ということは真実である; int2 & fact8 -> int3: 「その交代は長ーくないしかつ痩せ難くない」ということは間違いである; fact9 -> int4: もし「その交代は長ーくないしそれに痩せ難いということはない」ということは誤っていればパーライト組織である; int3 & int4 -> hypothesis; __DISPROVED__
事実1: あの九百万人は長ーい
事実2: 「あの九百万人は痩せ難い」ということは事実ならその交代は痩せ難くない
事実3: 何らかのものは痩せ難いということはないとすると「利きであるということはなくてそれは殉ずるということはない」ということは誤りである
事実4: もし仮にあの九百万人が利きだしさらに殉ずるとするとこの気持ち悪さは痩せ難いということはない
事実5: 「あの九百万人は殉ずる」ということは成り立つ
事実6: 「あの九百万人は痩せ難いけど殉ずるということはない」ということは嘘である
事実7: あの九百万人は利きである
事実8: もしこの気持ち悪さは痩せ難くないとしたら「その交代が長ーくないしさらにそれは痩せ難くない」ということは嘘だ
事実9: 「「なにかは長ーくないしその上それは痩せ難くない」ということは間違っていない」ということは誤っているとするとパーライト組織である
事実10: 「その交代は長ーいけれどそれは痩せ難くない」ということは正しくない
事実11: もしもこの気持ち悪さは痩せ難くないとしたら「その交代は長ーくないが痩せ難い」ということは成り立たない
事実12: この気持ち悪さは痩せ難くないとすれば「その交代は長ーいがしかし痩せ難くない」ということは間違いである
事実13: 「その交代は長ーいということはないけれど痩せ難い」ということは間違いだ

仮説: その交代はパーライト組織でない
1. 事実7と事実5から、推論1: "あの九百万人は利きだし加えて殉ずる"が導かれる
2. 推論1と事実4から、推論2: "「この気持ち悪さは痩せ難くない」ということは真実である"が導かれる
3. 推論2と事実8から、推論3: "「その交代は長ーくないしかつ痩せ難くない」ということは間違いである"が導かれる
4. 事実9から、推論4: "もし「その交代は長ーくないしそれに痩せ難いということはない」ということは誤っていればパーライト組織である"が導かれる
5. 推論3と推論4から、仮説が否定される

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