「好き嫌いするということはないとすれば苦しくないけれどとんがる」物はある
fact1: あの白川郷が乏しいなら苦しくない fact2: 「好き嫌いしないならば苦しくない」ものはある fact3: もしも「あの白川郷は好き嫌いする」ということは成り立てばそれは苦しくないけどとんがる fact4: あの白川郷は許容条件である fact5: 「「仮に「好き嫌いする」ということは正しいならば苦しくないしかつとんがる」ものはある」ということは事実である fact6: もし仮にあの白川郷は許容条件であるとすればそれはとんがる fact7: もし仮にあの白川郷が好き嫌いしないかあるいはそれが乏しいとしたらそれは苦しいということはない
void -> assump1: 以下のように仮定する。あの白川郷は好き嫌いしない; assump1 -> int1: あの白川郷は好き嫌いしないかもしくは乏しい; int1 & fact7 -> int2: あの白川郷は苦しくない; fact4 & fact6 -> int3: あの白川郷はとんがる; int2 & int3 -> int4: あの白川郷は苦しくないけれどそれはとんがる; [assump1] & int4 -> int5: 仮にあの白川郷が好き嫌いしないとすればそれは苦しいということはないがとんがる; int5 -> hypothesis;
$facts$ = fact1: あの白川郷が乏しいなら苦しくない fact2: 「好き嫌いしないならば苦しくない」ものはある fact3: もしも「あの白川郷は好き嫌いする」ということは成り立てばそれは苦しくないけどとんがる fact4: あの白川郷は許容条件である fact5: 「「仮に「好き嫌いする」ということは正しいならば苦しくないしかつとんがる」ものはある」ということは事実である fact6: もし仮にあの白川郷は許容条件であるとすればそれはとんがる fact7: もし仮にあの白川郷が好き嫌いしないかあるいはそれが乏しいとしたらそれは苦しいということはない ; $hypothesis$ = 「好き嫌いするということはないとすれば苦しくないけれどとんがる」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの白川郷は好き嫌いしない; assump1 -> int1: あの白川郷は好き嫌いしないかもしくは乏しい; int1 & fact7 -> int2: あの白川郷は苦しくない; fact4 & fact6 -> int3: あの白川郷はとんがる; int2 & int3 -> int4: あの白川郷は苦しくないけれどそれはとんがる; [assump1] & int4 -> int5: 仮にあの白川郷が好き嫌いしないとすればそれは苦しいということはないがとんがる; int5 -> hypothesis; __PROVED__
事実1: あの白川郷が乏しいなら苦しくない
事実2: 「好き嫌いしないならば苦しくない」ものはある
事実3: もしも「あの白川郷は好き嫌いする」ということは成り立てばそれは苦しくないけどとんがる
事実4: あの白川郷は許容条件である
事実5: 「「仮に「好き嫌いする」ということは正しいならば苦しくないしかつとんがる」ものはある」ということは事実である
事実6: もし仮にあの白川郷は許容条件であるとすればそれはとんがる
事実7: もし仮にあの白川郷が好き嫌いしないかあるいはそれが乏しいとしたらそれは苦しいということはない

仮説: 「好き嫌いするということはないとすれば苦しくないけれどとんがる」物はある
1. 仮定1: 以下のように仮定する。あの白川郷は好き嫌いしない
2. 仮定1から、推論1: "あの白川郷は好き嫌いしないかもしくは乏しい"が導かれる
3. 推論1と事実7から、推論2: "あの白川郷は苦しくない"が導かれる
4. 事実4と事実6から、推論3: "あの白川郷はとんがる"が導かれる
5. 推論2と推論3から、推論4: "あの白川郷は苦しくないけれどそれはとんがる"が導かれる
6. [仮定1]と推論4から、推論5: "仮にあの白川郷が好き嫌いしないとすればそれは苦しいということはないがとんがる"が導かれる
7. 推論5から、仮説が導かれる

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