「このペナントレースは隔絶するしさらに同伴する」ということは本当でない
fact1: その面接調査は愚かしい fact2: 仮にその靴屋が秘めるしおまけにそれが脱稿するなら修理出来ない fact3: その靴屋は脱稿する fact4: もし仮に何かは留まるしそれに愚かしいならば「その靴屋は物凄ーくない」ということは成り立つ fact5: もし仮にその靴屋が修理出来ないとするとこのペナントレースは隔絶するしそれは同伴する fact6: もしその靴屋が物凄ーくないならそれは秘める fact7: あの髪質＆顔型は脱稿する fact8: 仮に何らかの物は留まらないとすると「隔絶するし同伴する」ということは事実でない fact9: その面接調査は留まるししかも盤ゲームだ
fact9 -> int1: その面接調査は留まる; int1 & fact1 -> int2: その面接調査は留まるしそれに愚かしい; int2 -> int3: なにがしかの物は留まるし愚かしい; int3 & fact4 -> int4: その靴屋は物凄ーくない; int4 & fact6 -> int5: 「その靴屋は秘める」ということは確かだ; int5 & fact3 -> int6: 「その靴屋が秘めるしその上それは脱稿する」ということは成り立つ; int6 & fact2 -> int7: その靴屋は修理出来ない; int7 & fact5 -> hypothesis;
「このペナントレースは隔絶するし更に同伴する」ということは偽だ
fact10 -> int8: もし仮にこのペナントレースは留まらないとすると「それは隔絶するしそれに同伴する」ということは間違っている;
$facts$ = fact1: その面接調査は愚かしい fact2: 仮にその靴屋が秘めるしおまけにそれが脱稿するなら修理出来ない fact3: その靴屋は脱稿する fact4: もし仮に何かは留まるしそれに愚かしいならば「その靴屋は物凄ーくない」ということは成り立つ fact5: もし仮にその靴屋が修理出来ないとするとこのペナントレースは隔絶するしそれは同伴する fact6: もしその靴屋が物凄ーくないならそれは秘める fact7: あの髪質＆顔型は脱稿する fact8: 仮に何らかの物は留まらないとすると「隔絶するし同伴する」ということは事実でない fact9: その面接調査は留まるししかも盤ゲームだ ; $hypothesis$ = 「このペナントレースは隔絶するしさらに同伴する」ということは本当でない ; $proof$ = 
fact9 -> int1: その面接調査は留まる; int1 & fact1 -> int2: その面接調査は留まるしそれに愚かしい; int2 -> int3: なにがしかの物は留まるし愚かしい; int3 & fact4 -> int4: その靴屋は物凄ーくない; int4 & fact6 -> int5: 「その靴屋は秘める」ということは確かだ; int5 & fact3 -> int6: 「その靴屋が秘めるしその上それは脱稿する」ということは成り立つ; int6 & fact2 -> int7: その靴屋は修理出来ない; int7 & fact5 -> hypothesis; __DISPROVED__
事実1: その面接調査は愚かしい
事実2: 仮にその靴屋が秘めるしおまけにそれが脱稿するなら修理出来ない
事実3: その靴屋は脱稿する
事実4: もし仮に何かは留まるしそれに愚かしいならば「その靴屋は物凄ーくない」ということは成り立つ
事実5: もし仮にその靴屋が修理出来ないとするとこのペナントレースは隔絶するしそれは同伴する
事実6: もしその靴屋が物凄ーくないならそれは秘める
事実7: あの髪質＆顔型は脱稿する
事実8: 仮に何らかの物は留まらないとすると「隔絶するし同伴する」ということは事実でない
事実9: その面接調査は留まるししかも盤ゲームだ

仮説: 「このペナントレースは隔絶するしさらに同伴する」ということは本当でない
1. 事実9から、推論1: "その面接調査は留まる"が導かれる
2. 推論1と事実1から、推論2: "その面接調査は留まるしそれに愚かしい"が導かれる
3. 推論2から、推論3: "なにがしかの物は留まるし愚かしい"が導かれる
4. 推論3と事実4から、推論4: "その靴屋は物凄ーくない"が導かれる
5. 推論4と事実6から、推論5: "「その靴屋は秘める」ということは確かだ"が導かれる
6. 推論5と事実3から、推論6: "「その靴屋が秘めるしその上それは脱稿する」ということは成り立つ"が導かれる
7. 推論6と事実2から、推論7: "その靴屋は修理出来ない"が導かれる
8. 推論7と事実5から、仮説が否定される

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