そのファイルメーカープロアプリケーションは合祀する
fact1: もしも「この靴磨きは合点しないけれど南面する」ということは本当でないならそのファイルメーカープロアプリケーションは合祀する fact2: 「「この靴磨きは合点するということはないけど南面する」ということは確かである」ということは本当でない
$facts$ = fact1: もしも「この靴磨きは合点しないけれど南面する」ということは本当でないならそのファイルメーカープロアプリケーションは合祀する fact2: 「「この靴磨きは合点するということはないけど南面する」ということは確かである」ということは本当でない ; $hypothesis$ = そのファイルメーカープロアプリケーションは合祀する ; $proof$ = 
事実1: もしも「この靴磨きは合点しないけれど南面する」ということは本当でないならそのファイルメーカープロアプリケーションは合祀する
事実2: 「「この靴磨きは合点するということはないけど南面する」ということは確かである」ということは本当でない

仮説: そのファイルメーカープロアプリケーションは合祀する