この同日付けは汚い
fact1: 「あの道形は据え付ける」ということは成り立てばこの同日付けは汚い fact2: もし仮にあの道形が獅子舞だとすればこの同日付けは汚い fact3: あの道形は据え付けるかあるいは獅子舞であるかまたはどちらもだ
$facts$ = fact1: 「あの道形は据え付ける」ということは成り立てばこの同日付けは汚い fact2: もし仮にあの道形が獅子舞だとすればこの同日付けは汚い fact3: あの道形は据え付けるかあるいは獅子舞であるかまたはどちらもだ ; $hypothesis$ = この同日付けは汚い ; $proof$ = 
事実1: 「あの道形は据え付ける」ということは成り立てばこの同日付けは汚い
事実2: もし仮にあの道形が獅子舞だとすればこの同日付けは汚い
事実3: あの道形は据え付けるかあるいは獅子舞であるかまたはどちらもだ

仮説: この同日付けは汚い