その晃洋書房は引き起こし易くない
fact1: 「「女子生徒でないしさらに昇格しない」ということは誤りな」物はある fact2: もしも「「女子生徒でないし更に昇格しない」ということは誤りである」物があるとするとその晃洋書房は葬地でない fact3: この呉市史は葬地だ fact4: 「葬地でないしさらに引き起こし易くない」物はある fact5: もしその福木並木が渡海しないか昇格するならその晃洋書房は女子生徒でない fact6: もしその晃洋書房が引き起こし易いとするとそれは葬地である
void -> assump1: 以下のように仮定する。その晃洋書房は引き起こし易い; fact6 & assump1 -> int1: その晃洋書房は葬地だ; fact1 & fact2 -> int2: その晃洋書房は葬地でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact6 & assump1 -> int1: {B}{a}; fact1 & fact2 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
その晃洋書房は引き起こし易い
$facts$ = fact1: 「「女子生徒でないしさらに昇格しない」ということは誤りな」物はある fact2: もしも「「女子生徒でないし更に昇格しない」ということは誤りである」物があるとするとその晃洋書房は葬地でない fact3: この呉市史は葬地だ fact4: 「葬地でないしさらに引き起こし易くない」物はある fact5: もしその福木並木が渡海しないか昇格するならその晃洋書房は女子生徒でない fact6: もしその晃洋書房が引き起こし易いとするとそれは葬地である ; $hypothesis$ = その晃洋書房は引き起こし易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。その晃洋書房は引き起こし易い; fact6 & assump1 -> int1: その晃洋書房は葬地だ; fact1 & fact2 -> int2: その晃洋書房は葬地でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: 「「女子生徒でないしさらに昇格しない」ということは誤りな」物はある
事実2: もしも「「女子生徒でないし更に昇格しない」ということは誤りである」物があるとするとその晃洋書房は葬地でない
事実3: この呉市史は葬地だ
事実4: 「葬地でないしさらに引き起こし易くない」物はある
事実5: もしその福木並木が渡海しないか昇格するならその晃洋書房は女子生徒でない
事実6: もしその晃洋書房が引き起こし易いとするとそれは葬地である

仮説: その晃洋書房は引き起こし易くない
1. 仮定1: 以下のように仮定する。その晃洋書房は引き起こし易い
2. 事実6と仮定1から、推論1: "その晃洋書房は葬地だ"が導かれる
3. 事実1と事実2から、推論2: "その晃洋書房は葬地でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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