このモジュール性は私有する
fact1: このセサミストリートは私有する fact2: このモジュール性は私有する fact3: もし仮にこの起立時が大声であるということはないししかも限定すらないとすればこのモジュール性は私有しない
fact2 -> hypothesis;
fact2 -> hypothesis;
このモジュール性は私有しない
$facts$ = fact1: このセサミストリートは私有する fact2: このモジュール性は私有する fact3: もし仮にこの起立時が大声であるということはないししかも限定すらないとすればこのモジュール性は私有しない ; $hypothesis$ = このモジュール性は私有する ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: このセサミストリートは私有する
事実2: このモジュール性は私有する
事実3: もし仮にこの起立時が大声であるということはないししかも限定すらないとすればこのモジュール性は私有しない

仮説: このモジュール性は私有する
1. 事実2から、仮説が導かれる

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