その入り口部は掛かり過ぎない
fact1: もし仮に「その設定登録はどうしても欲しくないけれど掛かり過ぎる」ということは真実でないならばその入り口部は死ぬ fact2: 「その設定登録は死なないけどそれは掛かり過ぎる」ということは嘘である fact3: 仮に「その設定登録はどうしても欲しい」ということは正しいとすればその入り口部は掛かり過ぎる fact4: 「その設定登録はどうしても欲しくて死ぬ」ということは事実と異なる fact5: もし仮に「その入り口部はどうしても欲しくないけれど死ぬ」ということは本当でないとすればその設定登録は掛かり過ぎる fact6: もしも「その設定登録はどうしても欲しいということはないけど死ぬ」ということは偽であるならその入り口部は掛かり過ぎる fact7: 「「その設定登録はどうしても欲しいということはないが死ぬ」ということは成り立つということはない」ということは成り立つ
fact6 & fact7 -> hypothesis;
fact6 & fact7 -> hypothesis;
$facts$ = fact1: もし仮に「その設定登録はどうしても欲しくないけれど掛かり過ぎる」ということは真実でないならばその入り口部は死ぬ fact2: 「その設定登録は死なないけどそれは掛かり過ぎる」ということは嘘である fact3: 仮に「その設定登録はどうしても欲しい」ということは正しいとすればその入り口部は掛かり過ぎる fact4: 「その設定登録はどうしても欲しくて死ぬ」ということは事実と異なる fact5: もし仮に「その入り口部はどうしても欲しくないけれど死ぬ」ということは本当でないとすればその設定登録は掛かり過ぎる fact6: もしも「その設定登録はどうしても欲しいということはないけど死ぬ」ということは偽であるならその入り口部は掛かり過ぎる fact7: 「「その設定登録はどうしても欲しいということはないが死ぬ」ということは成り立つということはない」ということは成り立つ ; $hypothesis$ = その入り口部は掛かり過ぎない ; $proof$ = 
fact6 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮に「その設定登録はどうしても欲しくないけれど掛かり過ぎる」ということは真実でないならばその入り口部は死ぬ
事実2: 「その設定登録は死なないけどそれは掛かり過ぎる」ということは嘘である
事実3: 仮に「その設定登録はどうしても欲しい」ということは正しいとすればその入り口部は掛かり過ぎる
事実4: 「その設定登録はどうしても欲しくて死ぬ」ということは事実と異なる
事実5: もし仮に「その入り口部はどうしても欲しくないけれど死ぬ」ということは本当でないとすればその設定登録は掛かり過ぎる
事実6: もしも「その設定登録はどうしても欲しいということはないけど死ぬ」ということは偽であるならその入り口部は掛かり過ぎる
事実7: 「「その設定登録はどうしても欲しいということはないが死ぬ」ということは成り立つということはない」ということは成り立つ

仮説: その入り口部は掛かり過ぎない
1. 事実6と事実7から、仮説が否定される

よって、仮説が否定されました。