もしもその隠し毎は接近し易いとしたら「それはかったるい」ということは本当である
fact1: すべては接近し易い fact2: その隠し毎は誘発し易い fact3: その第六種特別約款は火葬する一方で忘れ難くない fact4: その隠し毎は忘れ難くない fact5: その隠し毎は物珍しい fact6: 仮に見難い物は理屈っぽくないとすれば「それは誤診する」ということは成り立つ fact7: もし仮になんらかの物は接近し易い一方で忘れ難くないならかったるい
void -> assump1: 以下のように仮定する。その隠し毎は接近し易い; assump1 & fact4 -> int1: その隠し毎は接近し易いけどそれは忘れ難いということはない; fact7 -> int2: もしその隠し毎は接近し易いけど忘れ難くないとすればかったるい; int1 & int2 -> int3: 「その隠し毎はかったるい」ということは成り立つ; [assump1] & int3 -> hypothesis;
あのトイレ伯母さんはかったるくない
fact8 -> int4: その寺院建築は接近し易い;
$facts$ = fact1: すべては接近し易い fact2: その隠し毎は誘発し易い fact3: その第六種特別約款は火葬する一方で忘れ難くない fact4: その隠し毎は忘れ難くない fact5: その隠し毎は物珍しい fact6: 仮に見難い物は理屈っぽくないとすれば「それは誤診する」ということは成り立つ fact7: もし仮になんらかの物は接近し易い一方で忘れ難くないならかったるい ; $hypothesis$ = もしもその隠し毎は接近し易いとしたら「それはかったるい」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。その隠し毎は接近し易い; assump1 & fact4 -> int1: その隠し毎は接近し易いけどそれは忘れ難いということはない; fact7 -> int2: もしその隠し毎は接近し易いけど忘れ難くないとすればかったるい; int1 & int2 -> int3: 「その隠し毎はかったるい」ということは成り立つ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: すべては接近し易い
事実2: その隠し毎は誘発し易い
事実3: その第六種特別約款は火葬する一方で忘れ難くない
事実4: その隠し毎は忘れ難くない
事実5: その隠し毎は物珍しい
事実6: 仮に見難い物は理屈っぽくないとすれば「それは誤診する」ということは成り立つ
事実7: もし仮になんらかの物は接近し易い一方で忘れ難くないならかったるい

仮説: もしもその隠し毎は接近し易いとしたら「それはかったるい」ということは本当である
1. 仮定1: 以下のように仮定する。その隠し毎は接近し易い
2. 仮定1と事実4から、推論1: "その隠し毎は接近し易いけどそれは忘れ難いということはない"が導かれる
3. 事実7から、推論2: "もしその隠し毎は接近し易いけど忘れ難くないとすればかったるい"が導かれる
4. 推論1と推論2から、推論3: "「その隠し毎はかったるい」ということは成り立つ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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