この地方派閥は突き掛かる
fact1: あの葉タバコ生産はデイリープログラムであるか会話らしい fact2: もしあの葉タバコ生産が会話らしいとすればあの地方派閥は使用段階である fact3: 「使用段階は転変しない」ということは事実である fact4: この地方派閥が礁だが燥ぐないならそれは突き掛かる fact5: もしもこの地方派閥が転変するということはないとしたら礁であるが燥ぐない fact6: もしあの葉タバコ生産がデイリープログラムであるならこの地方派閥は使用段階である
fact1 & fact6 & fact2 -> int1: この地方派閥は使用段階だ; fact3 -> int2: もし仮にこの地方派閥が使用段階なら転変しない; int1 & int2 -> int3: この地方派閥は転変しない; int3 & fact5 -> int4: この地方派閥は礁だけど燥ぐない; int4 & fact4 -> hypothesis;
$facts$ = fact1: あの葉タバコ生産はデイリープログラムであるか会話らしい fact2: もしあの葉タバコ生産が会話らしいとすればあの地方派閥は使用段階である fact3: 「使用段階は転変しない」ということは事実である fact4: この地方派閥が礁だが燥ぐないならそれは突き掛かる fact5: もしもこの地方派閥が転変するということはないとしたら礁であるが燥ぐない fact6: もしあの葉タバコ生産がデイリープログラムであるならこの地方派閥は使用段階である ; $hypothesis$ = この地方派閥は突き掛かる ; $proof$ = 
fact1 & fact6 & fact2 -> int1: この地方派閥は使用段階だ; fact3 -> int2: もし仮にこの地方派閥が使用段階なら転変しない; int1 & int2 -> int3: この地方派閥は転変しない; int3 & fact5 -> int4: この地方派閥は礁だけど燥ぐない; int4 & fact4 -> hypothesis; __PROVED__
事実1: あの葉タバコ生産はデイリープログラムであるか会話らしい
事実2: もしあの葉タバコ生産が会話らしいとすればあの地方派閥は使用段階である
事実3: 「使用段階は転変しない」ということは事実である
事実4: この地方派閥が礁だが燥ぐないならそれは突き掛かる
事実5: もしもこの地方派閥が転変するということはないとしたら礁であるが燥ぐない
事実6: もしあの葉タバコ生産がデイリープログラムであるならこの地方派閥は使用段階である

仮説: この地方派閥は突き掛かる
1. 事実1と事実6と事実2から、推論1: "この地方派閥は使用段階だ"が導かれる
2. 事実3から、推論2: "もし仮にこの地方派閥が使用段階なら転変しない"が導かれる
3. 推論1と推論2から、推論3: "この地方派閥は転変しない"が導かれる
4. 推論3と事実5から、推論4: "この地方派閥は礁だけど燥ぐない"が導かれる
5. 推論4と事実4から、仮説が導かれる

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