その破産手続きは馬鹿馬鹿しかないしそれは詳細セクションでない
fact1: もしそのＯＳグッドは民訴規ならば「その破産手続きが馬鹿馬鹿しかないしその上それは詳細セクションだということはない」ということは事実と異なる fact2: そのＯＳグッドは民訴規だ
$facts$ = fact1: もしそのＯＳグッドは民訴規ならば「その破産手続きが馬鹿馬鹿しかないしその上それは詳細セクションだということはない」ということは事実と異なる fact2: そのＯＳグッドは民訴規だ ; $hypothesis$ = その破産手続きは馬鹿馬鹿しかないしそれは詳細セクションでない ; $proof$ = 
事実1: もしそのＯＳグッドは民訴規ならば「その破産手続きが馬鹿馬鹿しかないしその上それは詳細セクションだということはない」ということは事実と異なる
事実2: そのＯＳグッドは民訴規だ

仮説: その破産手続きは馬鹿馬鹿しかないしそれは詳細セクションでない