「この心得顔は工夫改善でないけど代休日である」ということは誤っている
fact1: 仮にこの心得顔が工夫改善であるしかつ代休日であるとすればあの女の子同士は使い捨てるということはない fact2: あの女の子同士は偏り易くない fact3: 「なにがしかのものは新しないしその上冒険出来ない」ということは成り立つ fact4: なんらかのものが狭小化するなら代休日だ fact5: この心得顔は工夫改善だということはないがしかし代休日なら「あの女の子同士は使い捨てない」ということは本当だ fact6: もしなんらかのものが新しないし冒険出来ないならこの心得顔は偏り易くない fact7: あの女の子同士は偏り易くないけど運悪い fact8: 仮に「なにがしかの物は使い捨てないかもしくは運悪いかあるいは両方だ」ということは成り立たないとすると工夫改善でない fact9: あの女の子同士は偏り易くないが運悪いとすればそれは使い捨てる
void -> assump1: 以下のように仮定する。この心得顔は工夫改善でないがしかし代休日だ; fact5 & assump1 -> int1: 「あの女の子同士は使い捨てない」ということは成り立つ; fact9 & fact7 -> int2: あの女の子同士は使い捨てる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact5 & assump1 -> int1: ¬{B}{b}; fact9 & fact7 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
この心得顔は工夫改善でない一方でそれは代休日である
fact10 -> int4: 仮に「この心得顔は使い捨てるということはないかもしくは運悪い」ということは事実と異なるとしたらそれは工夫改善でない; fact11 & fact12 -> int5: この心得顔は偏り易いということはない; fact13 -> int6: もしもこの心得顔が狭小化するとしたらそれは代休日だ;
$facts$ = fact1: 仮にこの心得顔が工夫改善であるしかつ代休日であるとすればあの女の子同士は使い捨てるということはない fact2: あの女の子同士は偏り易くない fact3: 「なにがしかのものは新しないしその上冒険出来ない」ということは成り立つ fact4: なんらかのものが狭小化するなら代休日だ fact5: この心得顔は工夫改善だということはないがしかし代休日なら「あの女の子同士は使い捨てない」ということは本当だ fact6: もしなんらかのものが新しないし冒険出来ないならこの心得顔は偏り易くない fact7: あの女の子同士は偏り易くないけど運悪い fact8: 仮に「なにがしかの物は使い捨てないかもしくは運悪いかあるいは両方だ」ということは成り立たないとすると工夫改善でない fact9: あの女の子同士は偏り易くないが運悪いとすればそれは使い捨てる ; $hypothesis$ = 「この心得顔は工夫改善でないけど代休日である」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。この心得顔は工夫改善でないがしかし代休日だ; fact5 & assump1 -> int1: 「あの女の子同士は使い捨てない」ということは成り立つ; fact9 & fact7 -> int2: あの女の子同士は使い捨てる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 仮にこの心得顔が工夫改善であるしかつ代休日であるとすればあの女の子同士は使い捨てるということはない
事実2: あの女の子同士は偏り易くない
事実3: 「なにがしかのものは新しないしその上冒険出来ない」ということは成り立つ
事実4: なんらかのものが狭小化するなら代休日だ
事実5: この心得顔は工夫改善だということはないがしかし代休日なら「あの女の子同士は使い捨てない」ということは本当だ
事実6: もしなんらかのものが新しないし冒険出来ないならこの心得顔は偏り易くない
事実7: あの女の子同士は偏り易くないけど運悪い
事実8: 仮に「なにがしかの物は使い捨てないかもしくは運悪いかあるいは両方だ」ということは成り立たないとすると工夫改善でない
事実9: あの女の子同士は偏り易くないが運悪いとすればそれは使い捨てる

仮説: 「この心得顔は工夫改善でないけど代休日である」ということは誤っている
1. 仮定1: 以下のように仮定する。この心得顔は工夫改善でないがしかし代休日だ
2. 事実5と仮定1から、推論1: "「あの女の子同士は使い捨てない」ということは成り立つ"が導かれる
3. 事実9と事実7から、推論2: "あの女の子同士は使い捨てる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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