この山折りは付け加わらない
fact1: この山折りが仮設例なら付け加わる fact2: この山折りは仮設例である
$facts$ = fact1: この山折りが仮設例なら付け加わる fact2: この山折りは仮設例である ; $hypothesis$ = この山折りは付け加わらない ; $proof$ = 
事実1: この山折りが仮設例なら付け加わる
事実2: この山折りは仮設例である

仮説: この山折りは付け加わらない