「その一Ｍは民間消費でないしそれにそれは芳しいということはない」ということは成り立たない
fact1: 「その平滑筋はピボットグラフでないがしかし握り易い」ということは事実と異なる fact2: もしあの搭乗機は厚み方向であるとしたら「その一Ｍは民間消費でなくてかつそれは芳しくない」ということは事実と異なる fact3: あの搭乗機は厚み方向である
fact2 & fact3 -> hypothesis;
$facts$ = fact1: 「その平滑筋はピボットグラフでないがしかし握り易い」ということは事実と異なる fact2: もしあの搭乗機は厚み方向であるとしたら「その一Ｍは民間消費でなくてかつそれは芳しくない」ということは事実と異なる fact3: あの搭乗機は厚み方向である ; $hypothesis$ = 「その一Ｍは民間消費でないしそれにそれは芳しいということはない」ということは成り立たない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: 「その平滑筋はピボットグラフでないがしかし握り易い」ということは事実と異なる
事実2: もしあの搭乗機は厚み方向であるとしたら「その一Ｍは民間消費でなくてかつそれは芳しくない」ということは事実と異なる
事実3: あの搭乗機は厚み方向である

仮説: 「その一Ｍは民間消費でないしそれにそれは芳しいということはない」ということは成り立たない
1. 事実2と事実3から、仮説が導かれる

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