そのこじつけはスタッフ不足だ
fact1: もしも「とあるものは給湯器であるし住める」ということは成り立つということはないとすればそれは使い辛くない fact2: もし仮になにがしかの物が御咲きでないとすればスタッフ不足であるし更に小狡い fact3: もしも「なにかは給湯器でない」ということは成り立つなら「それが甍だししかもそれは染める」ということは間違いだ fact4: 「悪ししさらに使い易い」物はある fact5: 故無いということはないものは白黒付けない fact6: もし「何らかのものは御咲きであるしさらに使役する」ということは誤っていればスタッフ不足でない fact7: もし仮にある物が入手しないとしたらそのこじつけは小狡くない fact8: もしも「「使い易いし寄る辺無い」ということは成り立たない」物はあるとしたら「そのこじつけは疎くない」ということは真実である fact9: もしもとある物は小狡いということはないとすると「それは御咲きで使役する」ということは事実と異なる fact10: 仮にその千二十箱が打ち続くとすればあのメトラクロールは使役する fact11: 「「悪しし加えて使い易い」ということは成り立たない」物はある fact12: 「悪しない」物があるとすればあのこじつけは小狡くない fact13: 仮に「なにかは集め易くてさらにシリコングリスだ」ということは嘘ならばそれは確保しない fact14: 仮にとある物は御咲きでないとするとそれはスタッフ不足であるということはない fact15: ある物は初恋だし加えてそれはざける fact16: 「そのこじつけが生産協同組合だしその上それは小狡い」ということは成り立たないならばそれは思しくない fact17: もし仮に「「悪しし更に使い易い」ということは誤りな」物があるならばあのこじつけは小狡いということはない fact18: もしもあの頓服はシリコングリスだということはないとすれば「それは出し切れない」ということは確かである fact19: 「この許婚は横断法であるしかつ使役する」ということは間違っているとするとそれは三十二相だということはない fact20: もしも「なにかは書き添えないがしかし御咲きである」ということは偽であるならばそれは御咲きでない fact21: もしそのこじつけは御咲きでないとしたら「スタッフ不足である」ということは成り立つということはない fact22: もし仮に「なんらかのものは満遍無いし潔い」ということは正しくないとするとそれは経営するということはない fact23: 「その御者台は出会い易くて加えて使い易い」ということは成り立たない
fact11 & fact17 -> int1: そのこじつけは小狡くない; fact9 -> int2: 「もし仮にそのこじつけは小狡くないとしたら「そのこじつけが御咲きだし使役する」ということは確かであるということはない」ということは確かである; int1 & int2 -> int3: 「そのこじつけは御咲きで使役する」ということは事実と異なる; fact6 -> int4: 仮に「そのこじつけは御咲きであるし更に使役する」ということは事実でないならスタッフ不足でない; int3 & int4 -> hypothesis;
fact11 & fact17 -> int1: ¬{A}{a}; fact9 -> int2: ¬{A}{a} -> ¬({B}{a} & {C}{a}); int1 & int2 -> int3: ¬({B}{a} & {C}{a}); fact6 -> int4: ¬({B}{a} & {C}{a}) -> ¬{D}{a}; int3 & int4 -> hypothesis;
そのこじつけはスタッフ不足だ
fact25 -> int5: 仮にそのこじつけが御咲きでないとするとスタッフ不足であるしさらにそれは小狡い; fact24 -> int6: もし「そのこじつけは書き添えない一方で御咲きである」ということは誤りであるならばそれは御咲きであるということはない;
$facts$ = fact1: もしも「とあるものは給湯器であるし住める」ということは成り立つということはないとすればそれは使い辛くない fact2: もし仮になにがしかの物が御咲きでないとすればスタッフ不足であるし更に小狡い fact3: もしも「なにかは給湯器でない」ということは成り立つなら「それが甍だししかもそれは染める」ということは間違いだ fact4: 「悪ししさらに使い易い」物はある fact5: 故無いということはないものは白黒付けない fact6: もし「何らかのものは御咲きであるしさらに使役する」ということは誤っていればスタッフ不足でない fact7: もし仮にある物が入手しないとしたらそのこじつけは小狡くない fact8: もしも「「使い易いし寄る辺無い」ということは成り立たない」物はあるとしたら「そのこじつけは疎くない」ということは真実である fact9: もしもとある物は小狡いということはないとすると「それは御咲きで使役する」ということは事実と異なる fact10: 仮にその千二十箱が打ち続くとすればあのメトラクロールは使役する fact11: 「「悪しし加えて使い易い」ということは成り立たない」物はある fact12: 「悪しない」物があるとすればあのこじつけは小狡くない fact13: 仮に「なにかは集め易くてさらにシリコングリスだ」ということは嘘ならばそれは確保しない fact14: 仮にとある物は御咲きでないとするとそれはスタッフ不足であるということはない fact15: ある物は初恋だし加えてそれはざける fact16: 「そのこじつけが生産協同組合だしその上それは小狡い」ということは成り立たないならばそれは思しくない fact17: もし仮に「「悪しし更に使い易い」ということは誤りな」物があるならばあのこじつけは小狡いということはない fact18: もしもあの頓服はシリコングリスだということはないとすれば「それは出し切れない」ということは確かである fact19: 「この許婚は横断法であるしかつ使役する」ということは間違っているとするとそれは三十二相だということはない fact20: もしも「なにかは書き添えないがしかし御咲きである」ということは偽であるならばそれは御咲きでない fact21: もしそのこじつけは御咲きでないとしたら「スタッフ不足である」ということは成り立つということはない fact22: もし仮に「なんらかのものは満遍無いし潔い」ということは正しくないとするとそれは経営するということはない fact23: 「その御者台は出会い易くて加えて使い易い」ということは成り立たない ; $hypothesis$ = そのこじつけはスタッフ不足だ ; $proof$ = 
fact11 & fact17 -> int1: そのこじつけは小狡くない; fact9 -> int2: 「もし仮にそのこじつけは小狡くないとしたら「そのこじつけが御咲きだし使役する」ということは確かであるということはない」ということは確かである; int1 & int2 -> int3: 「そのこじつけは御咲きで使役する」ということは事実と異なる; fact6 -> int4: 仮に「そのこじつけは御咲きであるし更に使役する」ということは事実でないならスタッフ不足でない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしも「とあるものは給湯器であるし住める」ということは成り立つということはないとすればそれは使い辛くない
事実2: もし仮になにがしかの物が御咲きでないとすればスタッフ不足であるし更に小狡い
事実3: もしも「なにかは給湯器でない」ということは成り立つなら「それが甍だししかもそれは染める」ということは間違いだ
事実4: 「悪ししさらに使い易い」物はある
事実5: 故無いということはないものは白黒付けない
事実6: もし「何らかのものは御咲きであるしさらに使役する」ということは誤っていればスタッフ不足でない
事実7: もし仮にある物が入手しないとしたらそのこじつけは小狡くない
事実8: もしも「「使い易いし寄る辺無い」ということは成り立たない」物はあるとしたら「そのこじつけは疎くない」ということは真実である
事実9: もしもとある物は小狡いということはないとすると「それは御咲きで使役する」ということは事実と異なる
事実10: 仮にその千二十箱が打ち続くとすればあのメトラクロールは使役する
事実11: 「「悪しし加えて使い易い」ということは成り立たない」物はある
事実12: 「悪しない」物があるとすればあのこじつけは小狡くない
事実13: 仮に「なにかは集め易くてさらにシリコングリスだ」ということは嘘ならばそれは確保しない
事実14: 仮にとある物は御咲きでないとするとそれはスタッフ不足であるということはない
事実15: ある物は初恋だし加えてそれはざける
事実16: 「そのこじつけが生産協同組合だしその上それは小狡い」ということは成り立たないならばそれは思しくない
事実17: もし仮に「「悪しし更に使い易い」ということは誤りな」物があるならばあのこじつけは小狡いということはない
事実18: もしもあの頓服はシリコングリスだということはないとすれば「それは出し切れない」ということは確かである
事実19: 「この許婚は横断法であるしかつ使役する」ということは間違っているとするとそれは三十二相だということはない
事実20: もしも「なにかは書き添えないがしかし御咲きである」ということは偽であるならばそれは御咲きでない
事実21: もしそのこじつけは御咲きでないとしたら「スタッフ不足である」ということは成り立つということはない
事実22: もし仮に「なんらかのものは満遍無いし潔い」ということは正しくないとするとそれは経営するということはない
事実23: 「その御者台は出会い易くて加えて使い易い」ということは成り立たない

仮説: そのこじつけはスタッフ不足だ
1. 事実11と事実17から、推論1: "そのこじつけは小狡くない"が導かれる
2. 事実9から、推論2: "「もし仮にそのこじつけは小狡くないとしたら「そのこじつけが御咲きだし使役する」ということは確かであるということはない」ということは確かである"が導かれる
3. 推論1と推論2から、推論3: "「そのこじつけは御咲きで使役する」ということは事実と異なる"が導かれる
4. 事実6から、推論4: "仮に「そのこじつけは御咲きであるし更に使役する」ということは事実でないならスタッフ不足でない"が導かれる
5. 推論3と推論4から、仮説が否定される

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