「仮に「定電圧ＩＣだししかもぐらつく」ということは間違いだとすれば「邪魔臭くない」ということは成り立つ」ものはある
fact1: 「もし「定電圧ＩＣであるししかもぐらつく」ということは誤りであるとすれば邪魔臭い」ものはある fact2: 「あのノーベル賞委員会が平均勤続年数だしさらに定電圧ＩＣだ」ということは事実でないとすると文学青年だということはない fact3: 「「追走するしおまけに移動し易い」ということは真実であるということはないとすれば忝くない」物はある fact4: もしも「あの五目中手は要請するしそれは定電圧ＩＣだ」ということは間違っているならそれは死刑執行人でない fact5: 「もし仮に定電圧ＩＣであるし更にぐらつくなら邪魔臭くない」物はある fact6: 仮に「あの五目中手は定電圧ＩＣでその上ぐらつく」ということは成り立たないとすれば「それは邪魔臭くない」ということは成り立つ fact7: 仮に「あの五目中手は定電圧ＩＣだしぐらつく」ということは確かでないとすればそれは邪魔臭い fact8: もしも「とある物は出現し易くて忝い」ということは本当だということはないとすると決意しない fact9: もし仮にあの五目中手が定電圧ＩＣでないとすればそれは邪魔臭くない fact10: 「「もしぐらつかないとしたら邪魔臭いということはない」物はある」ということは成り立つ fact11: 「仮に「手伝うしさらに特別融資である」ということは成り立たないとしたら尤もらしいということはない」物はある fact12: もしも「そのウイルス性は移動し易くて御待ち下さる」ということは間違っているなら吊り下げない fact13: 仮に「あの五目中手は早世するしそれは分解され難い」ということは成り立たないとすると見違えない fact14: 仮に「あの五目中手は履き為さるしまた説法する」ということは間違っているとするとそれは邪魔臭くない fact15: 仮にあの五目中手は定電圧ＩＣであるしぐらつくとすると邪魔臭くない fact16: もし仮に「あの五目中手は邪魔臭いしまたそれは注入する」ということは嘘であるならばそれはＩＤでない fact17: 「定電圧ＩＣでないとすれば邪魔臭くない」ものはある
fact6 -> hypothesis;
「「出現し易いし忝い」ということは嘘なら「決意しない」ということは成り立つ」物はある
fact18 -> int1: 「「あのスムマは出現し易いしその上忝い」ということは成り立つ」ということは間違いならばそれは決意しない; int1 -> hypothesis;
$facts$ = fact1: 「もし「定電圧ＩＣであるししかもぐらつく」ということは誤りであるとすれば邪魔臭い」ものはある fact2: 「あのノーベル賞委員会が平均勤続年数だしさらに定電圧ＩＣだ」ということは事実でないとすると文学青年だということはない fact3: 「「追走するしおまけに移動し易い」ということは真実であるということはないとすれば忝くない」物はある fact4: もしも「あの五目中手は要請するしそれは定電圧ＩＣだ」ということは間違っているならそれは死刑執行人でない fact5: 「もし仮に定電圧ＩＣであるし更にぐらつくなら邪魔臭くない」物はある fact6: 仮に「あの五目中手は定電圧ＩＣでその上ぐらつく」ということは成り立たないとすれば「それは邪魔臭くない」ということは成り立つ fact7: 仮に「あの五目中手は定電圧ＩＣだしぐらつく」ということは確かでないとすればそれは邪魔臭い fact8: もしも「とある物は出現し易くて忝い」ということは本当だということはないとすると決意しない fact9: もし仮にあの五目中手が定電圧ＩＣでないとすればそれは邪魔臭くない fact10: 「「もしぐらつかないとしたら邪魔臭いということはない」物はある」ということは成り立つ fact11: 「仮に「手伝うしさらに特別融資である」ということは成り立たないとしたら尤もらしいということはない」物はある fact12: もしも「そのウイルス性は移動し易くて御待ち下さる」ということは間違っているなら吊り下げない fact13: 仮に「あの五目中手は早世するしそれは分解され難い」ということは成り立たないとすると見違えない fact14: 仮に「あの五目中手は履き為さるしまた説法する」ということは間違っているとするとそれは邪魔臭くない fact15: 仮にあの五目中手は定電圧ＩＣであるしぐらつくとすると邪魔臭くない fact16: もし仮に「あの五目中手は邪魔臭いしまたそれは注入する」ということは嘘であるならばそれはＩＤでない fact17: 「定電圧ＩＣでないとすれば邪魔臭くない」ものはある ; $hypothesis$ = 「仮に「定電圧ＩＣだししかもぐらつく」ということは間違いだとすれば「邪魔臭くない」ということは成り立つ」ものはある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「もし「定電圧ＩＣであるししかもぐらつく」ということは誤りであるとすれば邪魔臭い」ものはある
事実2: 「あのノーベル賞委員会が平均勤続年数だしさらに定電圧ＩＣだ」ということは事実でないとすると文学青年だということはない
事実3: 「「追走するしおまけに移動し易い」ということは真実であるということはないとすれば忝くない」物はある
事実4: もしも「あの五目中手は要請するしそれは定電圧ＩＣだ」ということは間違っているならそれは死刑執行人でない
事実5: 「もし仮に定電圧ＩＣであるし更にぐらつくなら邪魔臭くない」物はある
事実6: 仮に「あの五目中手は定電圧ＩＣでその上ぐらつく」ということは成り立たないとすれば「それは邪魔臭くない」ということは成り立つ
事実7: 仮に「あの五目中手は定電圧ＩＣだしぐらつく」ということは確かでないとすればそれは邪魔臭い
事実8: もしも「とある物は出現し易くて忝い」ということは本当だということはないとすると決意しない
事実9: もし仮にあの五目中手が定電圧ＩＣでないとすればそれは邪魔臭くない
事実10: 「「もしぐらつかないとしたら邪魔臭いということはない」物はある」ということは成り立つ
事実11: 「仮に「手伝うしさらに特別融資である」ということは成り立たないとしたら尤もらしいということはない」物はある
事実12: もしも「そのウイルス性は移動し易くて御待ち下さる」ということは間違っているなら吊り下げない
事実13: 仮に「あの五目中手は早世するしそれは分解され難い」ということは成り立たないとすると見違えない
事実14: 仮に「あの五目中手は履き為さるしまた説法する」ということは間違っているとするとそれは邪魔臭くない
事実15: 仮にあの五目中手は定電圧ＩＣであるしぐらつくとすると邪魔臭くない
事実16: もし仮に「あの五目中手は邪魔臭いしまたそれは注入する」ということは嘘であるならばそれはＩＤでない
事実17: 「定電圧ＩＣでないとすれば邪魔臭くない」ものはある

仮説: 「仮に「定電圧ＩＣだししかもぐらつく」ということは間違いだとすれば「邪魔臭くない」ということは成り立つ」ものはある
1. 事実6から、仮説が導かれる

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