「その四団体が環境面だしムスリム達だ」ということは成り立たない
fact1: その四団体ははしたなくて加えてそれはきったない fact2: このオールナイトは擽ったくてそれに牧童ならば「その四団体は擽ったくない」ということは事実である fact3: 「そのプロセッコはチェックインしないが牧童である」ということは成り立つということはない fact4: もし仮にあの普通ポルトランドセメントが擽ったいなら捕集する fact5: 「このオールナイトは見付け難くて加えてそれは医業だ」ということは成り立たない fact6: もしもなんらかのものが牧童だとすればムスリム達だ fact7: もし仮にそのプロセッコがチェックインするということはないけれど押し易いならばこのオールナイトはチェックインしない fact8: 「このオールナイトは見付け難いけれど医業でない」ということは成り立たない fact9: 「このオールナイトは見付け難いしチェックインする」ということは間違っている fact10: 擽ったいものは環境面だ fact11: もしもこのオールナイトが環境面だとしたらあの一般的プロセスは擽ったい fact12: そのプロセッコは赤らめる fact13: 引き出し易くないものは牧童であるかもしくはムスリム達であるかあるいは両方ともだ fact14: 仮に「何らかのものはチェックインしない」ということは確かであるとしたら擽ったくて引き出し易い fact15: もしも「このオールナイトは見付け難いけれど医業でない」ということは成り立たないとすればあの四団体は擽ったい fact16: もし仮になにかはチェックインするけれどそれが届き易いということはないなら引き出し易くない fact17: 「このオールナイトは透過であるしまた眩む」ということは間違っている fact18: なにがしかのものは擽ったいということはないとしたら「それは環境面であるしムスリム達だ」ということは正しいということはない fact19: もし「そのプロセッコはチェックインしないがしかしそれは牧童である」ということは偽であるとするとその四団体は牧童である fact20: もしもそのプロセッコがチェックインするならその四団体は牧童である fact21: このオールナイトが見付け難いとするとそれはムスリム達である fact22: そのプロセッコが赤らめればチェックインしなくてそれは押し易い fact23: 仮にあるものはどうして良くないとすると「それはチェックインするが届き易くない」ということは本当だ
fact15 & fact8 -> int1: その四団体は擽ったい; fact10 -> int2: もしその四団体が擽ったいならばそれは環境面である; int1 & int2 -> int3: その四団体は環境面だ; fact6 -> int4: もしもその四団体が牧童ならばそれはムスリム達だ; fact19 & fact3 -> int5: その四団体は牧童だ; int4 & int5 -> int6: その四団体はムスリム達である; int3 & int6 -> hypothesis;
「その四団体は環境面であるしかつムスリム達だ」ということは嘘だ
fact28 -> int7: 仮にその四団体は擽ったくないとすると「それは環境面であるし加えてムスリム達だ」ということは間違っている; fact26 -> int8: このオールナイトがチェックインしないとするとそれは擽ったいし更に引き出し易い; fact27 & fact29 -> int9: そのプロセッコはチェックインしないが押し易い; fact25 & int9 -> int10: このオールナイトはチェックインするということはない; int8 & int10 -> int11: このオールナイトは擽ったくてかつそれは引き出し易い; int11 -> int12: このオールナイトは擽ったい;
$facts$ = fact1: その四団体ははしたなくて加えてそれはきったない fact2: このオールナイトは擽ったくてそれに牧童ならば「その四団体は擽ったくない」ということは事実である fact3: 「そのプロセッコはチェックインしないが牧童である」ということは成り立つということはない fact4: もし仮にあの普通ポルトランドセメントが擽ったいなら捕集する fact5: 「このオールナイトは見付け難くて加えてそれは医業だ」ということは成り立たない fact6: もしもなんらかのものが牧童だとすればムスリム達だ fact7: もし仮にそのプロセッコがチェックインするということはないけれど押し易いならばこのオールナイトはチェックインしない fact8: 「このオールナイトは見付け難いけれど医業でない」ということは成り立たない fact9: 「このオールナイトは見付け難いしチェックインする」ということは間違っている fact10: 擽ったいものは環境面だ fact11: もしもこのオールナイトが環境面だとしたらあの一般的プロセスは擽ったい fact12: そのプロセッコは赤らめる fact13: 引き出し易くないものは牧童であるかもしくはムスリム達であるかあるいは両方ともだ fact14: 仮に「何らかのものはチェックインしない」ということは確かであるとしたら擽ったくて引き出し易い fact15: もしも「このオールナイトは見付け難いけれど医業でない」ということは成り立たないとすればあの四団体は擽ったい fact16: もし仮になにかはチェックインするけれどそれが届き易いということはないなら引き出し易くない fact17: 「このオールナイトは透過であるしまた眩む」ということは間違っている fact18: なにがしかのものは擽ったいということはないとしたら「それは環境面であるしムスリム達だ」ということは正しいということはない fact19: もし「そのプロセッコはチェックインしないがしかしそれは牧童である」ということは偽であるとするとその四団体は牧童である fact20: もしもそのプロセッコがチェックインするならその四団体は牧童である fact21: このオールナイトが見付け難いとするとそれはムスリム達である fact22: そのプロセッコが赤らめればチェックインしなくてそれは押し易い fact23: 仮にあるものはどうして良くないとすると「それはチェックインするが届き易くない」ということは本当だ ; $hypothesis$ = 「その四団体が環境面だしムスリム達だ」ということは成り立たない ; $proof$ = 
fact15 & fact8 -> int1: その四団体は擽ったい; fact10 -> int2: もしその四団体が擽ったいならばそれは環境面である; int1 & int2 -> int3: その四団体は環境面だ; fact6 -> int4: もしもその四団体が牧童ならばそれはムスリム達だ; fact19 & fact3 -> int5: その四団体は牧童だ; int4 & int5 -> int6: その四団体はムスリム達である; int3 & int6 -> hypothesis; __DISPROVED__
事実1: その四団体ははしたなくて加えてそれはきったない
事実2: このオールナイトは擽ったくてそれに牧童ならば「その四団体は擽ったくない」ということは事実である
事実3: 「そのプロセッコはチェックインしないが牧童である」ということは成り立つということはない
事実4: もし仮にあの普通ポルトランドセメントが擽ったいなら捕集する
事実5: 「このオールナイトは見付け難くて加えてそれは医業だ」ということは成り立たない
事実6: もしもなんらかのものが牧童だとすればムスリム達だ
事実7: もし仮にそのプロセッコがチェックインするということはないけれど押し易いならばこのオールナイトはチェックインしない
事実8: 「このオールナイトは見付け難いけれど医業でない」ということは成り立たない
事実9: 「このオールナイトは見付け難いしチェックインする」ということは間違っている
事実10: 擽ったいものは環境面だ
事実11: もしもこのオールナイトが環境面だとしたらあの一般的プロセスは擽ったい
事実12: そのプロセッコは赤らめる
事実13: 引き出し易くないものは牧童であるかもしくはムスリム達であるかあるいは両方ともだ
事実14: 仮に「何らかのものはチェックインしない」ということは確かであるとしたら擽ったくて引き出し易い
事実15: もしも「このオールナイトは見付け難いけれど医業でない」ということは成り立たないとすればあの四団体は擽ったい
事実16: もし仮になにかはチェックインするけれどそれが届き易いということはないなら引き出し易くない
事実17: 「このオールナイトは透過であるしまた眩む」ということは間違っている
事実18: なにがしかのものは擽ったいということはないとしたら「それは環境面であるしムスリム達だ」ということは正しいということはない
事実19: もし「そのプロセッコはチェックインしないがしかしそれは牧童である」ということは偽であるとするとその四団体は牧童である
事実20: もしもそのプロセッコがチェックインするならその四団体は牧童である
事実21: このオールナイトが見付け難いとするとそれはムスリム達である
事実22: そのプロセッコが赤らめればチェックインしなくてそれは押し易い
事実23: 仮にあるものはどうして良くないとすると「それはチェックインするが届き易くない」ということは本当だ

仮説: 「その四団体が環境面だしムスリム達だ」ということは成り立たない
1. 事実15と事実8から、推論1: "その四団体は擽ったい"が導かれる
2. 事実10から、推論2: "もしその四団体が擽ったいならばそれは環境面である"が導かれる
3. 推論1と推論2から、推論3: "その四団体は環境面だ"が導かれる
4. 事実6から、推論4: "もしもその四団体が牧童ならばそれはムスリム達だ"が導かれる
5. 事実19と事実3から、推論5: "その四団体は牧童だ"が導かれる
6. 推論4と推論5から、推論6: "その四団体はムスリム達である"が導かれる
7. 推論3と推論6から、仮説が否定される

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