その武装蜂起は優しくないししかも減価償却しない
fact1: もし仮にその忠君がむさくるしいししかも費用節減だとするとその武装蜂起は優しくない fact2: その武装蜂起は引き籠もらなくて加えてむさくるしくない fact3: あらゆるものは遠回りする fact4: この河越城は費用節減でない fact5: あのハイキング・コースは嵌めないとすれば「この本件契約締結はめんどくないけど理想化する」ということは成り立たない fact6: この合格ラインは麻痺しないししかも訃報でない fact7: このシューは費用節減である fact8: もし仮にあるものがむさくるしくないならその忠君は優しくない fact9: もしも「最大幅でない」物があるならその忠君はむさくるしくない fact10: 何かはＴ型ＣＡでない fact11: もしその忠君が理想化しないならばその武装蜂起がＴ型ＣＡだしおまけにそれは間違え易い fact12: もしも「乗り掛かるということはない」物があるとすればあの忠君は非常災害でない fact13: その忠君は費用節減だ fact14: そのＮＥＳＩＳは減価償却しない fact15: なにかは遠回りすれば「それはガソリン代でないし加えて嵌めない」ということは成り立たない fact16: もしその忠君が減価償却するし費用節減であるとしたらその武装蜂起はむさくるしくない fact17: あの大汗は優しくないし加えてそれは後楽園能舞台であるということはない fact18: もし仮に「この凸レンズはガソリン代でないしさらにそれは嵌めない」ということは偽であるならあのハイキング・コースは嵌めない fact19: その忠君はむさくるしい fact20: 「Ｔ型ＣＡである」ものはある fact21: もしその武装蜂起がむさくるしいしその上それが減価償却するならその忠君は費用節減でない fact22: もしも「「「めんどくないけれど理想化する」ということは成り立たない」物はある」ということは嘘でないとすればその忠君は理想化しない fact23: その忠君は順応するし更にそれは緩い fact24: その忠君は少数点以下でないしそれは減価償却しない fact25: もしも「Ｔ型ＣＡでない」物があるとしたらその武装蜂起は減価償却するということはない
fact19 & fact13 -> int1: その忠君はむさくるしいしそれに費用節減である; int1 & fact1 -> int2: 「その武装蜂起は優しくない」ということは成り立つ; fact25 & fact10 -> int3: その武装蜂起は減価償却しない; int2 & int3 -> hypothesis;
fact19 & fact13 -> int1: ({A}{a} & {B}{a}); int1 & fact1 -> int2: ¬{C}{b}; fact25 & fact10 -> int3: ¬{D}{b}; int2 & int3 -> hypothesis;
「その武装蜂起は優しいということはないししかも減価償却するということはない」ということは偽だ
fact26 -> int4: もしもこの玉鋼は遠回りするとしたら「それはガソリン代でなくてその上嵌めない」ということは嘘だ; fact27 -> int5: この玉鋼は遠回りする; int4 & int5 -> int6: 「この玉鋼はガソリン代でなくて加えてそれは嵌めない」ということは間違いだ; int6 -> int7: ガソリン代でないしおまけに嵌めないという物はない; int7 -> int8: 「この凸レンズはガソリン代でないし加えて嵌めない」ということは真実でない; int8 & fact31 -> int9: 「あのハイキング・コースは嵌めない」ということは正しい; int9 & fact30 -> int10: 「この本件契約締結はめんどいということはないけど理想化する」ということは成り立たない; int10 -> int11: 「「めんどくないしさらに理想化する」ということは正しくない」ものはある; int11 & fact29 -> int12: その忠君は理想化しない; int12 & fact28 -> int13: その武装蜂起はＴ型ＣＡであるしそれに間違え易い; int13 -> int14: その武装蜂起はＴ型ＣＡである;
$facts$ = fact1: もし仮にその忠君がむさくるしいししかも費用節減だとするとその武装蜂起は優しくない fact2: その武装蜂起は引き籠もらなくて加えてむさくるしくない fact3: あらゆるものは遠回りする fact4: この河越城は費用節減でない fact5: あのハイキング・コースは嵌めないとすれば「この本件契約締結はめんどくないけど理想化する」ということは成り立たない fact6: この合格ラインは麻痺しないししかも訃報でない fact7: このシューは費用節減である fact8: もし仮にあるものがむさくるしくないならその忠君は優しくない fact9: もしも「最大幅でない」物があるならその忠君はむさくるしくない fact10: 何かはＴ型ＣＡでない fact11: もしその忠君が理想化しないならばその武装蜂起がＴ型ＣＡだしおまけにそれは間違え易い fact12: もしも「乗り掛かるということはない」物があるとすればあの忠君は非常災害でない fact13: その忠君は費用節減だ fact14: そのＮＥＳＩＳは減価償却しない fact15: なにかは遠回りすれば「それはガソリン代でないし加えて嵌めない」ということは成り立たない fact16: もしその忠君が減価償却するし費用節減であるとしたらその武装蜂起はむさくるしくない fact17: あの大汗は優しくないし加えてそれは後楽園能舞台であるということはない fact18: もし仮に「この凸レンズはガソリン代でないしさらにそれは嵌めない」ということは偽であるならあのハイキング・コースは嵌めない fact19: その忠君はむさくるしい fact20: 「Ｔ型ＣＡである」ものはある fact21: もしその武装蜂起がむさくるしいしその上それが減価償却するならその忠君は費用節減でない fact22: もしも「「「めんどくないけれど理想化する」ということは成り立たない」物はある」ということは嘘でないとすればその忠君は理想化しない fact23: その忠君は順応するし更にそれは緩い fact24: その忠君は少数点以下でないしそれは減価償却しない fact25: もしも「Ｔ型ＣＡでない」物があるとしたらその武装蜂起は減価償却するということはない ; $hypothesis$ = その武装蜂起は優しくないししかも減価償却しない ; $proof$ = 
fact19 & fact13 -> int1: その忠君はむさくるしいしそれに費用節減である; int1 & fact1 -> int2: 「その武装蜂起は優しくない」ということは成り立つ; fact25 & fact10 -> int3: その武装蜂起は減価償却しない; int2 & int3 -> 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: その忠君は順応するし更にそれは緩い
事実24: その忠君は少数点以下でないしそれは減価償却しない
事実25: もしも「Ｔ型ＣＡでない」物があるとしたらその武装蜂起は減価償却するということはない

仮説: その武装蜂起は優しくないししかも減価償却しない
1. 事実19と事実13から、推論1: "その忠君はむさくるしいしそれに費用節減である"が導かれる
2. 推論1と事実1から、推論2: "「その武装蜂起は優しくない」ということは成り立つ"が導かれる
3. 事実25と事実10から、推論3: "その武装蜂起は減価償却しない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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