「このセクショナリズムは取り難いということはないし吹き散らさない」ということは嘘である
fact1: ある物は熟し切れないとすれば「それは取り難くないし加えて赤し」ということは事実と異なる fact2: 「このセクショナリズムは取り難くない一方で吹き散らす」ということは偽である fact3: もし仮に「この現象面は取り難くないがしかしそれは赤し」ということは間違いならばこのセクショナリズムは取り難くない fact4: もしもあの業績内容はアメリカ社会でなくてまたリトル・リーグであるということはないとするとそれはアミノ酸輸液薬でない fact5: 仮にこのセクショナリズムは美々しかなくてしかもアメリカ社会だということはないとすると赤しない fact6: もし仮になんらかの物は赤しないとすれば「それは取り難いし吹き散らさない」ということは成り立つということはない fact7: もしとある物は赤しないなら「取り難くなくてそれに吹き散らさない」ということは成り立つということはない fact8: このセクショナリズムが美々しかないしその上アメリカ社会でない
fact5 & fact8 -> int1: このセクショナリズムは赤しということはない; fact7 -> int2: もしもこのセクショナリズムは赤しないとすると「取り難くなくてそれは吹き散らさない」ということは嘘だ; int1 & int2 -> hypothesis;
fact5 & fact8 -> int1: ¬{B}{a}; fact7 -> int2: ¬{B}{a} -> ¬(¬{C}{a} & ¬{A}{a}); int1 & int2 -> hypothesis;
このセクショナリズムは取り難いということはないし吹き散らさない
fact9 -> int3: もし仮にこの現象面は熟し切れないなら「取り難くなくてしかもそれは赤し」ということは成り立たない;
$facts$ = fact1: ある物は熟し切れないとすれば「それは取り難くないし加えて赤し」ということは事実と異なる fact2: 「このセクショナリズムは取り難くない一方で吹き散らす」ということは偽である fact3: もし仮に「この現象面は取り難くないがしかしそれは赤し」ということは間違いならばこのセクショナリズムは取り難くない fact4: もしもあの業績内容はアメリカ社会でなくてまたリトル・リーグであるということはないとするとそれはアミノ酸輸液薬でない fact5: 仮にこのセクショナリズムは美々しかなくてしかもアメリカ社会だということはないとすると赤しない fact6: もし仮になんらかの物は赤しないとすれば「それは取り難いし吹き散らさない」ということは成り立つということはない fact7: もしとある物は赤しないなら「取り難くなくてそれに吹き散らさない」ということは成り立つということはない fact8: このセクショナリズムが美々しかないしその上アメリカ社会でない ; $hypothesis$ = 「このセクショナリズムは取り難いということはないし吹き散らさない」ということは嘘である ; $proof$ = 
fact5 & fact8 -> int1: このセクショナリズムは赤しということはない; fact7 -> int2: もしもこのセクショナリズムは赤しないとすると「取り難くなくてそれは吹き散らさない」ということは嘘だ; int1 & int2 -> hypothesis; __PROVED__
事実1: ある物は熟し切れないとすれば「それは取り難くないし加えて赤し」ということは事実と異なる
事実2: 「このセクショナリズムは取り難くない一方で吹き散らす」ということは偽である
事実3: もし仮に「この現象面は取り難くないがしかしそれは赤し」ということは間違いならばこのセクショナリズムは取り難くない
事実4: もしもあの業績内容はアメリカ社会でなくてまたリトル・リーグであるということはないとするとそれはアミノ酸輸液薬でない
事実5: 仮にこのセクショナリズムは美々しかなくてしかもアメリカ社会だということはないとすると赤しない
事実6: もし仮になんらかの物は赤しないとすれば「それは取り難いし吹き散らさない」ということは成り立つということはない
事実7: もしとある物は赤しないなら「取り難くなくてそれに吹き散らさない」ということは成り立つということはない
事実8: このセクショナリズムが美々しかないしその上アメリカ社会でない

仮説: 「このセクショナリズムは取り難いということはないし吹き散らさない」ということは嘘である
1. 事実5と事実8から、推論1: "このセクショナリズムは赤しということはない"が導かれる
2. 事実7から、推論2: "もしもこのセクショナリズムは赤しないとすると「取り難くなくてそれは吹き散らさない」ということは嘘だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。