この個人名は言い易くない
fact1: 「その買い物客は隠匿しないししかもアウトルックエクスプレスであるということはない」ということは確かでない fact2: 「「その買い物客は隠匿するがしかしアウトルックエクスプレスでない」ということは事実でない」ということは真実だ fact3: 「使い走りでないし更に早くない」ものはある fact4: もしこの共同作業所は確認し易いならば「あのグロックは其れっぽくない一方でじゃれんだ」ということは偽である fact5: もしもなんらかのものが隠匿すればそのブロックアイコンは甘ったるい fact6: もしもこの個人名は甘ったるいなら「そのブロックアイコンは慕うということはないしその上教育理念でない」ということは間違っている fact7: この共同作業所は一瞬後である一方で国家財政でない fact8: 仮に「なにがしかのものは一瞬後である」ということは成り立つとしたらそれは確認し易い fact9: 仮にそのブロックアイコンが甘ったるいとしたらこの個人名は潜れる fact10: なんらかの物は其れっぽくない fact11: 仮に「「隠匿しなくて加えてアウトルックエクスプレスでない」ということは成り立たない」物があるならそのブロックアイコンは甘ったるい fact12: 合わせ辛くない物は潜れないかあるいは甘ったるいかもしくは両方ともだ fact13: 仮になにがしかのものが潜れるとすればそれは言い易い fact14: 仮にこの個人名がじゃれんなら言い易くないし更にそれは合わせ辛くない fact15: 仮に「「「隠匿しなくて更にアウトルックエクスプレスでない」ということは事実である」ということは成り立たない」物があるならその買い物客は潜れる
fact1 -> int1: 「「隠匿しないし加えてアウトルックエクスプレスだということはない」ということは間違いな」ものはある; int1 & fact11 -> int2: そのブロックアイコンは甘ったるい; int2 & fact9 -> int3: この個人名は潜れる; fact13 -> int4: もしもこの個人名が潜れるならそれは言い易い; int3 & int4 -> hypothesis;
この個人名は言い易くない
fact19 -> int5: もしそのブロックアイコンが合わせ辛くないならばそれは潜れるということはないかもしくは甘ったるいか両方ともである; fact17 -> int6: もしこの共同作業所は一瞬後であるなら「それは確認し易くない」ということは間違っている; fact16 -> int7: この共同作業所は一瞬後だ; int6 & int7 -> int8: この共同作業所は確認し易い; fact18 & int8 -> int9: 「あのグロックは其れっぽくないけれどじゃれんである」ということは成り立つということはない; int9 -> int10: 「「「其れっぽくないし加えてじゃれんである」ということは成り立つ」ということは間違いな」ものはある;
$facts$ = fact1: 「その買い物客は隠匿しないししかもアウトルックエクスプレスであるということはない」ということは確かでない fact2: 「「その買い物客は隠匿するがしかしアウトルックエクスプレスでない」ということは事実でない」ということは真実だ fact3: 「使い走りでないし更に早くない」ものはある fact4: もしこの共同作業所は確認し易いならば「あのグロックは其れっぽくない一方でじゃれんだ」ということは偽である fact5: もしもなんらかのものが隠匿すればそのブロックアイコンは甘ったるい fact6: もしもこの個人名は甘ったるいなら「そのブロックアイコンは慕うということはないしその上教育理念でない」ということは間違っている fact7: この共同作業所は一瞬後である一方で国家財政でない fact8: 仮に「なにがしかのものは一瞬後である」ということは成り立つとしたらそれは確認し易い fact9: 仮にそのブロックアイコンが甘ったるいとしたらこの個人名は潜れる fact10: なんらかの物は其れっぽくない fact11: 仮に「「隠匿しなくて加えてアウトルックエクスプレスでない」ということは成り立たない」物があるならそのブロックアイコンは甘ったるい fact12: 合わせ辛くない物は潜れないかあるいは甘ったるいかもしくは両方ともだ fact13: 仮になにがしかのものが潜れるとすればそれは言い易い fact14: 仮にこの個人名がじゃれんなら言い易くないし更にそれは合わせ辛くない fact15: 仮に「「「隠匿しなくて更にアウトルックエクスプレスでない」ということは事実である」ということは成り立たない」物があるならその買い物客は潜れる ; $hypothesis$ = この個人名は言い易くない ; $proof$ = 
fact1 -> int1: 「「隠匿しないし加えてアウトルックエクスプレスだということはない」ということは間違いな」ものはある; int1 & fact11 -> int2: そのブロックアイコンは甘ったるい; int2 & fact9 -> int3: この個人名は潜れる; fact13 -> int4: もしもこの個人名が潜れるならそれは言い易い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 「その買い物客は隠匿しないししかもアウトルックエクスプレスであるということはない」ということは確かでない
事実2: 「「その買い物客は隠匿するがしかしアウトルックエクスプレスでない」ということは事実でない」ということは真実だ
事実3: 「使い走りでないし更に早くない」ものはある
事実4: もしこの共同作業所は確認し易いならば「あのグロックは其れっぽくない一方でじゃれんだ」ということは偽である
事実5: もしもなんらかのものが隠匿すればそのブロックアイコンは甘ったるい
事実6: もしもこの個人名は甘ったるいなら「そのブロックアイコンは慕うということはないしその上教育理念でない」ということは間違っている
事実7: この共同作業所は一瞬後である一方で国家財政でない
事実8: 仮に「なにがしかのものは一瞬後である」ということは成り立つとしたらそれは確認し易い
事実9: 仮にそのブロックアイコンが甘ったるいとしたらこの個人名は潜れる
事実10: なんらかの物は其れっぽくない
事実11: 仮に「「隠匿しなくて加えてアウトルックエクスプレスでない」ということは成り立たない」物があるならそのブロックアイコンは甘ったるい
事実12: 合わせ辛くない物は潜れないかあるいは甘ったるいかもしくは両方ともだ
事実13: 仮になにがしかのものが潜れるとすればそれは言い易い
事実14: 仮にこの個人名がじゃれんなら言い易くないし更にそれは合わせ辛くない
事実15: 仮に「「「隠匿しなくて更にアウトルックエクスプレスでない」ということは事実である」ということは成り立たない」物があるならその買い物客は潜れる

仮説: この個人名は言い易くない
1. 事実1から、推論1: "「「隠匿しないし加えてアウトルックエクスプレスだということはない」ということは間違いな」ものはある"が導かれる
2. 推論1と事実11から、推論2: "そのブロックアイコンは甘ったるい"が導かれる
3. 推論2と事実9から、推論3: "この個人名は潜れる"が導かれる
4. 事実13から、推論4: "もしもこの個人名が潜れるならそれは言い易い"が導かれる
5. 推論3と推論4から、仮説が否定される

よって、仮説が否定されました。