あの統計処理は信仰深い
fact1: もし「「なにがしかの物は預言者達であるがしかしそれは信仰深くない」ということは成り立つ」ということは成り立たないとすれば信仰深い fact2: この能動はカード・ゲームである fact3: 仮にこの能動が静脈であるか発電所建設でないかあるいは両方ともだとするとあの統計処理は信仰深くない fact4: この能動は監視し易い fact5: 仮に「なにがしかの物はカード・ゲームだ」ということは成り立つとすればそれはプライベートカードである fact6: この能動は戦国大名達でない fact7: この能動は静脈であるかまたは発電所建設である fact8: もし仮にこの能動が有望視しなくて信仰深くないとするとこの文化人は有望視しない fact9: もし仮に何かはプライベートカードであるとすれば「それは偉くないし加えて監視し易い」ということは成り立たない fact10: この能動が発電所建設でないとするとあの統計処理は信仰深くない fact11: 仮にこの能動が監視し易いとしたら静脈であるかまたは発電所建設でないかまたは両方ともだ fact12: もし仮にこの能動が監視し易いならそれは静脈であるかそれは発電所建設であるかまたは両方ともだ fact13: もしもこの能動が監視し易いとすればあの統計処理は発電所建設であるということはない fact14: もしもとある物は監視し易くないならば「それは預言者達であるしそれは信仰深いということはない」ということは間違いだ
fact11 & fact4 -> int1: この能動は静脈であるかあるいは発電所建設でない; int1 & fact3 -> hypothesis;
fact11 & fact4 -> int1: ({AA}{a} v ¬{AB}{a}); int1 & fact3 -> hypothesis;
あの統計処理は信仰深い
fact15 -> int2: もし仮に「あの統計処理は預言者達であるけれど信仰深くない」ということは本当でないとすればそれは信仰深い; fact19 -> int3: もし仮にあの統計処理は監視し易くないとすれば「それは預言者達であるしそれは信仰深くない」ということは偽だ; fact16 -> int4: もしこの能動はプライベートカードであるならば「「偉くないしそれは監視し易い」ということは事実である」ということは成り立つということはない; fact17 -> int5: もし仮にこの能動がカード・ゲームだとするとプライベートカードだ; int5 & fact18 -> int6: この能動はプライベートカードである; int4 & int6 -> int7: 「この能動は偉くないけど監視し易い」ということは事実と異なる; int7 -> int8: 「「偉くなくて加えて監視し易い」ということは成り立たない」ものはある;
$facts$ = fact1: もし「「なにがしかの物は預言者達であるがしかしそれは信仰深くない」ということは成り立つ」ということは成り立たないとすれば信仰深い fact2: この能動はカード・ゲームである fact3: 仮にこの能動が静脈であるか発電所建設でないかあるいは両方ともだとするとあの統計処理は信仰深くない fact4: この能動は監視し易い fact5: 仮に「なにがしかの物はカード・ゲームだ」ということは成り立つとすればそれはプライベートカードである fact6: この能動は戦国大名達でない fact7: この能動は静脈であるかまたは発電所建設である fact8: もし仮にこの能動が有望視しなくて信仰深くないとするとこの文化人は有望視しない fact9: もし仮に何かはプライベートカードであるとすれば「それは偉くないし加えて監視し易い」ということは成り立たない fact10: この能動が発電所建設でないとするとあの統計処理は信仰深くない fact11: 仮にこの能動が監視し易いとしたら静脈であるかまたは発電所建設でないかまたは両方ともだ fact12: もし仮にこの能動が監視し易いならそれは静脈であるかそれは発電所建設であるかまたは両方ともだ fact13: もしもこの能動が監視し易いとすればあの統計処理は発電所建設であるということはない fact14: もしもとある物は監視し易くないならば「それは預言者達であるしそれは信仰深いということはない」ということは間違いだ ; $hypothesis$ = あの統計処理は信仰深い ; $proof$ = 
fact11 & fact4 -> int1: この能動は静脈であるかあるいは発電所建設でない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「「なにがしかの物は預言者達であるがしかしそれは信仰深くない」ということは成り立つ」ということは成り立たないとすれば信仰深い
事実2: この能動はカード・ゲームである
事実3: 仮にこの能動が静脈であるか発電所建設でないかあるいは両方ともだとするとあの統計処理は信仰深くない
事実4: この能動は監視し易い
事実5: 仮に「なにがしかの物はカード・ゲームだ」ということは成り立つとすればそれはプライベートカードである
事実6: この能動は戦国大名達でない
事実7: この能動は静脈であるかまたは発電所建設である
事実8: もし仮にこの能動が有望視しなくて信仰深くないとするとこの文化人は有望視しない
事実9: もし仮に何かはプライベートカードであるとすれば「それは偉くないし加えて監視し易い」ということは成り立たない
事実10: この能動が発電所建設でないとするとあの統計処理は信仰深くない
事実11: 仮にこの能動が監視し易いとしたら静脈であるかまたは発電所建設でないかまたは両方ともだ
事実12: もし仮にこの能動が監視し易いならそれは静脈であるかそれは発電所建設であるかまたは両方ともだ
事実13: もしもこの能動が監視し易いとすればあの統計処理は発電所建設であるということはない
事実14: もしもとある物は監視し易くないならば「それは預言者達であるしそれは信仰深いということはない」ということは間違いだ

仮説: あの統計処理は信仰深い
1. 事実11と事実4から、推論1: "この能動は静脈であるかあるいは発電所建設でない"が導かれる
2. 推論1と事実3から、仮説が否定される

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