この沖鱠は改姓しない
fact1: もしある物が悟らすしそれにそれが納刀すれば改姓しない fact2: 仮にその終身書記はツリー構造であるとすると「この政治家は悟らす」ということは真実である fact3: この政治家は黒しない fact4: もしもある物が改姓しないとすればそれは見苦しくて加えて視察する fact5: もしその終身書記が視察しないとするとあの万民は見苦しくない fact6: あの万民は豚肋だとすれば「出版局でないかそれは根強いかもしくはどちらもである」ということは成り立たない fact7: 仮に「この政治家は黒しない」ということは正しいなら「その終身書記は冷め易くないかまたは利用され易いということはないかまたはどちらもである」ということは間違いだ fact8: もし「あの万民は出版局でないか根強いか両方ともだ」ということは成り立たないならば「その終身書記は根強くない」ということは本当だ fact9: もしもこの沖鱠が視察しないしそれは黒しということはないなら「改姓しない」ということは成り立つ fact10: もしもあの万民が見苦しくないならばこの沖鱠は改姓する fact11: なにがしかの物は噴流である一方でそれは潔くない fact12: あの万民は発表し合う fact13: その終身書記が根強いということはないとすれば悟らすかまたはそれはツリー構造であるかもしくは両方ともだ fact14: もしもあの万民が発表し合うとするとそれは豚肋だ fact15: 仮に「その終身書記は悟らす」ということは真実ならこの政治家は悟らす fact16: もしも「なにかは冷め易くないかあるいは利用され易いということはないかあるいは両方ともである」ということは嘘であるとしたらそれは視察しない
fact7 & fact3 -> int1: 「その終身書記は冷め易くないかまたは利用され易くない」ということは成り立たない; fact16 -> int2: もしも「その終身書記は冷め易いということはないかもしくは利用され易くないかあるいは両方である」ということは誤っているとしたらそれは視察しない; int1 & int2 -> int3: その終身書記は視察するということはない; int3 & fact5 -> int4: あの万民は見苦しくない; int4 & fact10 -> hypothesis;
この沖鱠は改姓しない
$facts$ = fact1: もしある物が悟らすしそれにそれが納刀すれば改姓しない fact2: 仮にその終身書記はツリー構造であるとすると「この政治家は悟らす」ということは真実である fact3: この政治家は黒しない fact4: もしもある物が改姓しないとすればそれは見苦しくて加えて視察する fact5: もしその終身書記が視察しないとするとあの万民は見苦しくない fact6: あの万民は豚肋だとすれば「出版局でないかそれは根強いかもしくはどちらもである」ということは成り立たない fact7: 仮に「この政治家は黒しない」ということは正しいなら「その終身書記は冷め易くないかまたは利用され易いということはないかまたはどちらもである」ということは間違いだ fact8: もし「あの万民は出版局でないか根強いか両方ともだ」ということは成り立たないならば「その終身書記は根強くない」ということは本当だ fact9: もしもこの沖鱠が視察しないしそれは黒しということはないなら「改姓しない」ということは成り立つ fact10: もしもあの万民が見苦しくないならばこの沖鱠は改姓する fact11: なにがしかの物は噴流である一方でそれは潔くない fact12: あの万民は発表し合う fact13: その終身書記が根強いということはないとすれば悟らすかまたはそれはツリー構造であるかもしくは両方ともだ fact14: もしもあの万民が発表し合うとするとそれは豚肋だ fact15: 仮に「その終身書記は悟らす」ということは真実ならこの政治家は悟らす fact16: もしも「なにかは冷め易くないかあるいは利用され易いということはないかあるいは両方ともである」ということは嘘であるとしたらそれは視察しない ; $hypothesis$ = この沖鱠は改姓しない ; $proof$ = 
fact7 & fact3 -> int1: 「その終身書記は冷め易くないかまたは利用され易くない」ということは成り立たない; fact16 -> int2: もしも「その終身書記は冷め易いということはないかもしくは利用され易くないかあるいは両方である」ということは誤っているとしたらそれは視察しない; int1 & int2 -> int3: その終身書記は視察するということはない; int3 & fact5 -> int4: あの万民は見苦しくない; int4 & fact10 -> hypothesis; __DISPROVED__
事実1: もしある物が悟らすしそれにそれが納刀すれば改姓しない
事実2: 仮にその終身書記はツリー構造であるとすると「この政治家は悟らす」ということは真実である
事実3: この政治家は黒しない
事実4: もしもある物が改姓しないとすればそれは見苦しくて加えて視察する
事実5: もしその終身書記が視察しないとするとあの万民は見苦しくない
事実6: あの万民は豚肋だとすれば「出版局でないかそれは根強いかもしくはどちらもである」ということは成り立たない
事実7: 仮に「この政治家は黒しない」ということは正しいなら「その終身書記は冷め易くないかまたは利用され易いということはないかまたはどちらもである」ということは間違いだ
事実8: もし「あの万民は出版局でないか根強いか両方ともだ」ということは成り立たないならば「その終身書記は根強くない」ということは本当だ
事実9: もしもこの沖鱠が視察しないしそれは黒しということはないなら「改姓しない」ということは成り立つ
事実10: もしもあの万民が見苦しくないならばこの沖鱠は改姓する
事実11: なにがしかの物は噴流である一方でそれは潔くない
事実12: あの万民は発表し合う
事実13: その終身書記が根強いということはないとすれば悟らすかまたはそれはツリー構造であるかもしくは両方ともだ
事実14: もしもあの万民が発表し合うとするとそれは豚肋だ
事実15: 仮に「その終身書記は悟らす」ということは真実ならこの政治家は悟らす
事実16: もしも「なにかは冷め易くないかあるいは利用され易いということはないかあるいは両方ともである」ということは嘘であるとしたらそれは視察しない

仮説: この沖鱠は改姓しない
1. 事実7と事実3から、推論1: "「その終身書記は冷め易くないかまたは利用され易くない」ということは成り立たない"が導かれる
2. 事実16から、推論2: "もしも「その終身書記は冷め易いということはないかもしくは利用され易くないかあるいは両方である」ということは誤っているとしたらそれは視察しない"が導かれる
3. 推論1と推論2から、推論3: "その終身書記は視察するということはない"が導かれる
4. 推論3と事実5から、推論4: "あの万民は見苦しくない"が導かれる
5. 推論4と事実10から、仮説が否定される

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