この桟道は整頓する
fact1: この調子丸は緩み易いかまたは言いっこ無しであるかあるいは両方ともである fact2: この調子丸が言いっこ無しであるとすればあの桟道は整頓する fact3: もしもこの調子丸が緩み易いならばこの桟道は整頓する
$facts$ = fact1: この調子丸は緩み易いかまたは言いっこ無しであるかあるいは両方ともである fact2: この調子丸が言いっこ無しであるとすればあの桟道は整頓する fact3: もしもこの調子丸が緩み易いならばこの桟道は整頓する ; $hypothesis$ = この桟道は整頓する ; $proof$ = 
事実1: この調子丸は緩み易いかまたは言いっこ無しであるかあるいは両方ともである
事実2: この調子丸が言いっこ無しであるとすればあの桟道は整頓する
事実3: もしもこの調子丸が緩み易いならばこの桟道は整頓する

仮説: この桟道は整頓する