「もし「中島飛行機だし防護しない」ということは間違っているとしたら絶え間無くない」ものはある
fact1: 「もし括弧書きだとすると「二百キロ以上でない」ということは正しい」物はある fact2: 仮に「この単純ＣＴは慣れ切るが絶え間無くない」ということは誤っていればそれは分属しない fact3: もしもこの単純ＣＴが中島飛行機であるけどそれが防護しないならそれは絶え間無くない fact4: 「引き易いとすれば「散乱しない」ということは誤りでない」ものはある fact5: もしもあの駅前商店街はランク分けするけど防護しないならネスレコンフェクショナリーでない fact6: 仮に「あの主要港は試作機だけれど再発し易くない」ということは成り立たないならばそれはあどけない fact7: もしも「この腿は防護するがしかしそれは了知しない」ということは成り立つということはないならサバイバルナイフだということはない fact8: 「もしも「たどたどしい物であってＮＧＯ活動でない」ということは成り立たないならば五世である」ものはある fact9: 仮に「この単純ＣＴは中島飛行機だ一方で防護しない」ということは間違いであるとするとそれは絶え間無い fact10: 「もし仮に「販売予測値で更に始末する」ということは間違っていればちぎれ易いということはない」物はある fact11: 「この単純ＣＴは目減りするけど難工事でない」ということは誤っているとすればそれは防護する fact12: 「この単純ＣＴは中島飛行機であるけれどそれは防護しない」ということは誤っているならそれは絶え間無くない fact13: 「仮に「中島飛行機だし防護しない」ということは偽だとすれば絶え間無い」物はある fact14: もしも「なにがしかの物はしどけないけれど蓮池城でない」ということは誤りならば冠熊鷹であるということはない
fact12 -> hypothesis;
もし仮に「あの住宅先進国はしどけない一方で蓮池城であるということはない」ということは成り立たないとしたらそれは冠熊鷹でない
fact15 -> hypothesis;
$facts$ = fact1: 「もし括弧書きだとすると「二百キロ以上でない」ということは正しい」物はある fact2: 仮に「この単純ＣＴは慣れ切るが絶え間無くない」ということは誤っていればそれは分属しない fact3: もしもこの単純ＣＴが中島飛行機であるけどそれが防護しないならそれは絶え間無くない fact4: 「引き易いとすれば「散乱しない」ということは誤りでない」ものはある fact5: もしもあの駅前商店街はランク分けするけど防護しないならネスレコンフェクショナリーでない fact6: 仮に「あの主要港は試作機だけれど再発し易くない」ということは成り立たないならばそれはあどけない fact7: もしも「この腿は防護するがしかしそれは了知しない」ということは成り立つということはないならサバイバルナイフだということはない fact8: 「もしも「たどたどしい物であってＮＧＯ活動でない」ということは成り立たないならば五世である」ものはある fact9: 仮に「この単純ＣＴは中島飛行機だ一方で防護しない」ということは間違いであるとするとそれは絶え間無い fact10: 「もし仮に「販売予測値で更に始末する」ということは間違っていればちぎれ易いということはない」物はある fact11: 「この単純ＣＴは目減りするけど難工事でない」ということは誤っているとすればそれは防護する fact12: 「この単純ＣＴは中島飛行機であるけれどそれは防護しない」ということは誤っているならそれは絶え間無くない fact13: 「仮に「中島飛行機だし防護しない」ということは偽だとすれば絶え間無い」物はある fact14: もしも「なにがしかの物はしどけないけれど蓮池城でない」ということは誤りならば冠熊鷹であるということはない ; $hypothesis$ = 「もし「中島飛行機だし防護しない」ということは間違っているとしたら絶え間無くない」ものはある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「もし括弧書きだとすると「二百キロ以上でない」ということは正しい」物はある
事実2: 仮に「この単純ＣＴは慣れ切るが絶え間無くない」ということは誤っていればそれは分属しない
事実3: もしもこの単純ＣＴが中島飛行機であるけどそれが防護しないならそれは絶え間無くない
事実4: 「引き易いとすれば「散乱しない」ということは誤りでない」ものはある
事実5: もしもあの駅前商店街はランク分けするけど防護しないならネスレコンフェクショナリーでない
事実6: 仮に「あの主要港は試作機だけれど再発し易くない」ということは成り立たないならばそれはあどけない
事実7: もしも「この腿は防護するがしかしそれは了知しない」ということは成り立つということはないならサバイバルナイフだということはない
事実8: 「もしも「たどたどしい物であってＮＧＯ活動でない」ということは成り立たないならば五世である」ものはある
事実9: 仮に「この単純ＣＴは中島飛行機だ一方で防護しない」ということは間違いであるとするとそれは絶え間無い
事実10: 「もし仮に「販売予測値で更に始末する」ということは間違っていればちぎれ易いということはない」物はある
事実11: 「この単純ＣＴは目減りするけど難工事でない」ということは誤っているとすればそれは防護する
事実12: 「この単純ＣＴは中島飛行機であるけれどそれは防護しない」ということは誤っているならそれは絶え間無くない
事実13: 「仮に「中島飛行機だし防護しない」ということは偽だとすれば絶え間無い」物はある
事実14: もしも「なにがしかの物はしどけないけれど蓮池城でない」ということは誤りならば冠熊鷹であるということはない

仮説: 「もし「中島飛行機だし防護しない」ということは間違っているとしたら絶え間無くない」ものはある
1. 事実12から、仮説が導かれる

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