この最短距離は休眠状態でないし開国しない
fact1: もしも何かは住宅計画であるとするとそれはややこしくない fact2: この最短距離は休眠状態でない fact3: この最短距離は開国しない fact4: あの細胞達は開国しないし業務内容でない fact5: この最短距離がややこしくてさらにそれが休眠状態だとすればあのＭＯ原子は休眠状態であるということはない fact6: その養殖は開国するということはない fact7: もしもあるものはややこしくないとしたら「休眠状態でないしその上開国しない」ということは成り立たない fact8: この最短距離は自殺しない
fact2 & fact3 -> hypothesis;
fact2 & fact3 -> hypothesis;
このＭＯ原子は休眠状態でない
$facts$ = fact1: もしも何かは住宅計画であるとするとそれはややこしくない fact2: この最短距離は休眠状態でない fact3: この最短距離は開国しない fact4: あの細胞達は開国しないし業務内容でない fact5: この最短距離がややこしくてさらにそれが休眠状態だとすればあのＭＯ原子は休眠状態であるということはない fact6: その養殖は開国するということはない fact7: もしもあるものはややこしくないとしたら「休眠状態でないしその上開国しない」ということは成り立たない fact8: この最短距離は自殺しない ; $hypothesis$ = この最短距離は休眠状態でないし開国しない ; $proof$ = 
fact2 & fact3 -> hypothesis; __PROVED__
事実1: もしも何かは住宅計画であるとするとそれはややこしくない
事実2: この最短距離は休眠状態でない
事実3: この最短距離は開国しない
事実4: あの細胞達は開国しないし業務内容でない
事実5: この最短距離がややこしくてさらにそれが休眠状態だとすればあのＭＯ原子は休眠状態であるということはない
事実6: その養殖は開国するということはない
事実7: もしもあるものはややこしくないとしたら「休眠状態でないしその上開国しない」ということは成り立たない
事実8: この最短距離は自殺しない

仮説: この最短距離は休眠状態でないし開国しない
1. 事実2と事実3から、仮説が導かれる

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