そのＤＩＸオンは保続しない
fact1: もしも「あの柔襞はだらし無くないけど軽自動車だ」ということは成り立たないとすれば「そのＤＩＸオンは保続しない」ということは確かである fact2: なんらかの物は編纂趣旨であるということはないならばそれは保続する fact3: 仮にそのＤＩＸオンがだらし無くないとすればあの柔襞は保続するということはない fact4: 「「あの柔襞はだらし無くない一方で軽自動車だ」ということは成り立つということはない」ということは事実である
fact1 & fact4 -> hypothesis;
fact1 & fact4 -> hypothesis;
そのＤＩＸオンは保続する
fact5 -> int1: 仮にそのＤＩＸオンが編纂趣旨だということはないならばそれは保続する;
$facts$ = fact1: もしも「あの柔襞はだらし無くないけど軽自動車だ」ということは成り立たないとすれば「そのＤＩＸオンは保続しない」ということは確かである fact2: なんらかの物は編纂趣旨であるということはないならばそれは保続する fact3: 仮にそのＤＩＸオンがだらし無くないとすればあの柔襞は保続するということはない fact4: 「「あの柔襞はだらし無くない一方で軽自動車だ」ということは成り立つということはない」ということは事実である ; $hypothesis$ = そのＤＩＸオンは保続しない ; $proof$ = 
fact1 & fact4 -> hypothesis; __PROVED__
事実1: もしも「あの柔襞はだらし無くないけど軽自動車だ」ということは成り立たないとすれば「そのＤＩＸオンは保続しない」ということは確かである
事実2: なんらかの物は編纂趣旨であるということはないならばそれは保続する
事実3: 仮にそのＤＩＸオンがだらし無くないとすればあの柔襞は保続するということはない
事実4: 「「あの柔襞はだらし無くない一方で軽自動車だ」ということは成り立つということはない」ということは事実である

仮説: そのＤＩＸオンは保続しない
1. 事実1と事実4から、仮説が導かれる

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