この駄目押しはコラボである
fact1: もしも「この駄目押しは狂奔する」ということは成り立つなら「あの国家公務員はコラボである」ということは事実だ fact2: この駄目押しは悲しい fact3: 「しても良くない」物はある fact4: あの国家公務員はしても良い fact5: 「この駄目押しは狂奔する」ということは正しい fact6: しても良いということはない物があるとするとあの国家公務員は悲しくてそれは狂奔する fact7: 「しても良い」ものはある fact8: この駄目押しはしても良い fact9: もしもこの護身が狂奔しないとすればあの国家公務員は悲しくないがしても良い fact10: もし仮に「コラボでない」ものはあるとしたら「あの国家公務員は狂奔する」ということは真実だ fact11: 仮にあの国家公務員はコラボだとすれば「この駄目押しは悲しい」ということは成り立つ fact12: もしあの国家公務員が悲しいとするとこの駄目押しはコラボだ fact13: もしもあの国家公務員がコラボならばこの駄目押しは狂奔する fact14: 「「コラボである」ものはある」ということは本当である fact15: この駄目押しは路肩である fact16: もし仮にとあるものが周回するならそれは集積する fact17: 仮になにかは集積するなら狂奔しなくて陸自だということはない
fact3 & fact6 -> int1: 「あの国家公務員は悲しいし更に狂奔する」ということは確かである; int1 -> int2: 「あの国家公務員は悲しい」ということは正しい; int2 & fact12 -> hypothesis;
この駄目押しはコラボでない
fact19 -> int3: もしもこの護身が集積すればそれは狂奔しなくて加えてそれは陸自であるということはない; fact18 -> int4: この護身が周回するならそれは集積する;
$facts$ = fact1: もしも「この駄目押しは狂奔する」ということは成り立つなら「あの国家公務員はコラボである」ということは事実だ fact2: この駄目押しは悲しい fact3: 「しても良くない」物はある fact4: あの国家公務員はしても良い fact5: 「この駄目押しは狂奔する」ということは正しい fact6: しても良いということはない物があるとするとあの国家公務員は悲しくてそれは狂奔する fact7: 「しても良い」ものはある fact8: この駄目押しはしても良い fact9: もしもこの護身が狂奔しないとすればあの国家公務員は悲しくないがしても良い fact10: もし仮に「コラボでない」ものはあるとしたら「あの国家公務員は狂奔する」ということは真実だ fact11: 仮にあの国家公務員はコラボだとすれば「この駄目押しは悲しい」ということは成り立つ fact12: もしあの国家公務員が悲しいとするとこの駄目押しはコラボだ fact13: もしもあの国家公務員がコラボならばこの駄目押しは狂奔する fact14: 「「コラボである」ものはある」ということは本当である fact15: この駄目押しは路肩である fact16: もし仮にとあるものが周回するならそれは集積する fact17: 仮になにかは集積するなら狂奔しなくて陸自だということはない ; $hypothesis$ = この駄目押しはコラボである ; $proof$ = 
fact3 & fact6 -> int1: 「あの国家公務員は悲しいし更に狂奔する」ということは確かである; int1 -> int2: 「あの国家公務員は悲しい」ということは正しい; int2 & fact12 -> hypothesis; __PROVED__
事実1: もしも「この駄目押しは狂奔する」ということは成り立つなら「あの国家公務員はコラボである」ということは事実だ
事実2: この駄目押しは悲しい
事実3: 「しても良くない」物はある
事実4: あの国家公務員はしても良い
事実5: 「この駄目押しは狂奔する」ということは正しい
事実6: しても良いということはない物があるとするとあの国家公務員は悲しくてそれは狂奔する
事実7: 「しても良い」ものはある
事実8: この駄目押しはしても良い
事実9: もしもこの護身が狂奔しないとすればあの国家公務員は悲しくないがしても良い
事実10: もし仮に「コラボでない」ものはあるとしたら「あの国家公務員は狂奔する」ということは真実だ
事実11: 仮にあの国家公務員はコラボだとすれば「この駄目押しは悲しい」ということは成り立つ
事実12: もしあの国家公務員が悲しいとするとこの駄目押しはコラボだ
事実13: もしもあの国家公務員がコラボならばこの駄目押しは狂奔する
事実14: 「「コラボである」ものはある」ということは本当である
事実15: この駄目押しは路肩である
事実16: もし仮にとあるものが周回するならそれは集積する
事実17: 仮になにかは集積するなら狂奔しなくて陸自だということはない

仮説: この駄目押しはコラボである
1. 事実3と事実6から、推論1: "「あの国家公務員は悲しいし更に狂奔する」ということは確かである"が導かれる
2. 推論1から、推論2: "「あの国家公務員は悲しい」ということは正しい"が導かれる
3. 推論2と事実12から、仮説が導かれる

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