「もし「財産的基礎であるということはない」ということは偽だとしたら有らないし保護剤でない」物はある
fact1: あの病後は有るけれど保護剤でない fact2: もしもあの病後はトルコ式であるならば弱しないし凝縮温度でない fact3: 「もしも財産的基礎だとすると有るけれど保護剤でない」ものはある fact4: もし仮にとあるものは自由競争下であるならそれは弱しない fact5: 「仮に財産的基礎であるなら「保護剤でない」ということは成り立つ」物はある fact6: もし仮にあの病後が財産的基礎だとしたらそれは保護剤でない fact7: 「あの病後は保護剤でない」ということは成り立つ fact8: もしあの病後が財産的基礎だとすれば自由競争下だ fact9: 仮に「あの病後は懐こい」ということは正しいとしたら難くない fact10: 「もし仮に「財産的基礎である」ということは成り立てば有らないし保護剤である」物はある fact11: この太平洋艦隊は保護剤でない fact12: 「あの病後は術部である」ということは成り立つ fact13: もしもあの病後が財産的基礎であるとすれば有るしその上保護剤でない fact14: 「もし仮に認知レベルであるとすれば「アルキルだということはないしその上難いということはない」ということは成り立つ」物はある fact15: 「もし仮に順応し易いとすると掴み易くないし加えて動転しない」ものはある fact16: 「もしドッキングするとすれば落着しなくてしかも四性でない」物はある fact17: 「もし仮にあの病後が弱しということはないならあの病後は保護剤でない」ということは真実だ fact18: 仮に「あの病後は弱しということはない」ということは成り立つとしたら有るしかつ保護剤でない fact19: 仮にあの病後が自由競争下だということはないならば安定成長でないしそれにそれはウイルスベクターであるということはない fact20: 「仮に財産的基礎であるとすれば有らない」ものはある fact21: もしもあの病後が弱しということはないとすれば有らないしまた保護剤でない
void -> assump1: 以下のように仮定する。あの病後は財産的基礎だ; fact8 & assump1 -> int1: あの病後は自由競争下だ; fact4 -> int2: もしあの病後が自由競争下だとするとそれは弱しない; int1 & int2 -> int3: 「あの病後は弱しない」ということは事実だ; int3 & fact21 -> int4: あの病後は有らないしそれに保護剤でない; [assump1] & int4 -> int5: あの病後が財産的基礎だとすれば有らないしおまけに保護剤だということはない; int5 -> hypothesis;
$facts$ = fact1: あの病後は有るけれど保護剤でない fact2: もしもあの病後はトルコ式であるならば弱しないし凝縮温度でない fact3: 「もしも財産的基礎だとすると有るけれど保護剤でない」ものはある fact4: もし仮にとあるものは自由競争下であるならそれは弱しない fact5: 「仮に財産的基礎であるなら「保護剤でない」ということは成り立つ」物はある fact6: もし仮にあの病後が財産的基礎だとしたらそれは保護剤でない fact7: 「あの病後は保護剤でない」ということは成り立つ fact8: もしあの病後が財産的基礎だとすれば自由競争下だ fact9: 仮に「あの病後は懐こい」ということは正しいとしたら難くない fact10: 「もし仮に「財産的基礎である」ということは成り立てば有らないし保護剤である」物はある fact11: この太平洋艦隊は保護剤でない fact12: 「あの病後は術部である」ということは成り立つ fact13: もしもあの病後が財産的基礎であるとすれば有るしその上保護剤でない fact14: 「もし仮に認知レベルであるとすれば「アルキルだということはないしその上難いということはない」ということは成り立つ」物はある fact15: 「もし仮に順応し易いとすると掴み易くないし加えて動転しない」ものはある fact16: 「もしドッキングするとすれば落着しなくてしかも四性でない」物はある fact17: 「もし仮にあの病後が弱しということはないならあの病後は保護剤でない」ということは真実だ fact18: 仮に「あの病後は弱しということはない」ということは成り立つとしたら有るしかつ保護剤でない fact19: 仮にあの病後が自由競争下だということはないならば安定成長でないしそれにそれはウイルスベクターであるということはない fact20: 「仮に財産的基礎であるとすれば有らない」ものはある fact21: もしもあの病後が弱しということはないとすれば有らないしまた保護剤でない ; $hypothesis$ = 「もし「財産的基礎であるということはない」ということは偽だとしたら有らないし保護剤でない」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの病後は財産的基礎だ; fact8 & assump1 -> int1: あの病後は自由競争下だ; fact4 -> int2: もしあの病後が自由競争下だとするとそれは弱しない; int1 & int2 -> int3: 「あの病後は弱しない」ということは事実だ; int3 & fact21 -> int4: あの病後は有らないしそれに保護剤でない; [assump1] & int4 -> int5: あの病後が財産的基礎だとすれば有らないしおまけに保護剤だということはない; int5 -> hypothesis; __PROVED__
事実1: あの病後は有るけれど保護剤でない
事実2: もしもあの病後はトルコ式であるならば弱しないし凝縮温度でない
事実3: 「もしも財産的基礎だとすると有るけれど保護剤でない」ものはある
事実4: もし仮にとあるものは自由競争下であるならそれは弱しない
事実5: 「仮に財産的基礎であるなら「保護剤でない」ということは成り立つ」物はある
事実6: もし仮にあの病後が財産的基礎だとしたらそれは保護剤でない
事実7: 「あの病後は保護剤でない」ということは成り立つ
事実8: もしあの病後が財産的基礎だとすれば自由競争下だ
事実9: 仮に「あの病後は懐こい」ということは正しいとしたら難くない
事実10: 「もし仮に「財産的基礎である」ということは成り立てば有らないし保護剤である」物はある
事実11: この太平洋艦隊は保護剤でない
事実12: 「あの病後は術部である」ということは成り立つ
事実13: もしもあの病後が財産的基礎であるとすれば有るしその上保護剤でない
事実14: 「もし仮に認知レベルであるとすれば「アルキルだということはないしその上難いということはない」ということは成り立つ」物はある
事実15: 「もし仮に順応し易いとすると掴み易くないし加えて動転しない」ものはある
事実16: 「もしドッキングするとすれば落着しなくてしかも四性でない」物はある
事実17: 「もし仮にあの病後が弱しということはないならあの病後は保護剤でない」ということは真実だ
事実18: 仮に「あの病後は弱しということはない」ということは成り立つとしたら有るしかつ保護剤でない
事実19: 仮にあの病後が自由競争下だということはないならば安定成長でないしそれにそれはウイルスベクターであるということはない
事実20: 「仮に財産的基礎であるとすれば有らない」ものはある
事実21: もしもあの病後が弱しということはないとすれば有らないしまた保護剤でない

仮説: 「もし「財産的基礎であるということはない」ということは偽だとしたら有らないし保護剤でない」物はある
1. 仮定1: 以下のように仮定する。あの病後は財産的基礎だ
2. 事実8と仮定1から、推論1: "あの病後は自由競争下だ"が導かれる
3. 事実4から、推論2: "もしあの病後が自由競争下だとするとそれは弱しない"が導かれる
4. 推論1と推論2から、推論3: "「あの病後は弱しない」ということは事実だ"が導かれる
5. 推論3と事実21から、推論4: "あの病後は有らないしそれに保護剤でない"が導かれる
6. [仮定1]と推論4から、推論5: "あの病後が財産的基礎だとすれば有らないしおまけに保護剤だということはない"が導かれる
7. 推論5から、仮説が導かれる

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