あの銀行襲撃は切ないし加えて原裁判だ
fact1: もしも何らかの物は成り立てでないとしたら「責め殺さないかもしくは危なっかしくないか両方ともである」ということは偽だ fact2: この大帝は切ない fact3: もしもあの銀行襲撃は処理しないとすると「その審議は切ないがしかし危なっかしいということはない」ということは確かでない fact4: その立法機関は危なっかしい fact5: 「その審議は膨潤性下剤であるけど危なっかしいということはない」ということは偽だ fact6: もしこの大帝は推奨出来ないならば「その審議は膨潤性下剤だがしかし処理しない」ということは誤りだ fact7: もしも何かは推奨出来ないとすると「切ないし原裁判である」ということは本当であるということはない fact8: 「あの銀行襲撃は処理するけれど原裁判でない」ということは間違っているとすればその審議は危なっかしい fact9: あの銀行襲撃は原裁判であるしそれは責め殺す fact10: この大帝は推奨出来ない fact11: もしその審議は責め殺さないとすると「あの銀行襲撃は危なっかしいしかつそれは処理する」ということは誤りである fact12: 「その審議は膨潤性下剤で加えて処理する」ということは成り立たない fact13: もしもその審議が処理するならあの銀行襲撃は危なっかしい fact14: もし仮にこの大帝は推奨出来ないとすれば「その審議は膨潤性下剤だしさらに処理する」ということは嘘である fact15: 「この大帝は成り立てであるけれど同封しない」ということは偽である fact16: 「あの銀行襲撃は切ないけれど推奨出来るということはない」ということは成り立つということはない fact17: 仮に「その審議は膨潤性下剤だけれど処理しない」ということは誤っているとするとあの銀行襲撃は危なっかしい fact18: あの銀行襲撃はぱさつかない fact19: もしあの銀行襲撃は処理しないとしたら「その審議は危なっかしいしおまけに責め殺す」ということは成り立つということはない fact20: 「その審議は推奨出来るししかも処理する」ということは間違いである fact21: ある物が危なっかしいならば切ない fact22: この大帝が危なっかしいとしたらあの銀行襲撃は推奨出来る fact23: あの銀行襲撃は膨潤性下剤だ
fact6 & fact10 -> int1: 「その審議は膨潤性下剤だけれど処理しない」ということは偽だ; int1 & fact17 -> int2: あの銀行襲撃は危なっかしい; fact21 -> int3: もしあの銀行襲撃が危なっかしいならば切ない; int2 & int3 -> int4: あの銀行襲撃は切ない; fact9 -> int5: あの銀行襲撃は原裁判だ; int4 & int5 -> hypothesis;
「あの銀行襲撃は切ないしその上原裁判である」ということは事実と異なる
fact24 -> int6: もし「あの銀行襲撃は推奨出来ない」ということは真実であるとしたら「それは切ないし原裁判である」ということは嘘である; fact26 -> int7: もしあの銀行襲撃は成り立てだということはないとすれば「それは責め殺さないかあるいはそれは危なっかしくないかまたはどちらもだ」ということは誤っている; fact25 -> int8: 「「成り立てであるけど同封しない」ということは成り立たない」ものはある;
$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$ = 
fact6 & fact10 -> int1: 「その審議は膨潤性下剤だけれど処理しない」ということは偽だ; int1 & fact17 -> int2: あの銀行襲撃は危なっかしい; fact21 -> int3: もしあの銀行襲撃が危なっかしいならば切ない; int2 & int3 -> int4: あの銀行襲撃は切ない; fact9 -> int5: あの銀行襲撃は原裁判だ; int4 & int5 -> hypothesis; __PROVED__
事実1: もしも何らかの物は成り立てでないとしたら「責め殺さないかもしくは危なっかしくないか両方ともである」ということは偽だ
事実2: この大帝は切ない
事実3: もしもあの銀行襲撃は処理しないとすると「その審議は切ないがしかし危なっかしいということはない」ということは確かでない
事実4: その立法機関は危なっかしい
事実5: 「その審議は膨潤性下剤であるけど危なっかしいということはない」ということは偽だ
事実6: もしこの大帝は推奨出来ないならば「その審議は膨潤性下剤だがしかし処理しない」ということは誤りだ
事実7: もしも何かは推奨出来ないとすると「切ないし原裁判である」ということは本当であるということはない
事実8: 「あの銀行襲撃は処理するけれど原裁判でない」ということは間違っているとすればその審議は危なっかしい
事実9: あの銀行襲撃は原裁判であるしそれは責め殺す
事実10: この大帝は推奨出来ない
事実11: もしその審議は責め殺さないとすると「あの銀行襲撃は危なっかしいしかつそれは処理する」ということは誤りである
事実12: 「その審議は膨潤性下剤で加えて処理する」ということは成り立たない
事実13: もしもその審議が処理するならあの銀行襲撃は危なっかしい
事実14: もし仮にこの大帝は推奨出来ないとすれば「その審議は膨潤性下剤だしさらに処理する」ということは嘘である
事実15: 「この大帝は成り立てであるけれど同封しない」ということは偽である
事実16: 「あの銀行襲撃は切ないけれど推奨出来るということはない」ということは成り立つということはない
事実17: 仮に「その審議は膨潤性下剤だけれど処理しない」ということは誤っているとするとあの銀行襲撃は危なっかしい
事実18: あの銀行襲撃はぱさつかない
事実19: もしあの銀行襲撃は処理しないとしたら「その審議は危なっかしいしおまけに責め殺す」ということは成り立つということはない
事実20: 「その審議は推奨出来るししかも処理する」ということは間違いである
事実21: ある物が危なっかしいならば切ない
事実22: この大帝が危なっかしいとしたらあの銀行襲撃は推奨出来る
事実23: あの銀行襲撃は膨潤性下剤だ

仮説: あの銀行襲撃は切ないし加えて原裁判だ
1. 事実6と事実10から、推論1: "「その審議は膨潤性下剤だけれど処理しない」ということは偽だ"が導かれる
2. 推論1と事実17から、推論2: "あの銀行襲撃は危なっかしい"が導かれる
3. 事実21から、推論3: "もしあの銀行襲撃が危なっかしいならば切ない"が導かれる
4. 推論2と推論3から、推論4: "あの銀行襲撃は切ない"が導かれる
5. 事実9から、推論5: "あの銀行襲撃は原裁判だ"が導かれる
6. 推論4と推論5から、仮説が導かれる

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