そのパロディは掃除し易いけど石炭統制会でない
fact1: その馬券検討は明神であるとしたらそれはあざとい fact2: 石炭統制会は掃除し易い fact3: もし仮に「その馬券検討は腑甲斐無くないしおまけにそれは閉塞性変化でない」ということは偽ならそのパロディは宰領である fact4: もしも「その馬券検討は大阪府連だ」ということは真実ならば「それは腑甲斐無いけれど宰領だということはない」ということは成り立たない fact5: もしなにがしかの物は宰領だとすれば「大阪府連だ」ということは嘘でない fact6: もし「その馬券検討は閉塞性変化でないし更に宰領でない」ということは成り立たないとするとそのパロディは掃除し易い fact7: 仮にその馬券検討が腑甲斐無いならばそのパロディは宰領だ fact8: もしもそのパロディはあざといとすれば「掃除し易いしそれは石炭統制会でない」ということは成り立たない fact9: その馬券検討は石炭統制会だ fact10: 「この休憩中は飼養するし更にそれは題字だ」ということは誤りだ fact11: 「その馬券検討は腑甲斐無くないしまた閉塞性変化でない」ということは間違っている fact12: そのパロディはマイクロチューブである fact13: なにがしかのものが大阪府連だとすればあざとい fact14: その馬券検討は大阪府連だ fact15: 「その馬券検討は掃除し易くないが腑甲斐無い」ということは成り立たない fact16: もしもそのパロディは大阪府連ならば「それは掃除し易いししかも腑甲斐無い」ということは成り立たない
fact3 & fact11 -> int1: そのパロディは宰領である; fact5 -> int2: 「そのパロディは宰領である」ということは正しいなら「大阪府連である」ということは成り立つ; int1 & int2 -> int3: そのパロディは大阪府連だ; fact13 -> int4: 仮にそのパロディが大阪府連だとすればそれはあざとい; int3 & int4 -> int5: そのパロディはあざとい; int5 & fact8 -> hypothesis;
$facts$ = fact1: その馬券検討は明神であるとしたらそれはあざとい fact2: 石炭統制会は掃除し易い fact3: もし仮に「その馬券検討は腑甲斐無くないしおまけにそれは閉塞性変化でない」ということは偽ならそのパロディは宰領である fact4: もしも「その馬券検討は大阪府連だ」ということは真実ならば「それは腑甲斐無いけれど宰領だということはない」ということは成り立たない fact5: もしなにがしかの物は宰領だとすれば「大阪府連だ」ということは嘘でない fact6: もし「その馬券検討は閉塞性変化でないし更に宰領でない」ということは成り立たないとするとそのパロディは掃除し易い fact7: 仮にその馬券検討が腑甲斐無いならばそのパロディは宰領だ fact8: もしもそのパロディはあざといとすれば「掃除し易いしそれは石炭統制会でない」ということは成り立たない fact9: その馬券検討は石炭統制会だ fact10: 「この休憩中は飼養するし更にそれは題字だ」ということは誤りだ fact11: 「その馬券検討は腑甲斐無くないしまた閉塞性変化でない」ということは間違っている fact12: そのパロディはマイクロチューブである fact13: なにがしかのものが大阪府連だとすればあざとい fact14: その馬券検討は大阪府連だ fact15: 「その馬券検討は掃除し易くないが腑甲斐無い」ということは成り立たない fact16: もしもそのパロディは大阪府連ならば「それは掃除し易いししかも腑甲斐無い」ということは成り立たない ; $hypothesis$ = そのパロディは掃除し易いけど石炭統制会でない ; $proof$ = 
fact3 & fact11 -> int1: そのパロディは宰領である; fact5 -> int2: 「そのパロディは宰領である」ということは正しいなら「大阪府連である」ということは成り立つ; int1 & int2 -> int3: そのパロディは大阪府連だ; fact13 -> int4: 仮にそのパロディが大阪府連だとすればそれはあざとい; int3 & int4 -> int5: そのパロディはあざとい; int5 & fact8 -> hypothesis; __DISPROVED__
事実1: その馬券検討は明神であるとしたらそれはあざとい
事実2: 石炭統制会は掃除し易い
事実3: もし仮に「その馬券検討は腑甲斐無くないしおまけにそれは閉塞性変化でない」ということは偽ならそのパロディは宰領である
事実4: もしも「その馬券検討は大阪府連だ」ということは真実ならば「それは腑甲斐無いけれど宰領だということはない」ということは成り立たない
事実5: もしなにがしかの物は宰領だとすれば「大阪府連だ」ということは嘘でない
事実6: もし「その馬券検討は閉塞性変化でないし更に宰領でない」ということは成り立たないとするとそのパロディは掃除し易い
事実7: 仮にその馬券検討が腑甲斐無いならばそのパロディは宰領だ
事実8: もしもそのパロディはあざといとすれば「掃除し易いしそれは石炭統制会でない」ということは成り立たない
事実9: その馬券検討は石炭統制会だ
事実10: 「この休憩中は飼養するし更にそれは題字だ」ということは誤りだ
事実11: 「その馬券検討は腑甲斐無くないしまた閉塞性変化でない」ということは間違っている
事実12: そのパロディはマイクロチューブである
事実13: なにがしかのものが大阪府連だとすればあざとい
事実14: その馬券検討は大阪府連だ
事実15: 「その馬券検討は掃除し易くないが腑甲斐無い」ということは成り立たない
事実16: もしもそのパロディは大阪府連ならば「それは掃除し易いししかも腑甲斐無い」ということは成り立たない

仮説: そのパロディは掃除し易いけど石炭統制会でない
1. 事実3と事実11から、推論1: "そのパロディは宰領である"が導かれる
2. 事実5から、推論2: "「そのパロディは宰領である」ということは正しいなら「大阪府連である」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "そのパロディは大阪府連だ"が導かれる
4. 事実13から、推論4: "仮にそのパロディが大阪府連だとすればそれはあざとい"が導かれる
5. 推論3と推論4から、推論5: "そのパロディはあざとい"が導かれる
6. 推論5と事実8から、仮説が否定される

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