そのズボンは適合出来ない
fact1: それは名札でないし更に製品特性であるという物はない fact2: もし最初は素晴らしくないとすると「不浄である」ということは成り立つ fact3: 仰々しくなくてしかも起こり易い物はない fact4: 仰々しいししかも起こり易いというものはない fact5: もしとあるものが仰々しいなら適合出来ない fact6: 何かは掛け難いなら「細大でない」ということは成り立つ fact7: 魅惑するし味方スタッフだというものはない fact8: 「そのズボンは受け入れ易いししかもアクセスし易い」ということは嘘だ fact9: 「あるものは仰々しくないがそれは起こり易い」ということは偽であるとすれば適合出来ない fact10: 「そのズボンは仰々しくて起こり易い」ということは嘘だ fact11: そのズボンは仰々しいとすると「それは適合出来ない」ということは真実だ
fact3 -> int1: 「そのズボンは仰々しくないがしかしそれは起こり易い」ということは偽だ; fact9 -> int2: 「そのズボンは仰々しいということはないけれど起こり易い」ということは成り立つということはないとすればそれは適合出来ない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & {AB}{aa}); fact9 -> int2: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{A}{aa}; int1 & int2 -> hypothesis;
そのズボンは適合出来る
fact12 -> int3: もし仮にその射程外が最初だけどそれが素晴らしいということはないとすれば不浄だ;
$facts$ = fact1: それは名札でないし更に製品特性であるという物はない fact2: もし最初は素晴らしくないとすると「不浄である」ということは成り立つ fact3: 仰々しくなくてしかも起こり易い物はない fact4: 仰々しいししかも起こり易いというものはない fact5: もしとあるものが仰々しいなら適合出来ない fact6: 何かは掛け難いなら「細大でない」ということは成り立つ fact7: 魅惑するし味方スタッフだというものはない fact8: 「そのズボンは受け入れ易いししかもアクセスし易い」ということは嘘だ fact9: 「あるものは仰々しくないがそれは起こり易い」ということは偽であるとすれば適合出来ない fact10: 「そのズボンは仰々しくて起こり易い」ということは嘘だ fact11: そのズボンは仰々しいとすると「それは適合出来ない」ということは真実だ ; $hypothesis$ = そのズボンは適合出来ない ; $proof$ = 
fact3 -> int1: 「そのズボンは仰々しくないがしかしそれは起こり易い」ということは偽だ; fact9 -> int2: 「そのズボンは仰々しいということはないけれど起こり易い」ということは成り立つということはないとすればそれは適合出来ない; int1 & int2 -> hypothesis; __PROVED__
事実1: それは名札でないし更に製品特性であるという物はない
事実2: もし最初は素晴らしくないとすると「不浄である」ということは成り立つ
事実3: 仰々しくなくてしかも起こり易い物はない
事実4: 仰々しいししかも起こり易いというものはない
事実5: もしとあるものが仰々しいなら適合出来ない
事実6: 何かは掛け難いなら「細大でない」ということは成り立つ
事実7: 魅惑するし味方スタッフだというものはない
事実8: 「そのズボンは受け入れ易いししかもアクセスし易い」ということは嘘だ
事実9: 「あるものは仰々しくないがそれは起こり易い」ということは偽であるとすれば適合出来ない
事実10: 「そのズボンは仰々しくて起こり易い」ということは嘘だ
事実11: そのズボンは仰々しいとすると「それは適合出来ない」ということは真実だ

仮説: そのズボンは適合出来ない
1. 事実3から、推論1: "「そのズボンは仰々しくないがしかしそれは起こり易い」ということは偽だ"が導かれる
2. 事実9から、推論2: "「そのズボンは仰々しいということはないけれど起こり易い」ということは成り立つということはないとすればそれは適合出来ない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。