その文意は開始アイコンでない
fact1: その文意は淡いということはない fact2: その文意が乾燥過程だということはないとしたら歩み寄る fact3: その文意は歩み寄る fact4: なんらかの物がうかうかするとすれば乾燥過程でないし言い出し難くない fact5: そのバシレイアが聞き辛いけれど親しみ易くないとしたらその文意は開始アイコンである fact6: その文意は乾燥過程でない fact7: もし仮にあのビタミンＤが聞き辛くないとするとそれは尊攘派であるがしかし用途向けでない fact8: 仮に「その文意は親しみ易くない」ということは成り立てば「それは歩み寄るしかつ植菌しない」ということは間違いだ fact9: その湿気は開始アイコンだ fact10: 仮にその文意がおもろいかもしくは口汚いかあるいは両方だとしたらごたごたしない fact11: 親しみ易いかまたは聞き辛いかもしくは両方である物は開始アイコンでない fact12: 疲れ難くないものは歩み寄るが役らしくない fact13: もしその文意が乾燥過程でないとすると歩み寄るしおまけにそれは植菌するということはない
void -> assump1: 以下のように仮定する。その文意は親しみ易くない; fact8 & assump1 -> int1: 「その文意は歩み寄るがしかしそれは植菌しない」ということは誤っている; fact6 & fact13 -> int2: その文意は歩み寄るが植菌しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その文意は親しみ易い; int4 -> int5: その文意は親しみ易いかもしくは聞き辛い; fact11 -> int6: 仮にその文意が親しみ易いかあるいは聞き辛いかあるいは両方ともであるならそれは開始アイコンでない; int5 & int6 -> hypothesis;
その文意は開始アイコンだ
fact15 -> int7: 仮にこの○○○教会がうかうかするとするとそれは乾燥過程でないしそれは言い出し難くない;
$facts$ = fact1: その文意は淡いということはない fact2: その文意が乾燥過程だということはないとしたら歩み寄る fact3: その文意は歩み寄る fact4: なんらかの物がうかうかするとすれば乾燥過程でないし言い出し難くない fact5: そのバシレイアが聞き辛いけれど親しみ易くないとしたらその文意は開始アイコンである fact6: その文意は乾燥過程でない fact7: もし仮にあのビタミンＤが聞き辛くないとするとそれは尊攘派であるがしかし用途向けでない fact8: 仮に「その文意は親しみ易くない」ということは成り立てば「それは歩み寄るしかつ植菌しない」ということは間違いだ fact9: その湿気は開始アイコンだ fact10: 仮にその文意がおもろいかもしくは口汚いかあるいは両方だとしたらごたごたしない fact11: 親しみ易いかまたは聞き辛いかもしくは両方である物は開始アイコンでない fact12: 疲れ難くないものは歩み寄るが役らしくない fact13: もしその文意が乾燥過程でないとすると歩み寄るしおまけにそれは植菌するということはない ; $hypothesis$ = その文意は開始アイコンでない ; $proof$ = 
void -> assump1: 以下のように仮定する。その文意は親しみ易くない; fact8 & assump1 -> int1: 「その文意は歩み寄るがしかしそれは植菌しない」ということは誤っている; fact6 & fact13 -> int2: その文意は歩み寄るが植菌しない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その文意は親しみ易い; int4 -> int5: その文意は親しみ易いかもしくは聞き辛い; fact11 -> int6: 仮にその文意が親しみ易いかあるいは聞き辛いかあるいは両方ともであるならそれは開始アイコンでない; int5 & int6 -> hypothesis; __PROVED__
事実1: その文意は淡いということはない
事実2: その文意が乾燥過程だということはないとしたら歩み寄る
事実3: その文意は歩み寄る
事実4: なんらかの物がうかうかするとすれば乾燥過程でないし言い出し難くない
事実5: そのバシレイアが聞き辛いけれど親しみ易くないとしたらその文意は開始アイコンである
事実6: その文意は乾燥過程でない
事実7: もし仮にあのビタミンＤが聞き辛くないとするとそれは尊攘派であるがしかし用途向けでない
事実8: 仮に「その文意は親しみ易くない」ということは成り立てば「それは歩み寄るしかつ植菌しない」ということは間違いだ
事実9: その湿気は開始アイコンだ
事実10: 仮にその文意がおもろいかもしくは口汚いかあるいは両方だとしたらごたごたしない
事実11: 親しみ易いかまたは聞き辛いかもしくは両方である物は開始アイコンでない
事実12: 疲れ難くないものは歩み寄るが役らしくない
事実13: もしその文意が乾燥過程でないとすると歩み寄るしおまけにそれは植菌するということはない

仮説: その文意は開始アイコンでない
1. 仮定1: 以下のように仮定する。その文意は親しみ易くない
2. 事実8と仮定1から、推論1: "「その文意は歩み寄るがしかしそれは植菌しない」ということは誤っている"が導かれる
3. 事実6と事実13から、推論2: "その文意は歩み寄るが植菌しない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その文意は親しみ易い"が導かれる
6. 推論4から、推論5: "その文意は親しみ易いかもしくは聞き辛い"が導かれる
7. 事実11から、推論6: "仮にその文意が親しみ易いかあるいは聞き辛いかあるいは両方ともであるならそれは開始アイコンでない"が導かれる
8. 推論5と推論6から、仮説が導かれる

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