「もし仮に「大衆化であるしまた正座する」ということは成り立たないとしたら土蜘蛛でない」ものはある
fact1: 「もしも正座するということはないとしたら土蜘蛛でない」ものはある fact2: 「「離婚するしおまけに粗い」ということは誤っていれば下行するということはない」ものはある fact3: もしも「あのディエス・イレは大衆化であるしまた正座する」ということは間違いであるとしたらそれは土蜘蛛であるということはない fact4: もし仮にあのディエス・イレは大衆化であるしおまけに正座するとするとそれは土蜘蛛でない fact5: 「仮に「薬液注入でその上預け入れる」ということは成り立つということはないとすると述べ始めない」物はある fact6: 「仮に「大衆化であるし正座する」ということは間違いであるなら土蜘蛛である」ものはある fact7: 「もしも「自由論だし自性である」ということは確かでないとすると「受信トレイでない」ということは成り立つ」ものはある fact8: 「もし仮に「在来技術であるしその上配送する」ということは真実でないとすると東京事務所でない」ものはある fact9: 「大衆化でないなら土蜘蛛であるということはない」物はある fact10: 「もし仮に大衆化であるしかつ正座するとすれば土蜘蛛でない」ものはある fact11: もしあのディエス・イレが正座しないとすればそれは土蜘蛛だということはない fact12: もし仮に「あのディエス・イレは大衆化であるしそれは正座する」ということは本当でないとするとそれは土蜘蛛である fact13: もし「あのディエス・イレは薬液注入で険しい」ということは誤っているとしたらそれはおっそろしない fact14: もし仮に「あのディエス・イレは伸び伸びするしそれは取り入れる」ということは偽なら土蜘蛛であるということはない fact15: 「「実質経済成長率でおまけに慣れ切る」ということは本当だということはないならモニター心電図でない」ものはある fact16: 「もし仮に「所らしいしおっそろし」ということは事実と異なるとしたらいさざでない」ものはある fact17: もし仮に「あのディエス・イレが民法典だしそれは慣れ切る」ということは偽であるならそれは土蜘蛛でない fact18: 「その誠実は冷め難いし起こし易い」ということは成り立たないとすると土蜘蛛でない fact19: 「なんらかのものは液性免疫であるし飲み難い」ということは間違いだとすれば許せない fact20: 「仮に「起こし易くてかつ留まれる」ということは成り立たないとしたら練り込まない」物はある
fact3 -> hypothesis;
「もしも「液性免疫だし飲み難い」ということは嘘であるとすれば許せない」ものはある
fact21 -> int1: もし仮に「このダービー家は液性免疫であるし飲み難い」ということは誤っているなら許せるということはない; int1 -> hypothesis;
$facts$ = fact1: 「もしも正座するということはないとしたら土蜘蛛でない」ものはある fact2: 「「離婚するしおまけに粗い」ということは誤っていれば下行するということはない」ものはある fact3: もしも「あのディエス・イレは大衆化であるしまた正座する」ということは間違いであるとしたらそれは土蜘蛛であるということはない fact4: もし仮にあのディエス・イレは大衆化であるしおまけに正座するとするとそれは土蜘蛛でない fact5: 「仮に「薬液注入でその上預け入れる」ということは成り立つということはないとすると述べ始めない」物はある fact6: 「仮に「大衆化であるし正座する」ということは間違いであるなら土蜘蛛である」ものはある fact7: 「もしも「自由論だし自性である」ということは確かでないとすると「受信トレイでない」ということは成り立つ」ものはある fact8: 「もし仮に「在来技術であるしその上配送する」ということは真実でないとすると東京事務所でない」ものはある fact9: 「大衆化でないなら土蜘蛛であるということはない」物はある fact10: 「もし仮に大衆化であるしかつ正座するとすれば土蜘蛛でない」ものはある fact11: もしあのディエス・イレが正座しないとすればそれは土蜘蛛だということはない fact12: もし仮に「あのディエス・イレは大衆化であるしそれは正座する」ということは本当でないとするとそれは土蜘蛛である fact13: もし「あのディエス・イレは薬液注入で険しい」ということは誤っているとしたらそれはおっそろしない fact14: もし仮に「あのディエス・イレは伸び伸びするしそれは取り入れる」ということは偽なら土蜘蛛であるということはない fact15: 「「実質経済成長率でおまけに慣れ切る」ということは本当だということはないならモニター心電図でない」ものはある fact16: 「もし仮に「所らしいしおっそろし」ということは事実と異なるとしたらいさざでない」ものはある fact17: もし仮に「あのディエス・イレが民法典だしそれは慣れ切る」ということは偽であるならそれは土蜘蛛でない fact18: 「その誠実は冷め難いし起こし易い」ということは成り立たないとすると土蜘蛛でない fact19: 「なんらかのものは液性免疫であるし飲み難い」ということは間違いだとすれば許せない fact20: 「仮に「起こし易くてかつ留まれる」ということは成り立たないとしたら練り込まない」物はある ; $hypothesis$ = 「もし仮に「大衆化であるしまた正座する」ということは成り立たないとしたら土蜘蛛でない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 「もしも正座するということはないとしたら土蜘蛛でない」ものはある
事実2: 「「離婚するしおまけに粗い」ということは誤っていれば下行するということはない」ものはある
事実3: もしも「あのディエス・イレは大衆化であるしまた正座する」ということは間違いであるとしたらそれは土蜘蛛であるということはない
事実4: もし仮にあのディエス・イレは大衆化であるしおまけに正座するとするとそれは土蜘蛛でない
事実5: 「仮に「薬液注入でその上預け入れる」ということは成り立つということはないとすると述べ始めない」物はある
事実6: 「仮に「大衆化であるし正座する」ということは間違いであるなら土蜘蛛である」ものはある
事実7: 「もしも「自由論だし自性である」ということは確かでないとすると「受信トレイでない」ということは成り立つ」ものはある
事実8: 「もし仮に「在来技術であるしその上配送する」ということは真実でないとすると東京事務所でない」ものはある
事実9: 「大衆化でないなら土蜘蛛であるということはない」物はある
事実10: 「もし仮に大衆化であるしかつ正座するとすれば土蜘蛛でない」ものはある
事実11: もしあのディエス・イレが正座しないとすればそれは土蜘蛛だということはない
事実12: もし仮に「あのディエス・イレは大衆化であるしそれは正座する」ということは本当でないとするとそれは土蜘蛛である
事実13: もし「あのディエス・イレは薬液注入で険しい」ということは誤っているとしたらそれはおっそろしない
事実14: もし仮に「あのディエス・イレは伸び伸びするしそれは取り入れる」ということは偽なら土蜘蛛であるということはない
事実15: 「「実質経済成長率でおまけに慣れ切る」ということは本当だということはないならモニター心電図でない」ものはある
事実16: 「もし仮に「所らしいしおっそろし」ということは事実と異なるとしたらいさざでない」ものはある
事実17: もし仮に「あのディエス・イレが民法典だしそれは慣れ切る」ということは偽であるならそれは土蜘蛛でない
事実18: 「その誠実は冷め難いし起こし易い」ということは成り立たないとすると土蜘蛛でない
事実19: 「なんらかのものは液性免疫であるし飲み難い」ということは間違いだとすれば許せない
事実20: 「仮に「起こし易くてかつ留まれる」ということは成り立たないとしたら練り込まない」物はある

仮説: 「もし仮に「大衆化であるしまた正座する」ということは成り立たないとしたら土蜘蛛でない」ものはある
1. 事実3から、仮説が導かれる

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