「あの跛は麗々しいしおまけにそれは怪しい」ということは誤っている
fact1: このＯツーは無くさくない fact2: なにがしかのものは無くすということはないとすれば「それは麗々しいしおまけに怪しい」ということは間違いである fact3: あの胎盤はでっかい fact4: なにがしかのものが存在し得ないかまたはでっかくないとしたらそれは怪しい fact5: もし仮に何かは通り難くないかまたは合併し易くないかどちらもだとすればそれは存在し得る fact6: そのＫＧ／週は麗々しい fact7: あの跛は伝来しない fact8: あの胎盤は麗々しい fact9: もし仮に「あの胎盤は通り難いということはないけれど合併し易い」ということは成り立たないとするとあの跛は麗々しい fact10: そのＫＧ／週は無くさくない fact11: もしもなにがしかの物が怪しくないかもしくは存在し得ないかまたは両方ともであるとするとそれは通り難い fact12: あの跛は通り難くないかあるいはそれは麗々しいかもしくは両方だ fact13: あの跛は存在し得ないかでっかくないかまたはどちらもだ fact14: 仮にそのＫＧ／週は無くさくないなら「あの胎盤は通り難くないけど合併し易い」ということは誤りである
fact14 & fact10 -> int1: 「あの胎盤は通り難くない一方で合併し易い」ということは嘘である; int1 & fact9 -> int2: あの跛は麗々しい; fact4 -> int3: あの跛が存在し得ないかあるいはでっかくないとするとそれは怪しい; fact13 & int3 -> int4: あの跛は怪しい; int2 & int4 -> hypothesis;
fact14 & fact10 -> int1: ¬(¬{AA}{b} & {AB}{b}); int1 & fact9 -> int2: {B}{c}; fact4 -> int3: (¬{E}{c} v ¬{D}{c}) -> {C}{c}; fact13 & int3 -> int4: {C}{c}; int2 & int4 -> hypothesis;
「あの跛が麗々しいしその上それは怪しい」ということは成り立たない
fact15 -> int5: もし仮にあの跛は無くさくないならば「それは麗々しいし怪しい」ということは偽である;
$facts$ = fact1: このＯツーは無くさくない fact2: なにがしかのものは無くすということはないとすれば「それは麗々しいしおまけに怪しい」ということは間違いである fact3: あの胎盤はでっかい fact4: なにがしかのものが存在し得ないかまたはでっかくないとしたらそれは怪しい fact5: もし仮に何かは通り難くないかまたは合併し易くないかどちらもだとすればそれは存在し得る fact6: そのＫＧ／週は麗々しい fact7: あの跛は伝来しない fact8: あの胎盤は麗々しい fact9: もし仮に「あの胎盤は通り難いということはないけれど合併し易い」ということは成り立たないとするとあの跛は麗々しい fact10: そのＫＧ／週は無くさくない fact11: もしもなにがしかの物が怪しくないかもしくは存在し得ないかまたは両方ともであるとするとそれは通り難い fact12: あの跛は通り難くないかあるいはそれは麗々しいかもしくは両方だ fact13: あの跛は存在し得ないかでっかくないかまたはどちらもだ fact14: 仮にそのＫＧ／週は無くさくないなら「あの胎盤は通り難くないけど合併し易い」ということは誤りである ; $hypothesis$ = 「あの跛は麗々しいしおまけにそれは怪しい」ということは誤っている ; $proof$ = 
fact14 & fact10 -> int1: 「あの胎盤は通り難くない一方で合併し易い」ということは嘘である; int1 & fact9 -> int2: あの跛は麗々しい; fact4 -> int3: あの跛が存在し得ないかあるいはでっかくないとするとそれは怪しい; fact13 & int3 -> int4: あの跛は怪しい; int2 & int4 -> hypothesis; __DISPROVED__
事実1: このＯツーは無くさくない
事実2: なにがしかのものは無くすということはないとすれば「それは麗々しいしおまけに怪しい」ということは間違いである
事実3: あの胎盤はでっかい
事実4: なにがしかのものが存在し得ないかまたはでっかくないとしたらそれは怪しい
事実5: もし仮に何かは通り難くないかまたは合併し易くないかどちらもだとすればそれは存在し得る
事実6: そのＫＧ／週は麗々しい
事実7: あの跛は伝来しない
事実8: あの胎盤は麗々しい
事実9: もし仮に「あの胎盤は通り難いということはないけれど合併し易い」ということは成り立たないとするとあの跛は麗々しい
事実10: そのＫＧ／週は無くさくない
事実11: もしもなにがしかの物が怪しくないかもしくは存在し得ないかまたは両方ともであるとするとそれは通り難い
事実12: あの跛は通り難くないかあるいはそれは麗々しいかもしくは両方だ
事実13: あの跛は存在し得ないかでっかくないかまたはどちらもだ
事実14: 仮にそのＫＧ／週は無くさくないなら「あの胎盤は通り難くないけど合併し易い」ということは誤りである

仮説: 「あの跛は麗々しいしおまけにそれは怪しい」ということは誤っている
1. 事実14と事実10から、推論1: "「あの胎盤は通り難くない一方で合併し易い」ということは嘘である"が導かれる
2. 推論1と事実9から、推論2: "あの跛は麗々しい"が導かれる
3. 事実4から、推論3: "あの跛が存在し得ないかあるいはでっかくないとするとそれは怪しい"が導かれる
4. 事実13と推論3から、推論4: "あの跛は怪しい"が導かれる
5. 推論2と推論4から、仮説が否定される

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