その投与が未練はましくらなくて瑞々しくない
fact1: もしもあるものが務めだということはないならばラザク体制でないしおまけに安楽死しない fact2: その投与が未練はましくらないししかもそれは瑞々しいということはない fact3: あらゆる物は務めでない
fact2 -> hypothesis;
fact2 -> hypothesis;
「その投与が未練はましくらないしかつ瑞々しくない」ということは誤っている
fact4 -> int1: もしこの圧搾原料は務めであるということはないとすればラザク体制であるということはないしその上安楽死しない; fact5 -> int2: この圧搾原料は務めでない; int1 & int2 -> int3: この圧搾原料はラザク体制でないしその上安楽死しない; int3 -> int4: すべてはラザク体制でなくておまけに安楽死しない; int4 -> int5: その格納容器はラザク体制でないしかつ安楽死しない; int5 -> int6: 「ラザク体制でないしかつ安楽死しない」物はある;
$facts$ = fact1: もしもあるものが務めだということはないならばラザク体制でないしおまけに安楽死しない fact2: その投与が未練はましくらないししかもそれは瑞々しいということはない fact3: あらゆる物は務めでない ; $hypothesis$ = その投与が未練はましくらなくて瑞々しくない ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしもあるものが務めだということはないならばラザク体制でないしおまけに安楽死しない
事実2: その投与が未練はましくらないししかもそれは瑞々しいということはない
事実3: あらゆる物は務めでない

仮説: その投与が未練はましくらなくて瑞々しくない
1. 事実2から、仮説が導かれる

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