「「「甚だしい」ということは事実だとすれば「まあるくないし悲しということはない」ということは正しくない」ものはある」ということは成り立たない
fact1: なんらかのものは甚だしいとすると「それはまあるい一方で悲しない」ということは事実でない fact2: 仮になにがしかのものは外苑であるならば「「女性らしくないしさらにそれは政府軍である」ということは成り立つ」ということは嘘である fact3: 「もしも甚だしいとすれば「まあるいがしかし悲しない」ということは誤りな」ものはある fact4: もし仮にある物は甚だしいならば「まあるいということはなくて悲しない」ということは嘘である fact5: 「もし仮になんらかの物はＭＴＣであるとすると「それは名付けないしかつ主要部品でない」ということは成り立たない」ということは成り立つ fact6: もしも何かは美々しいとしたら苦しないし更に答え得ない
fact4 -> int1: 仮に「あの鬼共は甚だしい」ということは成り立つとすると「まあるかないしまた悲しない」ということは成り立たない; int1 -> hypothesis;
fact4 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
「もしＭＴＣであるならば「名付けないし主要部品でない」ということは成り立たない」物はある
fact7 -> int2: あの得策はＭＴＣだとすると「名付けないし主要部品でない」ということは間違いである; int2 -> hypothesis;
$facts$ = fact1: なんらかのものは甚だしいとすると「それはまあるい一方で悲しない」ということは事実でない fact2: 仮になにがしかのものは外苑であるならば「「女性らしくないしさらにそれは政府軍である」ということは成り立つ」ということは嘘である fact3: 「もしも甚だしいとすれば「まあるいがしかし悲しない」ということは誤りな」ものはある fact4: もし仮にある物は甚だしいならば「まあるいということはなくて悲しない」ということは嘘である fact5: 「もし仮になんらかの物はＭＴＣであるとすると「それは名付けないしかつ主要部品でない」ということは成り立たない」ということは成り立つ fact6: もしも何かは美々しいとしたら苦しないし更に答え得ない ; $hypothesis$ = 「「「甚だしい」ということは事実だとすれば「まあるくないし悲しということはない」ということは正しくない」ものはある」ということは成り立たない ; $proof$ = 
fact4 -> int1: 仮に「あの鬼共は甚だしい」ということは成り立つとすると「まあるかないしまた悲しない」ということは成り立たない; int1 -> hypothesis; __DISPROVED__
事実1: なんらかのものは甚だしいとすると「それはまあるい一方で悲しない」ということは事実でない
事実2: 仮になにがしかのものは外苑であるならば「「女性らしくないしさらにそれは政府軍である」ということは成り立つ」ということは嘘である
事実3: 「もしも甚だしいとすれば「まあるいがしかし悲しない」ということは誤りな」ものはある
事実4: もし仮にある物は甚だしいならば「まあるいということはなくて悲しない」ということは嘘である
事実5: 「もし仮になんらかの物はＭＴＣであるとすると「それは名付けないしかつ主要部品でない」ということは成り立たない」ということは成り立つ
事実6: もしも何かは美々しいとしたら苦しないし更に答え得ない

仮説: 「「「甚だしい」ということは事実だとすれば「まあるくないし悲しということはない」ということは正しくない」ものはある」ということは成り立たない
1. 事実4から、推論1: "仮に「あの鬼共は甚だしい」ということは成り立つとすると「まあるかないしまた悲しない」ということは成り立たない"が導かれる
2. 推論1から、仮説が否定される

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