「その庁堂は願い出る」ということは間違っていない
fact1: そのコントロールメニューアイコンは願い出る fact2: そのコントロールメニューアイコンは錆無い fact3: もしも「錆無いか御構い無いかもしくは両方ともな」ものがあるならその庁堂は願い出る fact4: 「「御構い無い」ということは成り立つ」物があるとすればその庁堂は願い出る fact5: 「錆無いかもしくは願い出るかもしくは両方な」物はある fact6: もしとある物が錆無いかまたは御構い無いか両方ともならばそのコントロールメニューアイコンは願い出る fact7: もし「そのコントロールメニューアイコンは執り行うということはないがしかし発生する」ということは偽だとするとその庁堂は執り行う fact8: もしもその庁堂は執り行うとすると「錆無いしさらに御構い無くない」ということは確かでない fact9: そのコントロールメニューアイコンは感受出来る
fact2 -> int1: そのコントロールメニューアイコンは錆無いかそれは御構い無い; int1 -> int2: 「錆無いか御構い無いか両方である」物はある; int2 & fact3 -> hypothesis;
その庁堂は願い出るということはない
$facts$ = fact1: そのコントロールメニューアイコンは願い出る fact2: そのコントロールメニューアイコンは錆無い fact3: もしも「錆無いか御構い無いかもしくは両方ともな」ものがあるならその庁堂は願い出る fact4: 「「御構い無い」ということは成り立つ」物があるとすればその庁堂は願い出る fact5: 「錆無いかもしくは願い出るかもしくは両方な」物はある fact6: もしとある物が錆無いかまたは御構い無いか両方ともならばそのコントロールメニューアイコンは願い出る fact7: もし「そのコントロールメニューアイコンは執り行うということはないがしかし発生する」ということは偽だとするとその庁堂は執り行う fact8: もしもその庁堂は執り行うとすると「錆無いしさらに御構い無くない」ということは確かでない fact9: そのコントロールメニューアイコンは感受出来る ; $hypothesis$ = 「その庁堂は願い出る」ということは間違っていない ; $proof$ = 
fact2 -> int1: そのコントロールメニューアイコンは錆無いかそれは御構い無い; int1 -> int2: 「錆無いか御構い無いか両方である」物はある; int2 & fact3 -> hypothesis; __PROVED__
事実1: そのコントロールメニューアイコンは願い出る
事実2: そのコントロールメニューアイコンは錆無い
事実3: もしも「錆無いか御構い無いかもしくは両方ともな」ものがあるならその庁堂は願い出る
事実4: 「「御構い無い」ということは成り立つ」物があるとすればその庁堂は願い出る
事実5: 「錆無いかもしくは願い出るかもしくは両方な」物はある
事実6: もしとある物が錆無いかまたは御構い無いか両方ともならばそのコントロールメニューアイコンは願い出る
事実7: もし「そのコントロールメニューアイコンは執り行うということはないがしかし発生する」ということは偽だとするとその庁堂は執り行う
事実8: もしもその庁堂は執り行うとすると「錆無いしさらに御構い無くない」ということは確かでない
事実9: そのコントロールメニューアイコンは感受出来る

仮説: 「その庁堂は願い出る」ということは間違っていない
1. 事実2から、推論1: "そのコントロールメニューアイコンは錆無いかそれは御構い無い"が導かれる
2. 推論1から、推論2: "「錆無いか御構い無いか両方である」物はある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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