あのコンピテンシーは漢詩人である
fact1: この千八百五十年代は派生しない fact2: もし仮に何かは集権化だとしたら「その筑波大学付属小学校は頻出するし動かし難い」ということは事実と異なる fact3: 仮に「その筑波大学付属小学校は頻出するしその上動かし難い」ということは成り立つということはないとしたらこの河口は頻出しない fact4: もし仮に「なにがしかのものは派生しない」ということは偽でないならそれは漢詩人であるかあるいはしがないかあるいは両方ともだ fact5: その譲渡者は派生しない fact6: 仮にあのコンピテンシーがしがないということはないなら応ずるし更に漢詩人だ fact7: もしも「応ずるか弱さでない」ものがあるならばあの譲渡者はしがない fact8: この難所は集権化だ fact9: あのコンピテンシーは応ずる fact10: とあるものは繋ぎ融資でなくて肥えないならば「弱さでない」ということは確かである fact11: この河口が頻出しないとすれば繋ぎ融資だということはなくて肥えらない fact12: もしあのコンピテンシーがしがなくないとすると応ずる fact13: 仮にあのコンピテンシーがしがないならばその譲渡者は派生する fact14: もし「何らかの物はしがなくないし派生しない」ということは誤りならば漢詩人でない
void -> assump1: 以下のように仮定する。あのコンピテンシーはしがない; fact13 & assump1 -> int1: その譲渡者は派生する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのコンピテンシーはしがないということはない; int3 & fact6 -> int4: あのコンピテンシーは応ずるしその上漢詩人である; int4 -> hypothesis;
この宿泊案内は漢詩人だ
fact15 -> int5: もし仮にあのコンピテンシーが派生しないとしたら漢詩人であるかもしくはしがないかあるいは両方ともだ;
$facts$ = fact1: この千八百五十年代は派生しない fact2: もし仮に何かは集権化だとしたら「その筑波大学付属小学校は頻出するし動かし難い」ということは事実と異なる fact3: 仮に「その筑波大学付属小学校は頻出するしその上動かし難い」ということは成り立つということはないとしたらこの河口は頻出しない fact4: もし仮に「なにがしかのものは派生しない」ということは偽でないならそれは漢詩人であるかあるいはしがないかあるいは両方ともだ fact5: その譲渡者は派生しない fact6: 仮にあのコンピテンシーがしがないということはないなら応ずるし更に漢詩人だ fact7: もしも「応ずるか弱さでない」ものがあるならばあの譲渡者はしがない fact8: この難所は集権化だ fact9: あのコンピテンシーは応ずる fact10: とあるものは繋ぎ融資でなくて肥えないならば「弱さでない」ということは確かである fact11: この河口が頻出しないとすれば繋ぎ融資だということはなくて肥えらない fact12: もしあのコンピテンシーがしがなくないとすると応ずる fact13: 仮にあのコンピテンシーがしがないならばその譲渡者は派生する fact14: もし「何らかの物はしがなくないし派生しない」ということは誤りならば漢詩人でない ; $hypothesis$ = あのコンピテンシーは漢詩人である ; $proof$ = 
void -> assump1: 以下のように仮定する。あのコンピテンシーはしがない; fact13 & assump1 -> int1: その譲渡者は派生する; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのコンピテンシーはしがないということはない; int3 & fact6 -> int4: あのコンピテンシーは応ずるしその上漢詩人である; int4 -> hypothesis; __PROVED__
事実1: この千八百五十年代は派生しない
事実2: もし仮に何かは集権化だとしたら「その筑波大学付属小学校は頻出するし動かし難い」ということは事実と異なる
事実3: 仮に「その筑波大学付属小学校は頻出するしその上動かし難い」ということは成り立つということはないとしたらこの河口は頻出しない
事実4: もし仮に「なにがしかのものは派生しない」ということは偽でないならそれは漢詩人であるかあるいはしがないかあるいは両方ともだ
事実5: その譲渡者は派生しない
事実6: 仮にあのコンピテンシーがしがないということはないなら応ずるし更に漢詩人だ
事実7: もしも「応ずるか弱さでない」ものがあるならばあの譲渡者はしがない
事実8: この難所は集権化だ
事実9: あのコンピテンシーは応ずる
事実10: とあるものは繋ぎ融資でなくて肥えないならば「弱さでない」ということは確かである
事実11: この河口が頻出しないとすれば繋ぎ融資だということはなくて肥えらない
事実12: もしあのコンピテンシーがしがなくないとすると応ずる
事実13: 仮にあのコンピテンシーがしがないならばその譲渡者は派生する
事実14: もし「何らかの物はしがなくないし派生しない」ということは誤りならば漢詩人でない

仮説: あのコンピテンシーは漢詩人である
1. 仮定1: 以下のように仮定する。あのコンピテンシーはしがない
2. 事実13と仮定1から、推論1: "その譲渡者は派生する"が導かれる
3. 推論1と事実5から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "あのコンピテンシーはしがないということはない"が導かれる
5. 推論3と事実6から、推論4: "あのコンピテンシーは応ずるしその上漢詩人である"が導かれる
6. 推論4から、仮説が導かれる

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