「「「消毒剤だしまた手挽きでない」ということは成り立たないとしたら押し掛けない」物はある」ということは成り立つということはない
fact1: 「あの概念体系は消毒剤であるけれど手挽きでない」ということは成り立たないとすればそれは押し掛けない
$facts$ = fact1: 「あの概念体系は消毒剤であるけれど手挽きでない」ということは成り立たないとすればそれは押し掛けない ; $hypothesis$ = 「「「消毒剤だしまた手挽きでない」ということは成り立たないとしたら押し掛けない」物はある」ということは成り立つということはない ; $proof$ = 
事実1: 「あの概念体系は消毒剤であるけれど手挽きでない」ということは成り立たないとすればそれは押し掛けない

仮説: 「「「消毒剤だしまた手挽きでない」ということは成り立たないとしたら押し掛けない」物はある」ということは成り立つということはない