そのＫタームは立言でない
fact1: このチャンセラーは重筋作業であるかまたはそれは狙い易くない fact2: もしもこのチャンセラーが重筋作業であるならばあのＫタームは立言だ fact3: このチャンセラーが狙い易いということはないならそのＫタームは立言である
$facts$ = fact1: このチャンセラーは重筋作業であるかまたはそれは狙い易くない fact2: もしもこのチャンセラーが重筋作業であるならばあのＫタームは立言だ fact3: このチャンセラーが狙い易いということはないならそのＫタームは立言である ; $hypothesis$ = そのＫタームは立言でない ; $proof$ = 
事実1: このチャンセラーは重筋作業であるかまたはそれは狙い易くない
事実2: もしもこのチャンセラーが重筋作業であるならばあのＫタームは立言だ
事実3: このチャンセラーが狙い易いということはないならそのＫタームは立言である

仮説: そのＫタームは立言でない