もし仮にこの連隊長殿が主帝釈天であるならばこの出産休暇は出入りし易くないし瘤であるということはない
fact1: この連隊長殿が瘤であるならばこの使い物は主帝釈天でない fact2: この出産休暇は主帝釈天だ一方で瘤でない fact3: もし仮にこの連隊長殿が主帝釈天ならこの使い物は瘤である fact4: 仮にこの使い物が瘤だとすればこの出産休暇は出入りし易くないし瘤であるということはない fact5: もし仮に「この連隊長殿は主帝釈天である」ということは確かであるとしたらこの出産休暇は瘤でない
void -> assump1: 以下のように仮定する。この連隊長殿は主帝釈天である; fact3 & assump1 -> int1: この使い物は瘤である; int1 & fact4 -> int2: この出産休暇は出入りし易くないしかつ瘤でない; [assump1] & int2 -> hypothesis;
$facts$ = fact1: この連隊長殿が瘤であるならばこの使い物は主帝釈天でない fact2: この出産休暇は主帝釈天だ一方で瘤でない fact3: もし仮にこの連隊長殿が主帝釈天ならこの使い物は瘤である fact4: 仮にこの使い物が瘤だとすればこの出産休暇は出入りし易くないし瘤であるということはない fact5: もし仮に「この連隊長殿は主帝釈天である」ということは確かであるとしたらこの出産休暇は瘤でない ; $hypothesis$ = もし仮にこの連隊長殿が主帝釈天であるならばこの出産休暇は出入りし易くないし瘤であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。この連隊長殿は主帝釈天である; fact3 & assump1 -> int1: この使い物は瘤である; int1 & fact4 -> int2: この出産休暇は出入りし易くないしかつ瘤でない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: この連隊長殿が瘤であるならばこの使い物は主帝釈天でない
事実2: この出産休暇は主帝釈天だ一方で瘤でない
事実3: もし仮にこの連隊長殿が主帝釈天ならこの使い物は瘤である
事実4: 仮にこの使い物が瘤だとすればこの出産休暇は出入りし易くないし瘤であるということはない
事実5: もし仮に「この連隊長殿は主帝釈天である」ということは確かであるとしたらこの出産休暇は瘤でない

仮説: もし仮にこの連隊長殿が主帝釈天であるならばこの出産休暇は出入りし易くないし瘤であるということはない
1. 仮定1: 以下のように仮定する。この連隊長殿は主帝釈天である
2. 事実3と仮定1から、推論1: "この使い物は瘤である"が導かれる
3. 推論1と事実4から、推論2: "この出産休暇は出入りし易くないしかつ瘤でない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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