「その銃座が商いするならあの法人税法施行令は急性間欠性ポルフィリン症でないけど今時である」ということは真実だ
fact1: もしもなにかは冬らしくないかあるいはそれが短絡路でないとするとあの地下は御化粧しない fact2: もしその滅諦が冬らしくないなら御化粧しないしかつそれは短絡路でない fact3: その滅諦は潜伏しない fact4: 言行録は装甲兵員輸送車である fact5: もしもあの法人税法施行令が長ずるとすれば冬らしくないかまたは短絡路でないかまたは両方ともだ fact6: その血染めが関知するならそれは短絡路である fact7: その滅諦が御化粧するということはないしそれにそれが短絡路でないとするとあの法人税法施行令は御化粧する fact8: その滅諦は冬らしくない fact9: もしあの法人税法施行令が曾爺でないし更に商いしないなら「その銃座は今時だ」ということは間違いである fact10: その滅諦は商いしない fact11: 仮に何らかの物が商いすれば曾爺でなくて更に興奮し過ぎない fact12: 何もかもは広ーくない fact13: もしもその銃座が興奮し過ぎるとしたらそれは准将である fact14: 仮になんらかの物が御化粧すれば今時だ fact15: 「その滅諦は回折しない」ということは事実だ fact16: その銃座が曾爺だということはなくて興奮し過ぎないとしたらあの法人税法施行令は急性間欠性ポルフィリン症でない fact17: あの法人税法施行令は冬らしい fact18: 仮にその銃座が興奮し過ぎるとすると商いしないしおまけに御化粧しない fact19: もしもとあるものは商いすれば「今時だ」ということは事実である fact20: もしも違は広ーくないなら「長ずる」ということは正しい fact21: 仮にあの法人税法施行令が御化粧するとすればあの滅諦は急性間欠性ポルフィリン症でないがしかし今時である fact22: すべての物は違だ fact23: その銃座は興奮し過ぎない
fact11 -> int1: 仮にその銃座が商いするならそれは曾爺でないしさらに興奮し過ぎない; void -> assump1: 以下のように仮定する。その銃座は商いする; int1 & assump1 -> int2: その銃座は曾爺でないし興奮し過ぎるということはない; int2 & fact16 -> int3: あの法人税法施行令は急性間欠性ポルフィリン症でない; fact14 -> int4: もしあの法人税法施行令が御化粧するとするとそれは今時である; fact2 & fact8 -> int5: その滅諦は御化粧しなくて加えて短絡路でない; int5 & fact7 -> int6: あの法人税法施行令は御化粧する; int4 & int6 -> int7: あの法人税法施行令は今時である; int3 & int7 -> int8: あの法人税法施行令は急性間欠性ポルフィリン症でないがそれは今時だ; [assump1] & int8 -> hypothesis;
あの地下は今時である
fact29 -> int9: もしもあの地下が商いすれば今時だ; fact25 -> int10: 仮にあの法人税法施行令は違であるけど広ーくないとしたら「それは長ずる」ということは事実である; fact26 -> int11: その滅諦は違である; fact28 -> int12: その滅諦は広ーくない; int11 & int12 -> int13: その滅諦は違である一方で広ーくない; int13 -> int14: 何もかもは違である一方で広ーくない; int14 -> int15: あの法人税法施行令は違だ一方で広ーくない; int10 & int15 -> int16: あの法人税法施行令は長ずる; fact24 & int16 -> int17: あの法人税法施行令は冬らしくないかもしくは短絡路でないかもしくは両方だ; int17 -> int18: 「冬らしいということはないかまたは短絡路でない」ものはある; int18 & fact27 -> int19: あの地下は御化粧しない;
$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 -> int1: 仮にその銃座が商いするならそれは曾爺でないしさらに興奮し過ぎない; void -> assump1: 以下のように仮定する。その銃座は商いする; int1 & assump1 -> int2: その銃座は曾爺でないし興奮し過ぎるということはない; int2 & fact16 -> int3: あの法人税法施行令は急性間欠性ポルフィリン症でない; fact14 -> int4: もしあの法人税法施行令が御化粧するとするとそれは今時である; fact2 & fact8 -> int5: その滅諦は御化粧しなくて加えて短絡路でない; int5 & fact7 -> int6: あの法人税法施行令は御化粧する; int4 & int6 -> int7: あの法人税法施行令は今時である; int3 & int7 -> int8: あの法人税法施行令は急性間欠性ポルフィリン症でないがそれは今時だ; [assump1] & int8 -> 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. 事実11から、推論1: "仮にその銃座が商いするならそれは曾爺でないしさらに興奮し過ぎない"が導かれる
2. 仮定1: 以下のように仮定する。その銃座は商いする
3. 推論1と仮定1から、推論2: "その銃座は曾爺でないし興奮し過ぎるということはない"が導かれる
4. 推論2と事実16から、推論3: "あの法人税法施行令は急性間欠性ポルフィリン症でない"が導かれる
5. 事実14から、推論4: "もしあの法人税法施行令が御化粧するとするとそれは今時である"が導かれる
6. 事実2と事実8から、推論5: "その滅諦は御化粧しなくて加えて短絡路でない"が導かれる
7. 推論5と事実7から、推論6: "あの法人税法施行令は御化粧する"が導かれる
8. 推論4と推論6から、推論7: "あの法人税法施行令は今時である"が導かれる
9. 推論3と推論7から、推論8: "あの法人税法施行令は急性間欠性ポルフィリン症でないがそれは今時だ"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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