「仮に手荒いならば「相談し易いかもしくは飽きっぽくないか両方ともだ」ということは成り立たない」ものはある
fact1: もし仮にこの第十八図は好ましとすれば「来校するかそれはアドバイスするということはないか両方だ」ということは成り立つ fact2: もしも「このポン付けは同ショップだ」ということは真実ならば「それは天井圏であるかまたは脳移植でないかもしくは両方だ」ということは正しくない fact3: もしこの相互信頼は擦り減るとすれば「それは八原則であるか手荒くないかまたは両方である」ということは成り立たない fact4: もしある物は手荒いとすれば「それは相談し易いか飽きっぽくないかもしくは両方だ」ということは誤りだ fact5: もし仮にこの相互信頼が相談し易いとしたら考え為さる fact6: 「刑事被告人ならば摘めるかもしくは乳房でない」物はある fact7: もしそのプロトゾアは伝え続けるとすると「再生計画認可であるかあるいは飽きっぽいということはない」ということは間違っている fact8: もし仮になにがしかの物が手荒いならばそれは飽きっぽい fact9: 仮にこの相互信頼は配給米なら「それはＣＳＶである」ということは成り立つ fact10: もしもその核リボソームＲＮＡ遺伝子は根気強いならば「相談し易いかあるいはそれは共済掛け金でないかもしくはどちらもである」ということは誤りだ fact11: 「もし仮に提供すとすると「消臭するかまたは成され易くない」ということは成り立たない」ものはある fact12: 「もし仮に見出だし難いなら「運び易いか登録出来るということはないか両方である」ということは偽な」ものはある
fact4 -> int1: この相互信頼は手荒いとしたら「それは相談し易いかもしくは飽きっぽくないかあるいはどちらもである」ということは間違っている; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの第十八図は好ましとすれば「来校するかそれはアドバイスするということはないか両方だ」ということは成り立つ fact2: もしも「このポン付けは同ショップだ」ということは真実ならば「それは天井圏であるかまたは脳移植でないかもしくは両方だ」ということは正しくない fact3: もしこの相互信頼は擦り減るとすれば「それは八原則であるか手荒くないかまたは両方である」ということは成り立たない fact4: もしある物は手荒いとすれば「それは相談し易いか飽きっぽくないかもしくは両方だ」ということは誤りだ fact5: もし仮にこの相互信頼が相談し易いとしたら考え為さる fact6: 「刑事被告人ならば摘めるかもしくは乳房でない」物はある fact7: もしそのプロトゾアは伝え続けるとすると「再生計画認可であるかあるいは飽きっぽいということはない」ということは間違っている fact8: もし仮になにがしかの物が手荒いならばそれは飽きっぽい fact9: 仮にこの相互信頼は配給米なら「それはＣＳＶである」ということは成り立つ fact10: もしもその核リボソームＲＮＡ遺伝子は根気強いならば「相談し易いかあるいはそれは共済掛け金でないかもしくはどちらもである」ということは誤りだ fact11: 「もし仮に提供すとすると「消臭するかまたは成され易くない」ということは成り立たない」ものはある fact12: 「もし仮に見出だし難いなら「運び易いか登録出来るということはないか両方である」ということは偽な」ものはある ; $hypothesis$ = 「仮に手荒いならば「相談し易いかもしくは飽きっぽくないか両方ともだ」ということは成り立たない」ものはある ; $proof$ = 
fact4 -> int1: この相互信頼は手荒いとしたら「それは相談し易いかもしくは飽きっぽくないかあるいはどちらもである」ということは間違っている; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの第十八図は好ましとすれば「来校するかそれはアドバイスするということはないか両方だ」ということは成り立つ
事実2: もしも「このポン付けは同ショップだ」ということは真実ならば「それは天井圏であるかまたは脳移植でないかもしくは両方だ」ということは正しくない
事実3: もしこの相互信頼は擦り減るとすれば「それは八原則であるか手荒くないかまたは両方である」ということは成り立たない
事実4: もしある物は手荒いとすれば「それは相談し易いか飽きっぽくないかもしくは両方だ」ということは誤りだ
事実5: もし仮にこの相互信頼が相談し易いとしたら考え為さる
事実6: 「刑事被告人ならば摘めるかもしくは乳房でない」物はある
事実7: もしそのプロトゾアは伝え続けるとすると「再生計画認可であるかあるいは飽きっぽいということはない」ということは間違っている
事実8: もし仮になにがしかの物が手荒いならばそれは飽きっぽい
事実9: 仮にこの相互信頼は配給米なら「それはＣＳＶである」ということは成り立つ
事実10: もしもその核リボソームＲＮＡ遺伝子は根気強いならば「相談し易いかあるいはそれは共済掛け金でないかもしくはどちらもである」ということは誤りだ
事実11: 「もし仮に提供すとすると「消臭するかまたは成され易くない」ということは成り立たない」ものはある
事実12: 「もし仮に見出だし難いなら「運び易いか登録出来るということはないか両方である」ということは偽な」ものはある

仮説: 「仮に手荒いならば「相談し易いかもしくは飽きっぽくないか両方ともだ」ということは成り立たない」ものはある
1. 事実4から、推論1: "この相互信頼は手荒いとしたら「それは相談し易いかもしくは飽きっぽくないかあるいはどちらもである」ということは間違っている"が導かれる
2. 推論1から、仮説が導かれる

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