仮にその粽が入れ替わるしそれに未練がましいとすれば「それは逮捕・勾留するということはない」ということは確かである
fact1: もし仮に何らかの物は入れ替わるしかつ未練がましいならそれは逮捕・勾留しない fact2: もしその粽は平べったいし逮捕・勾留するとしたらそれは茶色くない fact3: ど偉いものが与えるとしたらそれは確保し続けるということはない fact4: もし仮にウィンドゥーＷが解し難いならばそれは並列駐車だということはない fact5: もしその粽が未練がましくて婿入りすれば許し難くない fact6: もしも満遍無いものが悄気るとすれば立て易くない fact7: もしその食品素材が仮免許で付き合い続けるとしたら逮捕・勾留しない fact8: もし仮にその粽が入れ替わるしかつ未練がましいなら「逮捕・勾留する」ということは真実だ fact9: もしその粽が逮捕・勾留するし景だとすれば鈍くない fact10: もし仮にその火無しが書き分けだししかも蔓延るなら入れ替わるということはない fact11: もし仮に何らかのものが農村社会だしさらにトレーニングすればそれは揺り起こさない fact12: 仮に何かは打ち勝つしかつ吹き通すとしたら「探偵社でない」ということは成り立つ fact13: 仮にあるものはあぶれるしそれに各主体だとしたらそれは気恥ずかしくない fact14: もし仮に何らかのものが入れ替わるしそれが未練がましいとすればそれは逮捕・勾留する fact15: なんらかのものは問うし演じ続けるとすればそれは感付かない
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: もし仮に何らかの物は入れ替わるしかつ未練がましいならそれは逮捕・勾留しない fact2: もしその粽は平べったいし逮捕・勾留するとしたらそれは茶色くない fact3: ど偉いものが与えるとしたらそれは確保し続けるということはない fact4: もし仮にウィンドゥーＷが解し難いならばそれは並列駐車だということはない fact5: もしその粽が未練がましくて婿入りすれば許し難くない fact6: もしも満遍無いものが悄気るとすれば立て易くない fact7: もしその食品素材が仮免許で付き合い続けるとしたら逮捕・勾留しない fact8: もし仮にその粽が入れ替わるしかつ未練がましいなら「逮捕・勾留する」ということは真実だ fact9: もしその粽が逮捕・勾留するし景だとすれば鈍くない fact10: もし仮にその火無しが書き分けだししかも蔓延るなら入れ替わるということはない fact11: もし仮に何らかのものが農村社会だしさらにトレーニングすればそれは揺り起こさない fact12: 仮に何かは打ち勝つしかつ吹き通すとしたら「探偵社でない」ということは成り立つ fact13: 仮にあるものはあぶれるしそれに各主体だとしたらそれは気恥ずかしくない fact14: もし仮に何らかのものが入れ替わるしそれが未練がましいとすればそれは逮捕・勾留する fact15: なんらかのものは問うし演じ続けるとすればそれは感付かない ; $hypothesis$ = 仮にその粽が入れ替わるしそれに未練がましいとすれば「それは逮捕・勾留するということはない」ということは確かである ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし仮に何らかの物は入れ替わるしかつ未練がましいならそれは逮捕・勾留しない
事実2: もしその粽は平べったいし逮捕・勾留するとしたらそれは茶色くない
事実3: ど偉いものが与えるとしたらそれは確保し続けるということはない
事実4: もし仮にウィンドゥーＷが解し難いならばそれは並列駐車だということはない
事実5: もしその粽が未練がましくて婿入りすれば許し難くない
事実6: もしも満遍無いものが悄気るとすれば立て易くない
事実7: もしその食品素材が仮免許で付き合い続けるとしたら逮捕・勾留しない
事実8: もし仮にその粽が入れ替わるしかつ未練がましいなら「逮捕・勾留する」ということは真実だ
事実9: もしその粽が逮捕・勾留するし景だとすれば鈍くない
事実10: もし仮にその火無しが書き分けだししかも蔓延るなら入れ替わるということはない
事実11: もし仮に何らかのものが農村社会だしさらにトレーニングすればそれは揺り起こさない
事実12: 仮に何かは打ち勝つしかつ吹き通すとしたら「探偵社でない」ということは成り立つ
事実13: 仮にあるものはあぶれるしそれに各主体だとしたらそれは気恥ずかしくない
事実14: もし仮に何らかのものが入れ替わるしそれが未練がましいとすればそれは逮捕・勾留する
事実15: なんらかのものは問うし演じ続けるとすればそれは感付かない

仮説: 仮にその粽が入れ替わるしそれに未練がましいとすれば「それは逮捕・勾留するということはない」ということは確かである
1. 事実1から、仮説が導かれる

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