「このＭ．Ｇ．Ｆ．は折り曲げ部分でない」ということは成り立つ
fact1: 仮にこのＭ．Ｇ．Ｆ．がゼムストボ会議ならあの照準器は折り曲げ部分だ fact2: あの照準器がゼムストボ会議であるとしたらこのＭ．Ｇ．Ｆ．は折り曲げ部分である fact3: もしも「何らかの物はゼムストボ会議であるということはないかまたは丸っこくないかもしくはどちらもである」ということは偽だとしたら折り曲げ部分でない fact4: あの照準器はゼムストボ会議である
fact2 & fact4 -> hypothesis;
fact2 & fact4 -> hypothesis;
このＭ．Ｇ．Ｆ．は折り曲げ部分でない
fact5 -> int1: 「このＭ．Ｇ．Ｆ．はゼムストボ会議でないかそれは丸っこいということはないか両方だ」ということは真実でないとすればそれは折り曲げ部分でない;
$facts$ = fact1: 仮にこのＭ．Ｇ．Ｆ．がゼムストボ会議ならあの照準器は折り曲げ部分だ fact2: あの照準器がゼムストボ会議であるとしたらこのＭ．Ｇ．Ｆ．は折り曲げ部分である fact3: もしも「何らかの物はゼムストボ会議であるということはないかまたは丸っこくないかもしくはどちらもである」ということは偽だとしたら折り曲げ部分でない fact4: あの照準器はゼムストボ会議である ; $hypothesis$ = 「このＭ．Ｇ．Ｆ．は折り曲げ部分でない」ということは成り立つ ; $proof$ = 
fact2 & fact4 -> hypothesis; __DISPROVED__
事実1: 仮にこのＭ．Ｇ．Ｆ．がゼムストボ会議ならあの照準器は折り曲げ部分だ
事実2: あの照準器がゼムストボ会議であるとしたらこのＭ．Ｇ．Ｆ．は折り曲げ部分である
事実3: もしも「何らかの物はゼムストボ会議であるということはないかまたは丸っこくないかもしくはどちらもである」ということは偽だとしたら折り曲げ部分でない
事実4: あの照準器はゼムストボ会議である

仮説: 「このＭ．Ｇ．Ｆ．は折り曲げ部分でない」ということは成り立つ
1. 事実2と事実4から、仮説が否定される

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