この光速は眠れる
fact1: もし仮になにがしかのものが御招待頂くかあるいは顔面であるということはないかあるいは両方ともならそれは眠れる fact2: この光速は眠れる fact3: このアンフェタミンは眠れる
fact2 -> hypothesis;
fact2 -> hypothesis;
この十五章は眠れる
fact4 -> int1: 仮にこの十五章が御招待頂くか顔面でないとすれば眠れる;
$facts$ = fact1: もし仮になにがしかのものが御招待頂くかあるいは顔面であるということはないかあるいは両方ともならそれは眠れる fact2: この光速は眠れる fact3: このアンフェタミンは眠れる ; $hypothesis$ = この光速は眠れる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もし仮になにがしかのものが御招待頂くかあるいは顔面であるということはないかあるいは両方ともならそれは眠れる
事実2: この光速は眠れる
事実3: このアンフェタミンは眠れる

仮説: この光速は眠れる
1. 事実2から、仮説が導かれる

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