もしもそのフォルダウィンドウはピラミッド型組織でないしそれにはつらないとするとそれはルーラーでない
fact1: 仮になにかはピラミッド型組織でないしかつはつらないとするとルーラーでない
$facts$ = fact1: 仮になにかはピラミッド型組織でないしかつはつらないとするとルーラーでない ; $hypothesis$ = もしもそのフォルダウィンドウはピラミッド型組織でないしそれにはつらないとするとそれはルーラーでない ; $proof$ = 
事実1: 仮になにかはピラミッド型組織でないしかつはつらないとするとルーラーでない

仮説: もしもそのフォルダウィンドウはピラミッド型組織でないしそれにはつらないとするとそれはルーラーでない