なんらかの物は程無くないが結び付き易い
fact1: 何らかの物は程無くて結び付き易い fact2: 「その水切り籠は懐っこいということはない一方でそれは説明し易い」ということは成り立たない fact3: もしもとある物が説明し易いなら毒々しい fact4: そのクイック投稿は飲用する fact5: 「程無くない」ものはある fact6: もしその一次産業が程無いということはないとすればあの水切り籠は程無いということはないけど結び付き易い fact7: もしもその水切り籠は説明し易いということはないかまたは結び付き易くないかどちらもだとするとそれは叱咤激励でない fact8: そのクイック投稿は説明し易いしおまけに飲用する fact9: あの魔女は着易くなくて働き易くないとすればそれは脆い fact10: なんらかの物は程無くないならば「毒々しいしおまけに脆い」ということは成り立つということはない fact11: あの魔女は毒々しいということはないしその上着易くない fact12: あの魔女は程無くないし着易くない fact13: その水切り籠は結び付き易い fact14: もし仮に「あるものは懐っこくないけど説明し易い」ということは間違っているとすれば「説明し易くない」ということは成り立つ fact15: もしもあの魔女が脆いならそのクイック投稿は叱咤激励である fact16: もし仮にあの魔女は着易いが働き易くないとしたら脆い fact17: もし仮にその一次産業が程無くないとすればその水切り籠は結び付き易い fact18: あのストラバイト現象は聞けない一方で照り映える fact19: あの魔女は着易くないしかつ働き易くない fact20: もしもそのクイック投稿が叱咤激励であるしおまけに毒々しいとすればその一次産業は程無くない fact21: もし仮に「とあるものは毒々しくて脆い」ということは成り立たないとしたらそれは取り易くない fact22: そのクイック投稿は脆い fact23: 「その一次産業は成り難い」ということは確かである fact24: あの魔女は着易いということはない fact25: 「結び付き易い」物はある
fact9 & fact19 -> int1: あの魔女は脆い; int1 & fact15 -> int2: そのクイック投稿は叱咤激励だ; fact8 -> int3: そのクイック投稿は説明し易い; fact3 -> int4: そのクイック投稿が説明し易いとすれば毒々しい; int3 & int4 -> int5: そのクイック投稿は毒々しい; int2 & int5 -> int6: 「そのクイック投稿は叱咤激励であるし加えて毒々しい」ということは確かだ; int6 & fact20 -> int7: その一次産業は程無くない; int7 & fact6 -> int8: その水切り籠は程無くないが結び付き易い; int8 -> hypothesis;
その水切り籠は叱咤激励でないしそれに取り易くない
fact26 -> int9: もしも「その水切り籠は懐っこくないが説明し易い」ということは事実と異なるならそれは説明し易くない; int9 & fact29 -> int10: その水切り籠は説明し易くない; int10 -> int11: その水切り籠は説明し易くないかもしくは結び付き易くない; fact27 & int11 -> int12: その水切り籠は叱咤激励でない; fact28 -> int13: 「その水切り籠は毒々しくてそれは脆い」ということは成り立たないなら取り易くない; fact30 -> int14: もしもその水切り籠は程無いということはないとしたら「それは毒々しくて脆い」ということは間違っている;
$facts$ = fact1: 何らかの物は程無くて結び付き易い fact2: 「その水切り籠は懐っこいということはない一方でそれは説明し易い」ということは成り立たない fact3: もしもとある物が説明し易いなら毒々しい fact4: そのクイック投稿は飲用する fact5: 「程無くない」ものはある fact6: もしその一次産業が程無いということはないとすればあの水切り籠は程無いということはないけど結び付き易い fact7: もしもその水切り籠は説明し易いということはないかまたは結び付き易くないかどちらもだとするとそれは叱咤激励でない fact8: そのクイック投稿は説明し易いしおまけに飲用する fact9: あの魔女は着易くなくて働き易くないとすればそれは脆い fact10: なんらかの物は程無くないならば「毒々しいしおまけに脆い」ということは成り立つということはない fact11: あの魔女は毒々しいということはないしその上着易くない fact12: あの魔女は程無くないし着易くない fact13: その水切り籠は結び付き易い fact14: もし仮に「あるものは懐っこくないけど説明し易い」ということは間違っているとすれば「説明し易くない」ということは成り立つ fact15: もしもあの魔女が脆いならそのクイック投稿は叱咤激励である fact16: もし仮にあの魔女は着易いが働き易くないとしたら脆い fact17: もし仮にその一次産業が程無くないとすればその水切り籠は結び付き易い fact18: あのストラバイト現象は聞けない一方で照り映える fact19: あの魔女は着易くないしかつ働き易くない fact20: もしもそのクイック投稿が叱咤激励であるしおまけに毒々しいとすればその一次産業は程無くない fact21: もし仮に「とあるものは毒々しくて脆い」ということは成り立たないとしたらそれは取り易くない fact22: そのクイック投稿は脆い fact23: 「その一次産業は成り難い」ということは確かである fact24: あの魔女は着易いということはない fact25: 「結び付き易い」物はある ; $hypothesis$ = なんらかの物は程無くないが結び付き易い ; $proof$ = 
fact9 & fact19 -> int1: あの魔女は脆い; int1 & fact15 -> int2: そのクイック投稿は叱咤激励だ; fact8 -> int3: そのクイック投稿は説明し易い; fact3 -> int4: そのクイック投稿が説明し易いとすれば毒々しい; int3 & int4 -> int5: そのクイック投稿は毒々しい; int2 & int5 -> int6: 「そのクイック投稿は叱咤激励であるし加えて毒々しい」ということは確かだ; int6 & fact20 -> int7: その一次産業は程無くない; int7 & fact6 -> int8: その水切り籠は程無くないが結び付き易い; int8 -> hypothesis; __PROVED__
事実1: 何らかの物は程無くて結び付き易い
事実2: 「その水切り籠は懐っこいということはない一方でそれは説明し易い」ということは成り立たない
事実3: もしもとある物が説明し易いなら毒々しい
事実4: そのクイック投稿は飲用する
事実5: 「程無くない」ものはある
事実6: もしその一次産業が程無いということはないとすればあの水切り籠は程無いということはないけど結び付き易い
事実7: もしもその水切り籠は説明し易いということはないかまたは結び付き易くないかどちらもだとするとそれは叱咤激励でない
事実8: そのクイック投稿は説明し易いしおまけに飲用する
事実9: あの魔女は着易くなくて働き易くないとすればそれは脆い
事実10: なんらかの物は程無くないならば「毒々しいしおまけに脆い」ということは成り立つということはない
事実11: あの魔女は毒々しいということはないしその上着易くない
事実12: あの魔女は程無くないし着易くない
事実13: その水切り籠は結び付き易い
事実14: もし仮に「あるものは懐っこくないけど説明し易い」ということは間違っているとすれば「説明し易くない」ということは成り立つ
事実15: もしもあの魔女が脆いならそのクイック投稿は叱咤激励である
事実16: もし仮にあの魔女は着易いが働き易くないとしたら脆い
事実17: もし仮にその一次産業が程無くないとすればその水切り籠は結び付き易い
事実18: あのストラバイト現象は聞けない一方で照り映える
事実19: あの魔女は着易くないしかつ働き易くない
事実20: もしもそのクイック投稿が叱咤激励であるしおまけに毒々しいとすればその一次産業は程無くない
事実21: もし仮に「とあるものは毒々しくて脆い」ということは成り立たないとしたらそれは取り易くない
事実22: そのクイック投稿は脆い
事実23: 「その一次産業は成り難い」ということは確かである
事実24: あの魔女は着易いということはない
事実25: 「結び付き易い」物はある

仮説: なんらかの物は程無くないが結び付き易い
1. 事実9と事実19から、推論1: "あの魔女は脆い"が導かれる
2. 推論1と事実15から、推論2: "そのクイック投稿は叱咤激励だ"が導かれる
3. 事実8から、推論3: "そのクイック投稿は説明し易い"が導かれる
4. 事実3から、推論4: "そのクイック投稿が説明し易いとすれば毒々しい"が導かれる
5. 推論3と推論4から、推論5: "そのクイック投稿は毒々しい"が導かれる
6. 推論2と推論5から、推論6: "「そのクイック投稿は叱咤激励であるし加えて毒々しい」ということは確かだ"が導かれる
7. 推論6と事実20から、推論7: "その一次産業は程無くない"が導かれる
8. 推論7と事実6から、推論8: "その水切り籠は程無くないが結び付き易い"が導かれる
9. 推論8から、仮説が導かれる

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