「「だらし無いが重たくない」ということは成り立たない」ものはある
fact1: だらし無いししかも重たくない物はない fact2: もしも「あるものは燃やし続けないが庇護する」ということは間違いならそれは庇護しない fact3: 仮にこのＤＮＳ．Ａ．ｃｏｍはイメージアップであるなら「その発情期は共有する一方で重たくない」ということは成り立たない fact4: もし仮にとあるものは取り消し原因であるなら「燃やし続けるということはないけれど庇護する」ということは正しくない fact5: 「その発情期はだらし無いけれど交尾むない」ということは誤りである fact6: もしも何らかのものが運送であるということはないとしたらあの外貨建て債権債務が換金するしその上それは中枢神経抑制薬である fact7: 仮にある物がかわゆいとしたらイメージアップである fact8: 「その発情期はだらし無くて重たい」ということは成り立たない fact9: 「言語習得研究で審究する」ということは成り立つというものはない fact10: もしなにかは庇護するということはないとするとかわゆいかもしくは開き為さるかまたは両方ともだ fact11: 「運送でない」物はある fact12: もし「その造作は双体道祖神だけれど取り消し原因でない」ということは誤っているとすればあのＤＮＳ．Ａ．ｃｏｍは取り消し原因だ fact13: だらし無いしそれに重たいものはない fact14: 仮にあの外貨建て債権債務は換金するとすれば「その造作は双体道祖神であるが取り消し原因でない」ということは成り立たない
fact1 -> int1: 「その発情期はだらし無いけれど重たくない」ということは誤りだ; int1 -> hypothesis;
「その発情期は共有するがしかし重たくない」ということは成り立たない
fact18 -> int2: もしこのＤＮＳ．Ａ．ｃｏｍが庇護しないとすればそれはかわゆいか開き為さるか両方である; fact19 -> int3: もし「このＤＮＳ．Ａ．ｃｏｍは燃やし続けないがそれは庇護する」ということは誤りだとするとそれは庇護しない; fact16 -> int4: 「このＤＮＳ．Ａ．ｃｏｍは取り消し原因である」ということは本当なら「それは燃やし続けないけれど庇護する」ということは間違いだ; fact15 & fact20 -> int5: あの外貨建て債権債務は換金するしかつ中枢神経抑制薬である; int5 -> int6: あの外貨建て債権債務は換金する; fact22 & int6 -> int7: 「「その造作は双体道祖神だが取り消し原因であるということはない」ということは成り立たない」ということは成り立つ; fact21 & int7 -> int8: このＤＮＳ．Ａ．ｃｏｍは取り消し原因である; int4 & int8 -> int9: 「このＤＮＳ．Ａ．ｃｏｍは燃やし続けないがしかしそれは庇護する」ということは偽である; int3 & int9 -> int10: 「このＤＮＳ．Ａ．ｃｏｍは庇護しない」ということは真実だ; int2 & int10 -> int11: このＤＮＳ．Ａ．ｃｏｍはかわゆいか開き為さるかもしくはどちらもである; fact17 -> int12: もしこのＤＮＳ．Ａ．ｃｏｍはかわゆいとすると「それはイメージアップである」ということは本当である;
$facts$ = fact1: だらし無いししかも重たくない物はない fact2: もしも「あるものは燃やし続けないが庇護する」ということは間違いならそれは庇護しない fact3: 仮にこのＤＮＳ．Ａ．ｃｏｍはイメージアップであるなら「その発情期は共有する一方で重たくない」ということは成り立たない fact4: もし仮にとあるものは取り消し原因であるなら「燃やし続けるということはないけれど庇護する」ということは正しくない fact5: 「その発情期はだらし無いけれど交尾むない」ということは誤りである fact6: もしも何らかのものが運送であるということはないとしたらあの外貨建て債権債務が換金するしその上それは中枢神経抑制薬である fact7: 仮にある物がかわゆいとしたらイメージアップである fact8: 「その発情期はだらし無くて重たい」ということは成り立たない fact9: 「言語習得研究で審究する」ということは成り立つというものはない fact10: もしなにかは庇護するということはないとするとかわゆいかもしくは開き為さるかまたは両方ともだ fact11: 「運送でない」物はある fact12: もし「その造作は双体道祖神だけれど取り消し原因でない」ということは誤っているとすればあのＤＮＳ．Ａ．ｃｏｍは取り消し原因だ fact13: だらし無いしそれに重たいものはない fact14: 仮にあの外貨建て債権債務は換金するとすれば「その造作は双体道祖神であるが取り消し原因でない」ということは成り立たない ; $hypothesis$ = 「「だらし無いが重たくない」ということは成り立たない」ものはある ; $proof$ = 
fact1 -> int1: 「その発情期はだらし無いけれど重たくない」ということは誤りだ; int1 -> hypothesis; __PROVED__
事実1: だらし無いししかも重たくない物はない
事実2: もしも「あるものは燃やし続けないが庇護する」ということは間違いならそれは庇護しない
事実3: 仮にこのＤＮＳ．Ａ．ｃｏｍはイメージアップであるなら「その発情期は共有する一方で重たくない」ということは成り立たない
事実4: もし仮にとあるものは取り消し原因であるなら「燃やし続けるということはないけれど庇護する」ということは正しくない
事実5: 「その発情期はだらし無いけれど交尾むない」ということは誤りである
事実6: もしも何らかのものが運送であるということはないとしたらあの外貨建て債権債務が換金するしその上それは中枢神経抑制薬である
事実7: 仮にある物がかわゆいとしたらイメージアップである
事実8: 「その発情期はだらし無くて重たい」ということは成り立たない
事実9: 「言語習得研究で審究する」ということは成り立つというものはない
事実10: もしなにかは庇護するということはないとするとかわゆいかもしくは開き為さるかまたは両方ともだ
事実11: 「運送でない」物はある
事実12: もし「その造作は双体道祖神だけれど取り消し原因でない」ということは誤っているとすればあのＤＮＳ．Ａ．ｃｏｍは取り消し原因だ
事実13: だらし無いしそれに重たいものはない
事実14: 仮にあの外貨建て債権債務は換金するとすれば「その造作は双体道祖神であるが取り消し原因でない」ということは成り立たない

仮説: 「「だらし無いが重たくない」ということは成り立たない」ものはある
1. 事実1から、推論1: "「その発情期はだらし無いけれど重たくない」ということは誤りだ"が導かれる
2. 推論1から、仮説が導かれる

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