仮に「このファイルマネージャーは面白おかしくなくて加えて血迷わない」ということは偽であるなら遣る瀬無くない
fact1: もし仮に「なにがしかのものは面白おかしいということはないし加えてそれは血迷わない」ということは間違いだとするとそれは遣る瀬無い fact2: もし仮にこのファイルマネージャーは面白おかしくないしかつ血迷うということはないならそれは遣る瀬無くない fact3: もしこのファイルマネージャーが面白おかしいとしたらそれは遣る瀬無くない fact4: もし仮に「このファイルマネージャーは面白おかしくないがしかし血迷う」ということは事実と異なれば遣る瀬無くない fact5: もしも「このファイルマネージャーは面白おかしくなくて更に血迷わない」ということは間違っているとすればそれは遣る瀬無い fact6: 面白おかしいものは遣る瀬無くない fact7: もし仮に面白おかしくない物が血迷わないならばそれは遣る瀬無くない fact8: もしも「なにかは面白おかしくないしそれは血迷わない」ということは確かでないとすると「遣る瀬無くない」ということは偽でない
fact8 -> hypothesis;
fact8 -> hypothesis;
$facts$ = fact1: もし仮に「なにがしかのものは面白おかしいということはないし加えてそれは血迷わない」ということは間違いだとするとそれは遣る瀬無い fact2: もし仮にこのファイルマネージャーは面白おかしくないしかつ血迷うということはないならそれは遣る瀬無くない fact3: もしこのファイルマネージャーが面白おかしいとしたらそれは遣る瀬無くない fact4: もし仮に「このファイルマネージャーは面白おかしくないがしかし血迷う」ということは事実と異なれば遣る瀬無くない fact5: もしも「このファイルマネージャーは面白おかしくなくて更に血迷わない」ということは間違っているとすればそれは遣る瀬無い fact6: 面白おかしいものは遣る瀬無くない fact7: もし仮に面白おかしくない物が血迷わないならばそれは遣る瀬無くない fact8: もしも「なにかは面白おかしくないしそれは血迷わない」ということは確かでないとすると「遣る瀬無くない」ということは偽でない ; $hypothesis$ = 仮に「このファイルマネージャーは面白おかしくなくて加えて血迷わない」ということは偽であるなら遣る瀬無くない ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし仮に「なにがしかのものは面白おかしいということはないし加えてそれは血迷わない」ということは間違いだとするとそれは遣る瀬無い
事実2: もし仮にこのファイルマネージャーは面白おかしくないしかつ血迷うということはないならそれは遣る瀬無くない
事実3: もしこのファイルマネージャーが面白おかしいとしたらそれは遣る瀬無くない
事実4: もし仮に「このファイルマネージャーは面白おかしくないがしかし血迷う」ということは事実と異なれば遣る瀬無くない
事実5: もしも「このファイルマネージャーは面白おかしくなくて更に血迷わない」ということは間違っているとすればそれは遣る瀬無い
事実6: 面白おかしいものは遣る瀬無くない
事実7: もし仮に面白おかしくない物が血迷わないならばそれは遣る瀬無くない
事実8: もしも「なにかは面白おかしくないしそれは血迷わない」ということは確かでないとすると「遣る瀬無くない」ということは偽でない

仮説: 仮に「このファイルマネージャーは面白おかしくなくて加えて血迷わない」ということは偽であるなら遣る瀬無くない
1. 事実8から、仮説が導かれる

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