「このサラフィー主義は寄る辺無くない」ということは事実と異なるということはない
fact1: もし仮に「このサラフィー主義は出払う」ということは確かであるならばそれは寄る辺無い fact2: あのバスターミナルは内省する fact3: その御艶は出払う fact4: もし仮に「その御艶は内省しない」ということは誤りなら寄る辺無い fact5: 仮にその御艶が寄る辺無くないとするとこのサラフィー主義は寄る辺無くない fact6: その御艶は小賢しい fact7: もし「このサラフィー主義は内省する」ということは成り立てば出払う fact8: もしもこのサラフィー主義が糞食らえないとすればその御艶が鎖編みだし確からしい fact9: ある物は鎖編みであるとすれば「寄る辺無いが出払うということはない」ということは事実と異なる fact10: このサラフィー主義は光学顕微鏡である fact11: このサラフィー主義は糞食らえない fact12: もしもこのサラフィー主義は島嶼民であるとしたらそれは眠たい fact13: 仮にこの失業保険制度は名高いとすると「裁断する」ということは成り立つ fact14: このサラフィー主義は内省するとすれば「その御艶は出払う」ということは真実だ fact15: 「仮にその御艶は内省するとすれば「このサラフィー主義は出払う」ということは成り立つ」ということは間違いでない fact16: もしこのサラフィー主義が内省するなら通り易い fact17: あの男性側は内省する fact18: その御艶は内省する fact19: もしその集古会は一般会計予算であるとしたら知り難し
fact15 & fact18 -> int1: 「このサラフィー主義は出払う」ということは本当である; int1 & fact1 -> hypothesis;
このサラフィー主義は寄る辺無くない
$facts$ = fact1: もし仮に「このサラフィー主義は出払う」ということは確かであるならばそれは寄る辺無い fact2: あのバスターミナルは内省する fact3: その御艶は出払う fact4: もし仮に「その御艶は内省しない」ということは誤りなら寄る辺無い fact5: 仮にその御艶が寄る辺無くないとするとこのサラフィー主義は寄る辺無くない fact6: その御艶は小賢しい fact7: もし「このサラフィー主義は内省する」ということは成り立てば出払う fact8: もしもこのサラフィー主義が糞食らえないとすればその御艶が鎖編みだし確からしい fact9: ある物は鎖編みであるとすれば「寄る辺無いが出払うということはない」ということは事実と異なる fact10: このサラフィー主義は光学顕微鏡である fact11: このサラフィー主義は糞食らえない fact12: もしもこのサラフィー主義は島嶼民であるとしたらそれは眠たい fact13: 仮にこの失業保険制度は名高いとすると「裁断する」ということは成り立つ fact14: このサラフィー主義は内省するとすれば「その御艶は出払う」ということは真実だ fact15: 「仮にその御艶は内省するとすれば「このサラフィー主義は出払う」ということは成り立つ」ということは間違いでない fact16: もしこのサラフィー主義が内省するなら通り易い fact17: あの男性側は内省する fact18: その御艶は内省する fact19: もしその集古会は一般会計予算であるとしたら知り難し ; $hypothesis$ = 「このサラフィー主義は寄る辺無くない」ということは事実と異なるということはない ; $proof$ = 
fact15 & fact18 -> int1: 「このサラフィー主義は出払う」ということは本当である; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし仮に「このサラフィー主義は出払う」ということは確かであるならばそれは寄る辺無い
事実2: あのバスターミナルは内省する
事実3: その御艶は出払う
事実4: もし仮に「その御艶は内省しない」ということは誤りなら寄る辺無い
事実5: 仮にその御艶が寄る辺無くないとするとこのサラフィー主義は寄る辺無くない
事実6: その御艶は小賢しい
事実7: もし「このサラフィー主義は内省する」ということは成り立てば出払う
事実8: もしもこのサラフィー主義が糞食らえないとすればその御艶が鎖編みだし確からしい
事実9: ある物は鎖編みであるとすれば「寄る辺無いが出払うということはない」ということは事実と異なる
事実10: このサラフィー主義は光学顕微鏡である
事実11: このサラフィー主義は糞食らえない
事実12: もしもこのサラフィー主義は島嶼民であるとしたらそれは眠たい
事実13: 仮にこの失業保険制度は名高いとすると「裁断する」ということは成り立つ
事実14: このサラフィー主義は内省するとすれば「その御艶は出払う」ということは真実だ
事実15: 「仮にその御艶は内省するとすれば「このサラフィー主義は出払う」ということは成り立つ」ということは間違いでない
事実16: もしこのサラフィー主義が内省するなら通り易い
事実17: あの男性側は内省する
事実18: その御艶は内省する
事実19: もしその集古会は一般会計予算であるとしたら知り難し

仮説: 「このサラフィー主義は寄る辺無くない」ということは事実と異なるということはない
1. 事実15と事実18から、推論1: "「このサラフィー主義は出払う」ということは本当である"が導かれる
2. 推論1と事実1から、仮説が否定される

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