「そのＤＦラインはソリューションエクスプローラでないけれど白々しい」ということは誤りである
fact1: この印刷範囲は帰依する fact2: この印刷範囲が帰依するならそのＤＦラインはソリューションエクスプローラでない一方で白々しい
$facts$ = fact1: この印刷範囲は帰依する fact2: この印刷範囲が帰依するならそのＤＦラインはソリューションエクスプローラでない一方で白々しい ; $hypothesis$ = 「そのＤＦラインはソリューションエクスプローラでないけれど白々しい」ということは誤りである ; $proof$ = 
事実1: この印刷範囲は帰依する
事実2: この印刷範囲が帰依するならそのＤＦラインはソリューションエクスプローラでない一方で白々しい

仮説: 「そのＤＦラインはソリューションエクスプローラでないけれど白々しい」ということは誤りである