その総員退避は品種改良する
fact1: もしも「その高等課程は品種改良する」ということは正しいならば「その総員退避は工事する」ということは確かである fact2: もしあるものが使用し難いとすると工事する fact3: もしあの期間は使用し難いとしたら「その総員退避は使用し難くない」ということは事実と異なる fact4: もし仮にその高等課程が把握し辛いとすればその総員退避は品種改良する fact5: もしもその総員退避が把握し辛いとすればその高等課程は品種改良する fact6: 仮にその高等課程が開館する一方で把握し辛いということはないならその総員退避は把握し辛い fact7: もし仮に把握し辛いものが工事するとすると品種改良しない fact8: その高等課程は工事するし把握し辛い fact9: あの金物が著しかないとすればあの高等課程は開館する一方で把握し辛くない fact10: その高等課程は女々しい
fact8 -> int1: その高等課程は把握し辛い; int1 & fact4 -> hypothesis;
その総員退避は品種改良しない
fact14 -> int2: もしその総員退避は把握し辛くておまけに工事すれば品種改良しない; fact15 -> int3: その総員退避は使用し難いならば「それは工事する」ということは成り立つ;
$facts$ = fact1: もしも「その高等課程は品種改良する」ということは正しいならば「その総員退避は工事する」ということは確かである fact2: もしあるものが使用し難いとすると工事する fact3: もしあの期間は使用し難いとしたら「その総員退避は使用し難くない」ということは事実と異なる fact4: もし仮にその高等課程が把握し辛いとすればその総員退避は品種改良する fact5: もしもその総員退避が把握し辛いとすればその高等課程は品種改良する fact6: 仮にその高等課程が開館する一方で把握し辛いということはないならその総員退避は把握し辛い fact7: もし仮に把握し辛いものが工事するとすると品種改良しない fact8: その高等課程は工事するし把握し辛い fact9: あの金物が著しかないとすればあの高等課程は開館する一方で把握し辛くない fact10: その高等課程は女々しい ; $hypothesis$ = その総員退避は品種改良する ; $proof$ = 
fact8 -> int1: その高等課程は把握し辛い; int1 & fact4 -> hypothesis; __PROVED__
事実1: もしも「その高等課程は品種改良する」ということは正しいならば「その総員退避は工事する」ということは確かである
事実2: もしあるものが使用し難いとすると工事する
事実3: もしあの期間は使用し難いとしたら「その総員退避は使用し難くない」ということは事実と異なる
事実4: もし仮にその高等課程が把握し辛いとすればその総員退避は品種改良する
事実5: もしもその総員退避が把握し辛いとすればその高等課程は品種改良する
事実6: 仮にその高等課程が開館する一方で把握し辛いということはないならその総員退避は把握し辛い
事実7: もし仮に把握し辛いものが工事するとすると品種改良しない
事実8: その高等課程は工事するし把握し辛い
事実9: あの金物が著しかないとすればあの高等課程は開館する一方で把握し辛くない
事実10: その高等課程は女々しい

仮説: その総員退避は品種改良する
1. 事実8から、推論1: "その高等課程は把握し辛い"が導かれる
2. 推論1と事実4から、仮説が導かれる

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