その基底核は四年度でない
fact1: 深いものは四年度でなくて加えて歌い踊らない fact2: 「あのホームは罵るしそれに太い」ということは誤っている fact3: 「あのホームは太くないが四年度である」ということは成り立たない fact4: 「仮に「「罵らなくて更に歌い踊る」ということは成り立たない」ものがあるならばあのホームは太い」ということは成り立つ fact5: 「「罵るしさらに太い」ということは成り立たない」物はある fact6: あのホームは受け易い fact7: その変造前は照り輝く fact8: 「罵らないけど太い」ものはある fact9: 仮にあのホームは歌い踊るなら「それは罵らないししかも太い」ということは事実でない fact10: なにがしかのものが罵るとすればその基底核は四年度である fact11: もしも「なんらかのものは歌い踊るかまたはそれは深くない」ということは成り立たないとすればそれは四年度でない fact12: 「「罵るということはない一方で太い」ということは偽である」物があるとすればその基底核は四年度だ fact13: もし「ある物は女性用であるけれど深くない」ということは成り立たないとすればそれは深い fact14: もしもその変造前が照り輝くとするとあのホームは覚え易くないがしかしそれは思い易い fact15: 仮に「「罵らないが四年度である」ということは成り立たない」物があればその基底核は歌い踊る fact16: 仮にあのホームは歌い踊れば「それは罵るしおまけにそれは太い」ということは成り立たない fact17: あのホームは歌い踊る
fact9 & fact17 -> int1: 「あのホームは罵らないが太い」ということは誤っている; int1 -> int2: 「「罵らないが太い」ということは誤りな」ものはある; int2 & fact12 -> hypothesis;
その基底核は四年度でない
fact21 -> int3: もしもその基底核が深いならば四年度でなくて歌い踊らない; fact19 -> int4: 「その基底核は女性用だ一方でそれは深くない」ということは誤りであるとしたらそれは深い; fact18 & fact20 -> int5: あのホームは覚え易いということはないが思い易い; int5 -> int6: あのホームは覚え易くない; int6 -> int7: 「「覚え易いということはない」物はある」ということは正しい;
$facts$ = fact1: 深いものは四年度でなくて加えて歌い踊らない fact2: 「あのホームは罵るしそれに太い」ということは誤っている fact3: 「あのホームは太くないが四年度である」ということは成り立たない fact4: 「仮に「「罵らなくて更に歌い踊る」ということは成り立たない」ものがあるならばあのホームは太い」ということは成り立つ fact5: 「「罵るしさらに太い」ということは成り立たない」物はある fact6: あのホームは受け易い fact7: その変造前は照り輝く fact8: 「罵らないけど太い」ものはある fact9: 仮にあのホームは歌い踊るなら「それは罵らないししかも太い」ということは事実でない fact10: なにがしかのものが罵るとすればその基底核は四年度である fact11: もしも「なんらかのものは歌い踊るかまたはそれは深くない」ということは成り立たないとすればそれは四年度でない fact12: 「「罵るということはない一方で太い」ということは偽である」物があるとすればその基底核は四年度だ fact13: もし「ある物は女性用であるけれど深くない」ということは成り立たないとすればそれは深い fact14: もしもその変造前が照り輝くとするとあのホームは覚え易くないがしかしそれは思い易い fact15: 仮に「「罵らないが四年度である」ということは成り立たない」物があればその基底核は歌い踊る fact16: 仮にあのホームは歌い踊れば「それは罵るしおまけにそれは太い」ということは成り立たない fact17: あのホームは歌い踊る ; $hypothesis$ = その基底核は四年度でない ; $proof$ = 
fact9 & fact17 -> int1: 「あのホームは罵らないが太い」ということは誤っている; int1 -> int2: 「「罵らないが太い」ということは誤りな」ものはある; int2 & fact12 -> hypothesis; __DISPROVED__
事実1: 深いものは四年度でなくて加えて歌い踊らない
事実2: 「あのホームは罵るしそれに太い」ということは誤っている
事実3: 「あのホームは太くないが四年度である」ということは成り立たない
事実4: 「仮に「「罵らなくて更に歌い踊る」ということは成り立たない」ものがあるならばあのホームは太い」ということは成り立つ
事実5: 「「罵るしさらに太い」ということは成り立たない」物はある
事実6: あのホームは受け易い
事実7: その変造前は照り輝く
事実8: 「罵らないけど太い」ものはある
事実9: 仮にあのホームは歌い踊るなら「それは罵らないししかも太い」ということは事実でない
事実10: なにがしかのものが罵るとすればその基底核は四年度である
事実11: もしも「なんらかのものは歌い踊るかまたはそれは深くない」ということは成り立たないとすればそれは四年度でない
事実12: 「「罵るということはない一方で太い」ということは偽である」物があるとすればその基底核は四年度だ
事実13: もし「ある物は女性用であるけれど深くない」ということは成り立たないとすればそれは深い
事実14: もしもその変造前が照り輝くとするとあのホームは覚え易くないがしかしそれは思い易い
事実15: 仮に「「罵らないが四年度である」ということは成り立たない」物があればその基底核は歌い踊る
事実16: 仮にあのホームは歌い踊れば「それは罵るしおまけにそれは太い」ということは成り立たない
事実17: あのホームは歌い踊る

仮説: その基底核は四年度でない
1. 事実9と事実17から、推論1: "「あのホームは罵らないが太い」ということは誤っている"が導かれる
2. 推論1から、推論2: "「「罵らないが太い」ということは誤りな」ものはある"が導かれる
3. 推論2と事実12から、仮説が否定される

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