その第十四集は暗所である
fact1: もしもなにがしかの物が委任ならそれは暗所でない fact2: もしあるものが改選するか終点でないとすれば「終点でない」ということは事実である fact3: もし仮にその第十四集は口封じでないなら「それは委任でないがしかし慎み深い」ということは事実であるということはない fact4: その第十四集は口封じでない fact5: 「なにかは委任でないがしかし慎み深い」ということは誤っているとすると「暗所でない」ということは事実である fact6: もし仮にその水溶液が口封じだがしかし発展段階でないとすればその第十四集は暗所だ fact7: もし仮にこのブズーキがナチス党大会でないとするとそれは改選するし更に飲み難い
fact3 & fact4 -> int1: 「その第十四集は委任でないがしかし慎み深い」ということは成り立たない; fact5 -> int2: もし「その第十四集は委任でないけど慎み深い」ということは成り立たないとしたら「暗所でない」ということは真実だ; int1 & int2 -> hypothesis;
fact3 & fact4 -> int1: ¬(¬{AA}{a} & {AB}{a}); fact5 -> int2: ¬(¬{AA}{a} & {AB}{a}) -> ¬{B}{a}; int1 & int2 -> hypothesis;
その第十四集は暗所だ
fact8 -> int3: もし仮にこのブズーキが改選するかそれは終点だということはないかあるいはどちらもだとすると終点でない;
$facts$ = fact1: もしもなにがしかの物が委任ならそれは暗所でない fact2: もしあるものが改選するか終点でないとすれば「終点でない」ということは事実である fact3: もし仮にその第十四集は口封じでないなら「それは委任でないがしかし慎み深い」ということは事実であるということはない fact4: その第十四集は口封じでない fact5: 「なにかは委任でないがしかし慎み深い」ということは誤っているとすると「暗所でない」ということは事実である fact6: もし仮にその水溶液が口封じだがしかし発展段階でないとすればその第十四集は暗所だ fact7: もし仮にこのブズーキがナチス党大会でないとするとそれは改選するし更に飲み難い ; $hypothesis$ = その第十四集は暗所である ; $proof$ = 
fact3 & fact4 -> int1: 「その第十四集は委任でないがしかし慎み深い」ということは成り立たない; fact5 -> int2: もし「その第十四集は委任でないけど慎み深い」ということは成り立たないとしたら「暗所でない」ということは真実だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかの物が委任ならそれは暗所でない
事実2: もしあるものが改選するか終点でないとすれば「終点でない」ということは事実である
事実3: もし仮にその第十四集は口封じでないなら「それは委任でないがしかし慎み深い」ということは事実であるということはない
事実4: その第十四集は口封じでない
事実5: 「なにかは委任でないがしかし慎み深い」ということは誤っているとすると「暗所でない」ということは事実である
事実6: もし仮にその水溶液が口封じだがしかし発展段階でないとすればその第十四集は暗所だ
事実7: もし仮にこのブズーキがナチス党大会でないとするとそれは改選するし更に飲み難い

仮説: その第十四集は暗所である
1. 事実3と事実4から、推論1: "「その第十四集は委任でないがしかし慎み深い」ということは成り立たない"が導かれる
2. 事実5から、推論2: "もし「その第十四集は委任でないけど慎み深い」ということは成り立たないとしたら「暗所でない」ということは真実だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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