「もし仮に「定着するということはなくて加えて左遷しない」ということは成り立つということはないならば「易しいということはない」ということは成り立つ」物はある
fact1: もし「「何らかの物は定着しないしおまけに左遷しない」ということは成り立つ」ということは嘘であるとすればそれは易しくない fact2: もしも「何らかの物は定着するが左遷しない」ということは間違っているとすれば易しくない
fact1 -> int1: もし仮に「あの大英帝国は定着しなくて加えてそれは左遷しない」ということは事実でないならばそれは易しくない; int1 -> hypothesis;
$facts$ = fact1: もし「「何らかの物は定着しないしおまけに左遷しない」ということは成り立つ」ということは嘘であるとすればそれは易しくない fact2: もしも「何らかの物は定着するが左遷しない」ということは間違っているとすれば易しくない ; $hypothesis$ = 「もし仮に「定着するということはなくて加えて左遷しない」ということは成り立つということはないならば「易しいということはない」ということは成り立つ」物はある ; $proof$ = 
fact1 -> int1: もし仮に「あの大英帝国は定着しなくて加えてそれは左遷しない」ということは事実でないならばそれは易しくない; int1 -> hypothesis; __PROVED__
事実1: もし「「何らかの物は定着しないしおまけに左遷しない」ということは成り立つ」ということは嘘であるとすればそれは易しくない
事実2: もしも「何らかの物は定着するが左遷しない」ということは間違っているとすれば易しくない

仮説: 「もし仮に「定着するということはなくて加えて左遷しない」ということは成り立つということはないならば「易しいということはない」ということは成り立つ」物はある
1. 事実1から、推論1: "もし仮に「あの大英帝国は定着しなくて加えてそれは左遷しない」ということは事実でないならばそれは易しくない"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。