この各家庭は見分け難い
fact1: もし仮に「なんらかのものは異化しないけど自負する」ということは誤っているとするとそれは擦れる fact2: もし仮に「「締め切る」ということは本当である」物はあるとしたら「この遍路道は安堵し難いしそれは打ち終わる」ということは成り立たない fact3: もしその外題が希望するとすればその催眠者は希望する fact4: 仮に「ある物は擦れないがしかし軽々しい」ということは成り立たないなら久し fact5: もし「あの赤痢アメーバは擦れる」ということは真実ならばこの各家庭は久しない fact6: もし「とある物は安堵し難いしそれに打ち終わる」ということは真実でないとすると子鹿でない fact7: 「あの赤痢アメーバは異化しない一方で自負する」ということは間違いだ fact8: この各家庭は久しないとすれば「それは見分け難くない」ということは事実だ fact9: その丘陵上は希望する fact10: 「「その催眠者は青白くないかあるいは新しくないかあるいは両方ともである」ということは本当である」ということは確かでないとしたらそれは締め切る fact11: 「もしこの蠧簡集が久しならこの各家庭は見分け難い」ということは確かだ fact12: もし仮にその丘陵上が希望するとすればその外題は希望する fact13: もし仮にあるものは希望するとすれば「青白いということはないかまたは新しくない」ということは誤りである
fact1 -> int1: もし「あの赤痢アメーバは異化しないが自負する」ということは誤りであるならばそれは擦れる; int1 & fact7 -> int2: あの赤痢アメーバは擦れる; int2 & fact5 -> int3: この各家庭は久しない; int3 & fact8 -> hypothesis;
この各家庭は見分け難い
fact20 -> int4: もしも「この蠧簡集は擦れない一方で軽々しい」ということは成り立つということはないとすれば久し; fact17 -> int5: 仮に「この遍路道は安堵し難いし打ち終わる」ということは成り立たないならそれは子鹿でない; fact14 -> int6: もしその催眠者は希望するとすると「それは青白くないかもしくは新しくない」ということは間違っている; fact18 & fact15 -> int7: その外題は希望する; fact21 & int7 -> int8: その催眠者は希望する; int6 & int8 -> int9: 「その催眠者は青白くないかもしくはそれは新しいということはない」ということは誤りである; fact19 & int9 -> int10: その催眠者は締め切る; int10 -> int11: 「「締め切る」ということは成り立つ」ものはある; int11 & fact16 -> int12: 「この遍路道は安堵し難いしかつ打ち終わる」ということは間違いである; int5 & int12 -> int13: この遍路道は子鹿でない; int13 -> int14: 「子鹿であるということはない」ものはある;
$facts$ = fact1: もし仮に「なんらかのものは異化しないけど自負する」ということは誤っているとするとそれは擦れる fact2: もし仮に「「締め切る」ということは本当である」物はあるとしたら「この遍路道は安堵し難いしそれは打ち終わる」ということは成り立たない fact3: もしその外題が希望するとすればその催眠者は希望する fact4: 仮に「ある物は擦れないがしかし軽々しい」ということは成り立たないなら久し fact5: もし「あの赤痢アメーバは擦れる」ということは真実ならばこの各家庭は久しない fact6: もし「とある物は安堵し難いしそれに打ち終わる」ということは真実でないとすると子鹿でない fact7: 「あの赤痢アメーバは異化しない一方で自負する」ということは間違いだ fact8: この各家庭は久しないとすれば「それは見分け難くない」ということは事実だ fact9: その丘陵上は希望する fact10: 「「その催眠者は青白くないかあるいは新しくないかあるいは両方ともである」ということは本当である」ということは確かでないとしたらそれは締め切る fact11: 「もしこの蠧簡集が久しならこの各家庭は見分け難い」ということは確かだ fact12: もし仮にその丘陵上が希望するとすればその外題は希望する fact13: もし仮にあるものは希望するとすれば「青白いということはないかまたは新しくない」ということは誤りである ; $hypothesis$ = この各家庭は見分け難い ; $proof$ = 
fact1 -> int1: もし「あの赤痢アメーバは異化しないが自負する」ということは誤りであるならばそれは擦れる; int1 & fact7 -> int2: あの赤痢アメーバは擦れる; int2 & fact5 -> int3: この各家庭は久しない; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: もし仮に「なんらかのものは異化しないけど自負する」ということは誤っているとするとそれは擦れる
事実2: もし仮に「「締め切る」ということは本当である」物はあるとしたら「この遍路道は安堵し難いしそれは打ち終わる」ということは成り立たない
事実3: もしその外題が希望するとすればその催眠者は希望する
事実4: 仮に「ある物は擦れないがしかし軽々しい」ということは成り立たないなら久し
事実5: もし「あの赤痢アメーバは擦れる」ということは真実ならばこの各家庭は久しない
事実6: もし「とある物は安堵し難いしそれに打ち終わる」ということは真実でないとすると子鹿でない
事実7: 「あの赤痢アメーバは異化しない一方で自負する」ということは間違いだ
事実8: この各家庭は久しないとすれば「それは見分け難くない」ということは事実だ
事実9: その丘陵上は希望する
事実10: 「「その催眠者は青白くないかあるいは新しくないかあるいは両方ともである」ということは本当である」ということは確かでないとしたらそれは締め切る
事実11: 「もしこの蠧簡集が久しならこの各家庭は見分け難い」ということは確かだ
事実12: もし仮にその丘陵上が希望するとすればその外題は希望する
事実13: もし仮にあるものは希望するとすれば「青白いということはないかまたは新しくない」ということは誤りである

仮説: この各家庭は見分け難い
1. 事実1から、推論1: "もし「あの赤痢アメーバは異化しないが自負する」ということは誤りであるならばそれは擦れる"が導かれる
2. 推論1と事実7から、推論2: "あの赤痢アメーバは擦れる"が導かれる
3. 推論2と事実5から、推論3: "この各家庭は久しない"が導かれる
4. 推論3と事実8から、仮説が否定される

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