この五道が書き難いならばこの継続教育は気忙しい
fact1: 仮にこの継続教育が源平だとするとこの五道は気忙しい fact2: 「この五道は気忙しい」ということは偽でないとすればあの継続教育は源平だ fact3: その解除は源平である fact4: あの四十代半ばは源平だ fact5: 「もしもこの五道が書き難いとするとこの五道は源平である」ということは偽だということはない fact6: 仮にこの五道が源平ならこの継続教育は気忙しい fact7: 仮にこの五道が源平ならこの継続教育は書き難い fact8: もしこの五道が気忙しいとしたらこの継続教育は書き難い
void -> assump1: 以下のように仮定する。この五道は書き難い; fact5 & assump1 -> int1: 「この五道は源平である」ということは事実だ; int1 & fact6 -> int2: この継続教育は気忙しい; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮にこの継続教育が源平だとするとこの五道は気忙しい fact2: 「この五道は気忙しい」ということは偽でないとすればあの継続教育は源平だ fact3: その解除は源平である fact4: あの四十代半ばは源平だ fact5: 「もしもこの五道が書き難いとするとこの五道は源平である」ということは偽だということはない fact6: 仮にこの五道が源平ならこの継続教育は気忙しい fact7: 仮にこの五道が源平ならこの継続教育は書き難い fact8: もしこの五道が気忙しいとしたらこの継続教育は書き難い ; $hypothesis$ = この五道が書き難いならばこの継続教育は気忙しい ; $proof$ = 
void -> assump1: 以下のように仮定する。この五道は書き難い; fact5 & assump1 -> int1: 「この五道は源平である」ということは事実だ; int1 & fact6 -> int2: この継続教育は気忙しい; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 仮にこの継続教育が源平だとするとこの五道は気忙しい
事実2: 「この五道は気忙しい」ということは偽でないとすればあの継続教育は源平だ
事実3: その解除は源平である
事実4: あの四十代半ばは源平だ
事実5: 「もしもこの五道が書き難いとするとこの五道は源平である」ということは偽だということはない
事実6: 仮にこの五道が源平ならこの継続教育は気忙しい
事実7: 仮にこの五道が源平ならこの継続教育は書き難い
事実8: もしこの五道が気忙しいとしたらこの継続教育は書き難い

仮説: この五道が書き難いならばこの継続教育は気忙しい
1. 仮定1: 以下のように仮定する。この五道は書き難い
2. 事実5と仮定1から、推論1: "「この五道は源平である」ということは事実だ"が導かれる
3. 推論1と事実6から、推論2: "この継続教育は気忙しい"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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