「このＫオンは落着しない」ということは事実と異ならない
fact1: 「「横領罪だしさらに例外無い」ということは事実と異なる」ものはある fact2: もしも「「横領罪であるしかつ例外無い」ということは事実でない」ものがあるならばあのＫオンは落着しない
$facts$ = fact1: 「「横領罪だしさらに例外無い」ということは事実と異なる」ものはある fact2: もしも「「横領罪であるしかつ例外無い」ということは事実でない」ものがあるならばあのＫオンは落着しない ; $hypothesis$ = 「このＫオンは落着しない」ということは事実と異ならない ; $proof$ = 
事実1: 「「横領罪だしさらに例外無い」ということは事実と異なる」ものはある
事実2: もしも「「横領罪であるしかつ例外無い」ということは事実でない」ものがあるならばあのＫオンは落着しない

仮説: 「このＫオンは落着しない」ということは事実と異ならない