その弱酸性は長くない
fact1: この権力関係は長いということはない fact2: この培養条件は酷いということはないとしたら「その弱酸性はオープン価格でない」ということは正しい fact3: もしこのチャットサーバーは過不足無いとしたら「この培養条件は検討し直す」ということは確かだ fact4: この培養条件は酷くない fact5: その弱酸性はオープン価格でない fact6: もしもこの培養条件が酷くないならばその弱酸性は長くないしそれにオープン価格でない
fact6 & fact4 -> int1: その弱酸性は長いということはないしそれはオープン価格でない; int1 -> hypothesis;
その弱酸性は長い
$facts$ = fact1: この権力関係は長いということはない fact2: この培養条件は酷いということはないとしたら「その弱酸性はオープン価格でない」ということは正しい fact3: もしこのチャットサーバーは過不足無いとしたら「この培養条件は検討し直す」ということは確かだ fact4: この培養条件は酷くない fact5: その弱酸性はオープン価格でない fact6: もしもこの培養条件が酷くないならばその弱酸性は長くないしそれにオープン価格でない ; $hypothesis$ = その弱酸性は長くない ; $proof$ = 
fact6 & fact4 -> int1: その弱酸性は長いということはないしそれはオープン価格でない; int1 -> hypothesis; __PROVED__
事実1: この権力関係は長いということはない
事実2: この培養条件は酷いということはないとしたら「その弱酸性はオープン価格でない」ということは正しい
事実3: もしこのチャットサーバーは過不足無いとしたら「この培養条件は検討し直す」ということは確かだ
事実4: この培養条件は酷くない
事実5: その弱酸性はオープン価格でない
事実6: もしもこの培養条件が酷くないならばその弱酸性は長くないしそれにオープン価格でない

仮説: その弱酸性は長くない
1. 事実6と事実4から、推論1: "その弱酸性は長いということはないしそれはオープン価格でない"が導かれる
2. 推論1から、仮説が導かれる

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