この不浄はダウンサイジングでない
fact1: この不浄は保証期間でないしそれは御辛くない fact2: もしもこの不浄は保証期間でないし御辛くないとしたらダウンサイジングだ
$facts$ = fact1: この不浄は保証期間でないしそれは御辛くない fact2: もしもこの不浄は保証期間でないし御辛くないとしたらダウンサイジングだ ; $hypothesis$ = この不浄はダウンサイジングでない ; $proof$ = 
事実1: この不浄は保証期間でないしそれは御辛くない
事実2: もしもこの不浄は保証期間でないし御辛くないとしたらダウンサイジングだ

仮説: この不浄はダウンサイジングでない