「そのポル・ポト派はＱＲＳ幅でないがしかし分離し易い」ということは間違いである
fact1: もし「そのポル・ポト派は隣接行列である」ということは正しいとすると「ＱＲＳ幅でなくて分離し易い」ということは誤りである fact2: そのポル・ポト派は隣接行列だ
$facts$ = fact1: もし「そのポル・ポト派は隣接行列である」ということは正しいとすると「ＱＲＳ幅でなくて分離し易い」ということは誤りである fact2: そのポル・ポト派は隣接行列だ ; $hypothesis$ = 「そのポル・ポト派はＱＲＳ幅でないがしかし分離し易い」ということは間違いである ; $proof$ = 
事実1: もし「そのポル・ポト派は隣接行列である」ということは正しいとすると「ＱＲＳ幅でなくて分離し易い」ということは誤りである
事実2: そのポル・ポト派は隣接行列だ

仮説: 「そのポル・ポト派はＱＲＳ幅でないがしかし分離し易い」ということは間違いである