そのパートタイマーは筋違いだ
fact1: 仮にそのパートタイマーがいじましいとすれば筋違いである fact2: そのパートタイマーはいじましい
$facts$ = fact1: 仮にそのパートタイマーがいじましいとすれば筋違いである fact2: そのパートタイマーはいじましい ; $hypothesis$ = そのパートタイマーは筋違いだ ; $proof$ = 
事実1: 仮にそのパートタイマーがいじましいとすれば筋違いである
事実2: そのパートタイマーはいじましい

仮説: そのパートタイマーは筋違いだ