あのハーブ園はインストール出来ない
fact1: もしもこの性格構造はＯＢ臭いならば「あの悪霊追放は通覧する」ということは成り立つ fact2: 仮に「通覧する」物があるならばあのハーブ園はインストール出来るということはない fact3: 「通覧する」物はある fact4: もしもあの累積債務がＯＢ臭いとすればこの性格構造はＯＢ臭い fact5: もしもあの悪霊追放が通覧するとしたらあのハーブ園はインストール出来る
fact3 & fact2 -> hypothesis;
fact3 & fact2 -> hypothesis;
あのハーブ園はインストール出来る
$facts$ = fact1: もしもこの性格構造はＯＢ臭いならば「あの悪霊追放は通覧する」ということは成り立つ fact2: 仮に「通覧する」物があるならばあのハーブ園はインストール出来るということはない fact3: 「通覧する」物はある fact4: もしもあの累積債務がＯＢ臭いとすればこの性格構造はＯＢ臭い fact5: もしもあの悪霊追放が通覧するとしたらあのハーブ園はインストール出来る ; $hypothesis$ = あのハーブ園はインストール出来ない ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: もしもこの性格構造はＯＢ臭いならば「あの悪霊追放は通覧する」ということは成り立つ
事実2: 仮に「通覧する」物があるならばあのハーブ園はインストール出来るということはない
事実3: 「通覧する」物はある
事実4: もしもあの累積債務がＯＢ臭いとすればこの性格構造はＯＢ臭い
事実5: もしもあの悪霊追放が通覧するとしたらあのハーブ園はインストール出来る

仮説: あのハーブ園はインストール出来ない
1. 事実3と事実2から、仮説が導かれる

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