この兼ね合いは伸すし更にスペードだ
fact1: 「「俗曲で裨益する」ということは成り立たない」物はあるとすると「その刺客達は社会的企業である」ということは間違いである fact2: 仮に「この兼ね合いはアップグレードするということはないかまたはＩＴ特区だ」ということは成り立つということはないとしたら伸す fact3: 「「俗曲だしかつ裨益する」ということは間違いである」ものはある fact4: 「何らかの物は育て易くないしそれに登記するということはない」ということは成り立たないとすれば育て易い fact5: 馬寮はあれば「そのＶＰはアップグレードしなくてそれにそれはＩＴ特区でない」ということは嘘である fact6: その五十七年度は生かし合わない fact7: 何らかの物はどうして良くないならば「それは伸すしそれにスペードだ」ということは成り立たない fact8: もし仮にとある物は育て易いなら「スペードだ」ということは事実である fact9: なんらかのものはどうして良い fact10: この兼ね合いは育て易くて更にそれは馬寮だ fact11: あの障害者手帳が自発分極しないとするとその末永家は馬寮であるし政治的社会である fact12: もし仮にとある物はどうして良いなら「この兼ね合いはアップグレードしないかあるいはＩＴ特区でないかどちらもである」ということは成り立たない fact13: 仮に「そのＶＰはアップグレードしなくてＩＴ特区だということはない」ということは成り立たないとしたらあの不規則性はＩＴ特区だ fact14: 「もし仮に「その刺客達は青汁でないしそれにそれは暴虐でない」ということは成り立つということはないならばあの障害者手帳は自発分極しない」ということは事実だ fact15: 仮にこのミス・サウスが育て易いとすればあの不規則性はどうして良い fact16: 仮にその五十七年度が生かし合わないとすればこのＷＣＨＣは育て易いししかも跳ね上げる fact17: 仮にその刺客達は社会的企業でないとしたら「それは青汁でなくて更に暴虐でない」ということは成り立つということはない fact18: 仮にあの不規則性がＩＴ特区であるしさらにどうして良いならばこの兼ね合いはどうして良くない fact19: 「「ある物はアップグレードしないかまたはそれはＩＴ特区でない」ということは確かである」ということは事実でないとしたら伸す
fact9 & fact12 -> int1: 「この兼ね合いはアップグレードしないかあるいはそれはＩＴ特区であるということはないかまたは両方である」ということは嘘である; fact19 -> int2: 「この兼ね合いはアップグレードするということはないかあるいはそれはＩＴ特区であるということはないかもしくはどちらもだ」ということは間違いだとすると伸す; int1 & int2 -> int3: この兼ね合いは伸す; fact10 -> int4: この兼ね合いは育て易い; fact8 -> int5: もし仮にこの兼ね合いが育て易いとすればそれはスペードだ; int4 & int5 -> int6: この兼ね合いはスペードである; int3 & int6 -> hypothesis;
fact9 & fact12 -> int1: ¬(¬{B}{a} v ¬{C}{a}); fact19 -> int2: ¬(¬{B}{a} v ¬{C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; fact10 -> int4: {F}{a}; fact8 -> int5: {F}{a} -> {E}{a}; int4 & int5 -> int6: {E}{a}; int3 & int6 -> hypothesis;
「この兼ね合いは伸すしそれはスペードである」ということは誤っている
fact20 -> int7: もしこの兼ね合いはどうして良くないとすると「伸すしその上スペードだ」ということは成り立たない; fact26 & fact27 -> int8: その刺客達は社会的企業でない; fact21 & int8 -> int9: 「その刺客達は青汁であるということはなくてそれに暴虐でない」ということは偽だ; fact25 & int9 -> int10: あの障害者手帳は自発分極しない; fact30 & int10 -> int11: その末永家は馬寮であるしそれは政治的社会だ; int11 -> int12: その末永家は馬寮だ; int12 -> int13: 「「馬寮である」ということは成り立つ」物はある; int13 & fact28 -> int14: 「そのＶＰはアップグレードしなくてかつＩＴ特区であるということはない」ということは成り立たない; fact32 & int14 -> int15: 「あの不規則性はＩＴ特区だ」ということは事実だ; fact22 -> int16: もしも「「このミス・サウスは育て易くないし登記しない」ということは真実である」ということは誤っているなら育て易い; fact31 & fact24 -> int17: このＷＣＨＣは育て易くてそれに跳ね上げる; int17 -> int18: 「このＷＣＨＣは育て易い」ということは成り立つ; int18 -> int19: 「育て易い」物はある;
$facts$ = fact1: 「「俗曲で裨益する」ということは成り立たない」物はあるとすると「その刺客達は社会的企業である」ということは間違いである fact2: 仮に「この兼ね合いはアップグレードするということはないかまたはＩＴ特区だ」ということは成り立つということはないとしたら伸す fact3: 「「俗曲だしかつ裨益する」ということは間違いである」ものはある fact4: 「何らかの物は育て易くないしそれに登記するということはない」ということは成り立たないとすれば育て易い fact5: 馬寮はあれば「そのＶＰはアップグレードしなくてそれにそれはＩＴ特区でない」ということは嘘である fact6: その五十七年度は生かし合わない fact7: 何らかの物はどうして良くないならば「それは伸すしそれにスペードだ」ということは成り立たない fact8: もし仮にとある物は育て易いなら「スペードだ」ということは事実である fact9: なんらかのものはどうして良い fact10: この兼ね合いは育て易くて更にそれは馬寮だ fact11: あの障害者手帳が自発分極しないとするとその末永家は馬寮であるし政治的社会である fact12: もし仮にとある物はどうして良いなら「この兼ね合いはアップグレードしないかあるいはＩＴ特区でないかどちらもである」ということは成り立たない fact13: 仮に「そのＶＰはアップグレードしなくてＩＴ特区だということはない」ということは成り立たないとしたらあの不規則性はＩＴ特区だ fact14: 「もし仮に「その刺客達は青汁でないしそれにそれは暴虐でない」ということは成り立つということはないならばあの障害者手帳は自発分極しない」ということは事実だ fact15: 仮にこのミス・サウスが育て易いとすればあの不規則性はどうして良い fact16: 仮にその五十七年度が生かし合わないとすればこのＷＣＨＣは育て易いししかも跳ね上げる fact17: 仮にその刺客達は社会的企業でないとしたら「それは青汁でなくて更に暴虐でない」ということは成り立つということはない fact18: 仮にあの不規則性がＩＴ特区であるしさらにどうして良いならばこの兼ね合いはどうして良くない fact19: 「「ある物はアップグレードしないかまたはそれはＩＴ特区でない」ということは確かである」ということは事実でないとしたら伸す ; $hypothesis$ = この兼ね合いは伸すし更にスペードだ ; $proof$ = 
fact9 & fact12 -> int1: 「この兼ね合いはアップグレードしないかあるいはそれはＩＴ特区であるということはないかまたは両方である」ということは嘘である; fact19 -> int2: 「この兼ね合いはアップグレードするということはないかあるいはそれはＩＴ特区であるということはないかもしくはどちらもだ」ということは間違いだとすると伸す; int1 & int2 -> int3: この兼ね合いは伸す; fact10 -> int4: この兼ね合いは育て易い; fact8 -> int5: もし仮にこの兼ね合いが育て易いとすればそれはスペードだ; int4 & int5 -> int6: この兼ね合いはスペードである; int3 & int6 -> hypothesis; __PROVED__
事実1: 「「俗曲で裨益する」ということは成り立たない」物はあるとすると「その刺客達は社会的企業である」ということは間違いである
事実2: 仮に「この兼ね合いはアップグレードするということはないかまたはＩＴ特区だ」ということは成り立つということはないとしたら伸す
事実3: 「「俗曲だしかつ裨益する」ということは間違いである」ものはある
事実4: 「何らかの物は育て易くないしそれに登記するということはない」ということは成り立たないとすれば育て易い
事実5: 馬寮はあれば「そのＶＰはアップグレードしなくてそれにそれはＩＴ特区でない」ということは嘘である
事実6: その五十七年度は生かし合わない
事実7: 何らかの物はどうして良くないならば「それは伸すしそれにスペードだ」ということは成り立たない
事実8: もし仮にとある物は育て易いなら「スペードだ」ということは事実である
事実9: なんらかのものはどうして良い
事実10: この兼ね合いは育て易くて更にそれは馬寮だ
事実11: あの障害者手帳が自発分極しないとするとその末永家は馬寮であるし政治的社会である
事実12: もし仮にとある物はどうして良いなら「この兼ね合いはアップグレードしないかあるいはＩＴ特区でないかどちらもである」ということは成り立たない
事実13: 仮に「そのＶＰはアップグレードしなくてＩＴ特区だということはない」ということは成り立たないとしたらあの不規則性はＩＴ特区だ
事実14: 「もし仮に「その刺客達は青汁でないしそれにそれは暴虐でない」ということは成り立つということはないならばあの障害者手帳は自発分極しない」ということは事実だ
事実15: 仮にこのミス・サウスが育て易いとすればあの不規則性はどうして良い
事実16: 仮にその五十七年度が生かし合わないとすればこのＷＣＨＣは育て易いししかも跳ね上げる
事実17: 仮にその刺客達は社会的企業でないとしたら「それは青汁でなくて更に暴虐でない」ということは成り立つということはない
事実18: 仮にあの不規則性がＩＴ特区であるしさらにどうして良いならばこの兼ね合いはどうして良くない
事実19: 「「ある物はアップグレードしないかまたはそれはＩＴ特区でない」ということは確かである」ということは事実でないとしたら伸す

仮説: この兼ね合いは伸すし更にスペードだ
1. 事実9と事実12から、推論1: "「この兼ね合いはアップグレードしないかあるいはそれはＩＴ特区であるということはないかまたは両方である」ということは嘘である"が導かれる
2. 事実19から、推論2: "「この兼ね合いはアップグレードするということはないかあるいはそれはＩＴ特区であるということはないかもしくはどちらもだ」ということは間違いだとすると伸す"が導かれる
3. 推論1と推論2から、推論3: "この兼ね合いは伸す"が導かれる
4. 事実10から、推論4: "この兼ね合いは育て易い"が導かれる
5. 事実8から、推論5: "もし仮にこの兼ね合いが育て易いとすればそれはスペードだ"が導かれる
6. 推論4と推論5から、推論6: "この兼ね合いはスペードである"が導かれる
7. 推論3と推論6から、仮説が導かれる

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