あの指導者間は療養中である
fact1: すべての物は来辛くない一方で三世代だ fact2: 出来易くないものは療養中である fact3: 「何らかのものは三分の一以上であるということはないしさらにそれは出来易くない」ということは事実と異なるとすると「療養中でない」ということは成り立つ fact4: もし仮に何らかのものは二十名余りでないとしたらそれは移行し易いし加えてぼろい fact5: 来辛くないものは三世代ならば「出来易いということはない」ということは真実である fact6: もしも「なにがしかの物は移行し易い」ということは正しいとすれば「それは三分の一以上でなくてまたそれは出来易くない」ということは成り立たない
fact5 -> int1: もし仮にあの指導者間は来辛くないけれど三世代だとするとそれは出来易くない; fact1 -> int2: あの指導者間は来辛くないけれどそれは三世代である; int1 & int2 -> int3: あの指導者間は出来易くない; fact2 -> int4: 仮にあの指導者間が出来易くないとすれば療養中である; int3 & int4 -> hypothesis;
あの指導者間は療養中でない
fact8 -> int5: もし「あの指導者間は三分の一以上でなくて出来易いということはない」ということは間違いだとすると「それは療養中でない」ということは真実である; fact7 -> int6: もしもあの指導者間は移行し易いとしたら「三分の一以上でなくておまけに出来易くない」ということは成り立たない; fact9 -> int7: もしあの指導者間が二十名余りでないとすればそれは移行し易くてぼろい;
$facts$ = fact1: すべての物は来辛くない一方で三世代だ fact2: 出来易くないものは療養中である fact3: 「何らかのものは三分の一以上であるということはないしさらにそれは出来易くない」ということは事実と異なるとすると「療養中でない」ということは成り立つ fact4: もし仮に何らかのものは二十名余りでないとしたらそれは移行し易いし加えてぼろい fact5: 来辛くないものは三世代ならば「出来易いということはない」ということは真実である fact6: もしも「なにがしかの物は移行し易い」ということは正しいとすれば「それは三分の一以上でなくてまたそれは出来易くない」ということは成り立たない ; $hypothesis$ = あの指導者間は療養中である ; $proof$ = 
fact5 -> int1: もし仮にあの指導者間は来辛くないけれど三世代だとするとそれは出来易くない; fact1 -> int2: あの指導者間は来辛くないけれどそれは三世代である; int1 & int2 -> int3: あの指導者間は出来易くない; fact2 -> int4: 仮にあの指導者間が出来易くないとすれば療養中である; int3 & int4 -> hypothesis; __PROVED__
事実1: すべての物は来辛くない一方で三世代だ
事実2: 出来易くないものは療養中である
事実3: 「何らかのものは三分の一以上であるということはないしさらにそれは出来易くない」ということは事実と異なるとすると「療養中でない」ということは成り立つ
事実4: もし仮に何らかのものは二十名余りでないとしたらそれは移行し易いし加えてぼろい
事実5: 来辛くないものは三世代ならば「出来易いということはない」ということは真実である
事実6: もしも「なにがしかの物は移行し易い」ということは正しいとすれば「それは三分の一以上でなくてまたそれは出来易くない」ということは成り立たない

仮説: あの指導者間は療養中である
1. 事実5から、推論1: "もし仮にあの指導者間は来辛くないけれど三世代だとするとそれは出来易くない"が導かれる
2. 事実1から、推論2: "あの指導者間は来辛くないけれどそれは三世代である"が導かれる
3. 推論1と推論2から、推論3: "あの指導者間は出来易くない"が導かれる
4. 事実2から、推論4: "仮にあの指導者間が出来易くないとすれば療養中である"が導かれる
5. 推論3と推論4から、仮説が導かれる

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