「「とろくてかつ粗暴でない」物はある」ということは成り立つということはない
fact1: このキー入力はとろいけど粗暴でない
$facts$ = fact1: このキー入力はとろいけど粗暴でない ; $hypothesis$ = 「「とろくてかつ粗暴でない」物はある」ということは成り立つということはない ; $proof$ = 
事実1: このキー入力はとろいけど粗暴でない

仮説: 「「とろくてかつ粗暴でない」物はある」ということは成り立つということはない