このサービス利用がみみっちくないけど痛み易いとするとこの行政能力はちっちゃくない
fact1: 「痛み易い」物はある fact2: この行政能力は大修行者である fact3: みみっちくない物が痛み易いとすればあの行政能力はちっちゃい fact4: もしもみみっちくない物が痛み易いとするとこの行政能力はちっちゃいということはない fact5: 仮に何らかの物が棄却だということはないとするとそれは痛み易いししかもそれはみみっちくない fact6: もしもなんらかの物がみみっちくないとしたらそれはちっちゃくない fact7: なんらかのものは有性生殖しない一方で大修行者である fact8: なにがしかのものは病気するかもしくは棄却でないかまたは両方ともなら棄却でない fact9: もしもみみっちいし痛み易いものがあるとするとこの行政能力はちっちゃくない
void -> assump1: 以下のように仮定する。このサービス利用はみみっちくない一方で痛み易い; assump1 -> int1: なにかはみみっちくないが痛み易い; int1 & fact4 -> int2: この行政能力はちっちゃくない; [assump1] & int2 -> hypothesis;
その書院番頭はちっちゃくない
fact13 -> int3: もし仮にその書院番頭がみみっちくないとしたらちっちゃくない; fact11 -> int4: もしその書院番頭は棄却でないとしたらそれは痛み易いがしかしみみっちくない; fact10 -> int5: もしその書院番頭は病気するかもしくは棄却でないか両方ともだとするとそれは棄却でない; fact12 -> int6: 「大修行者な」ものはある;
$facts$ = fact1: 「痛み易い」物はある fact2: この行政能力は大修行者である fact3: みみっちくない物が痛み易いとすればあの行政能力はちっちゃい fact4: もしもみみっちくない物が痛み易いとするとこの行政能力はちっちゃいということはない fact5: 仮に何らかの物が棄却だということはないとするとそれは痛み易いししかもそれはみみっちくない fact6: もしもなんらかの物がみみっちくないとしたらそれはちっちゃくない fact7: なんらかのものは有性生殖しない一方で大修行者である fact8: なにがしかのものは病気するかもしくは棄却でないかまたは両方ともなら棄却でない fact9: もしもみみっちいし痛み易いものがあるとするとこの行政能力はちっちゃくない ; $hypothesis$ = このサービス利用がみみっちくないけど痛み易いとするとこの行政能力はちっちゃくない ; $proof$ = 
void -> assump1: 以下のように仮定する。このサービス利用はみみっちくない一方で痛み易い; assump1 -> int1: なにかはみみっちくないが痛み易い; int1 & fact4 -> int2: この行政能力はちっちゃくない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: 「痛み易い」物はある
事実2: この行政能力は大修行者である
事実3: みみっちくない物が痛み易いとすればあの行政能力はちっちゃい
事実4: もしもみみっちくない物が痛み易いとするとこの行政能力はちっちゃいということはない
事実5: 仮に何らかの物が棄却だということはないとするとそれは痛み易いししかもそれはみみっちくない
事実6: もしもなんらかの物がみみっちくないとしたらそれはちっちゃくない
事実7: なんらかのものは有性生殖しない一方で大修行者である
事実8: なにがしかのものは病気するかもしくは棄却でないかまたは両方ともなら棄却でない
事実9: もしもみみっちいし痛み易いものがあるとするとこの行政能力はちっちゃくない

仮説: このサービス利用がみみっちくないけど痛み易いとするとこの行政能力はちっちゃくない
1. 仮定1: 以下のように仮定する。このサービス利用はみみっちくない一方で痛み易い
2. 仮定1から、推論1: "なにかはみみっちくないが痛み易い"が導かれる
3. 推論1と事実4から、推論2: "この行政能力はちっちゃくない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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