「もしも別種だとすれば「協調路線でないけれど抽出する」ということは成り立たない」ものはある
fact1: この比例関係は協調路線であるということはない fact2: もし仮に「とある物は動脈血酸素分圧でないけれど制度的存在だ」ということは成り立たないとするとそれは制度的存在であるということはない fact3: 仮にその証券等が制度的存在でないならこの比例関係は持続期間であるということはないし別種でない fact4: もしもこの比例関係は協調路線でないけれど抽出すればそれは別種でない fact5: 仮に「その竜紋切手は焦り出さないけど分かつ」ということは確かであるとすれば儚くない fact6: あの二．五ＯＺは真面目くさる fact7: もしもこの比例関係が別種ならばそれは協調路線でないが抽出する fact8: 「あのＩＰＡＱは重たくないししかもディスプレイしない」ということは間違っているとするとそれはすばしこくない fact9: もし仮にこの比例関係は持続期間でなくてそれに別種でないとすれば「あの生年は持続期間でない」ということは成り立つ fact10: 「組織すとすると「常態化しないけれど弾き続ける」ということは成り立たない」ものはある fact11: もし仮にこの比例関係は協調路線であるということはないがしかし抽出するとすると「別種だ」ということは成り立つ fact12: なにがしかのものはフェニールアラニンだということはないかあるいはすばしこくないかまたは両方ともであるとしたらそれはフェニールアラニンでない fact13: 「「真面目くさる」ということは成り立つ」ものはあるなら「あのＩＰＡＱは重たくなくてまたそれはディスプレイしない」ということは成り立たない fact14: とあるものはフェニールアラニンでないとしたら「それは動脈血酸素分圧でないし制度的存在だ」ということは間違っている
void -> assump1: 以下のように仮定する。この比例関係は協調路線でない一方でそれは抽出する; fact4 & assump1 -> int1: この比例関係は別種でない; void -> assump2: 以下のように仮定する。この比例関係は別種である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この比例関係は協調路線でない一方で抽出する」ということは間違いである; [assump2] & int3 -> int4: もしこの比例関係は別種であるなら「協調路線でないがしかし抽出する」ということは成り立たない; int4 -> hypothesis;
あの生年は持続期間でない
fact15 -> int5: もしも「その証券等は動脈血酸素分圧でないがしかし制度的存在である」ということは誤りであるとすれば制度的存在でない; fact16 -> int6: もし仮に「その証券等はフェニールアラニンでない」ということは本当であるならば「それは動脈血酸素分圧でないし制度的存在である」ということは間違っている; fact18 -> int7: もし仮にその証券等がフェニールアラニンでないかまたはすばしこくないかもしくはどちらもであるならフェニールアラニンであるということはない; fact22 -> int8: 「真面目くさる」物はある; int8 & fact21 -> int9: 「あのＩＰＡＱが重たくないしさらにそれはディスプレイしない」ということは間違いだ; fact17 & int9 -> int10: あのＩＰＡＱはすばしこいということはない; int10 -> int11: すばしこくないものはある;
$facts$ = fact1: この比例関係は協調路線であるということはない fact2: もし仮に「とある物は動脈血酸素分圧でないけれど制度的存在だ」ということは成り立たないとするとそれは制度的存在であるということはない fact3: 仮にその証券等が制度的存在でないならこの比例関係は持続期間であるということはないし別種でない fact4: もしもこの比例関係は協調路線でないけれど抽出すればそれは別種でない fact5: 仮に「その竜紋切手は焦り出さないけど分かつ」ということは確かであるとすれば儚くない fact6: あの二．五ＯＺは真面目くさる fact7: もしもこの比例関係が別種ならばそれは協調路線でないが抽出する fact8: 「あのＩＰＡＱは重たくないししかもディスプレイしない」ということは間違っているとするとそれはすばしこくない fact9: もし仮にこの比例関係は持続期間でなくてそれに別種でないとすれば「あの生年は持続期間でない」ということは成り立つ fact10: 「組織すとすると「常態化しないけれど弾き続ける」ということは成り立たない」ものはある fact11: もし仮にこの比例関係は協調路線であるということはないがしかし抽出するとすると「別種だ」ということは成り立つ fact12: なにがしかのものはフェニールアラニンだということはないかあるいはすばしこくないかまたは両方ともであるとしたらそれはフェニールアラニンでない fact13: 「「真面目くさる」ということは成り立つ」ものはあるなら「あのＩＰＡＱは重たくなくてまたそれはディスプレイしない」ということは成り立たない fact14: とあるものはフェニールアラニンでないとしたら「それは動脈血酸素分圧でないし制度的存在だ」ということは間違っている ; $hypothesis$ = 「もしも別種だとすれば「協調路線でないけれど抽出する」ということは成り立たない」ものはある ; $proof$ = 
void -> assump1: 以下のように仮定する。この比例関係は協調路線でない一方でそれは抽出する; fact4 & assump1 -> int1: この比例関係は別種でない; void -> assump2: 以下のように仮定する。この比例関係は別種である; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この比例関係は協調路線でない一方で抽出する」ということは間違いである; [assump2] & int3 -> int4: もしこの比例関係は別種であるなら「協調路線でないがしかし抽出する」ということは成り立たない; int4 -> hypothesis; __PROVED__
事実1: この比例関係は協調路線であるということはない
事実2: もし仮に「とある物は動脈血酸素分圧でないけれど制度的存在だ」ということは成り立たないとするとそれは制度的存在であるということはない
事実3: 仮にその証券等が制度的存在でないならこの比例関係は持続期間であるということはないし別種でない
事実4: もしもこの比例関係は協調路線でないけれど抽出すればそれは別種でない
事実5: 仮に「その竜紋切手は焦り出さないけど分かつ」ということは確かであるとすれば儚くない
事実6: あの二．五ＯＺは真面目くさる
事実7: もしもこの比例関係が別種ならばそれは協調路線でないが抽出する
事実8: 「あのＩＰＡＱは重たくないししかもディスプレイしない」ということは間違っているとするとそれはすばしこくない
事実9: もし仮にこの比例関係は持続期間でなくてそれに別種でないとすれば「あの生年は持続期間でない」ということは成り立つ
事実10: 「組織すとすると「常態化しないけれど弾き続ける」ということは成り立たない」ものはある
事実11: もし仮にこの比例関係は協調路線であるということはないがしかし抽出するとすると「別種だ」ということは成り立つ
事実12: なにがしかのものはフェニールアラニンだということはないかあるいはすばしこくないかまたは両方ともであるとしたらそれはフェニールアラニンでない
事実13: 「「真面目くさる」ということは成り立つ」ものはあるなら「あのＩＰＡＱは重たくなくてまたそれはディスプレイしない」ということは成り立たない
事実14: とあるものはフェニールアラニンでないとしたら「それは動脈血酸素分圧でないし制度的存在だ」ということは間違っている

仮説: 「もしも別種だとすれば「協調路線でないけれど抽出する」ということは成り立たない」ものはある
1. 仮定1: 以下のように仮定する。この比例関係は協調路線でない一方でそれは抽出する
2. 事実4と仮定1から、推論1: "この比例関係は別種でない"が導かれる
3. 仮定2: 以下のように仮定する。この比例関係は別種である
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "「この比例関係は協調路線でない一方で抽出する」ということは間違いである"が導かれる
6. [仮定2]と推論3から、推論4: "もしこの比例関係は別種であるなら「協調路線でないがしかし抽出する」ということは成り立たない"が導かれる
7. 推論4から、仮説が導かれる

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