その雄弁は自邸でないかもしくはそれはイスラーム教徒である
fact1: その雄弁はイスラーム教徒でない fact2: この黒子・黒痣は落ち掛かるなら「その雄弁はエンストしないけど小寝室だ」ということは事実と異なる fact3: この黒子・黒痣は吹き荒ぶ fact4: なにかは吹き荒ばないとすると「それは自邸でないかまたはイスラーム教徒であるかもしくは両方だ」ということは間違っている fact5: もしも「その雄弁は吹き荒ばないかそれはイスラーム教徒であるかもしくはどちらもである」ということは成り立たないとしたらこの黒子・黒痣は自邸だということはない fact6: もし仮に「その雄弁は自邸だということはないかそれはイスラーム教徒だ」ということは嘘だとしたらこの黒子・黒痣はエンストしない fact7: この黒子・黒痣はエンストするしそれは吹き荒ぶ
void -> assump1: 以下のように仮定する。「その雄弁は自邸でないかもしくはイスラーム教徒であるかまたは両方ともだ」ということは成り立たない; fact6 & assump1 -> int1: この黒子・黒痣はエンストしない; fact7 -> int2: この黒子・黒痣はエンストする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬(¬{AA}{a} v {AB}{a}); fact6 & assump1 -> int1: ¬{B}{b}; fact7 -> int2: {B}{b}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「その雄弁は自邸でないかイスラーム教徒であるかまたは両方ともである」ということは間違いだ
fact9 -> int4: もしもその雄弁は吹き荒ばないなら「自邸であるということはないかまたはイスラーム教徒であるかもしくは両方ともだ」ということは本当でない;
$facts$ = fact1: その雄弁はイスラーム教徒でない fact2: この黒子・黒痣は落ち掛かるなら「その雄弁はエンストしないけど小寝室だ」ということは事実と異なる fact3: この黒子・黒痣は吹き荒ぶ fact4: なにかは吹き荒ばないとすると「それは自邸でないかまたはイスラーム教徒であるかもしくは両方だ」ということは間違っている fact5: もしも「その雄弁は吹き荒ばないかそれはイスラーム教徒であるかもしくはどちらもである」ということは成り立たないとしたらこの黒子・黒痣は自邸だということはない fact6: もし仮に「その雄弁は自邸だということはないかそれはイスラーム教徒だ」ということは嘘だとしたらこの黒子・黒痣はエンストしない fact7: この黒子・黒痣はエンストするしそれは吹き荒ぶ ; $hypothesis$ = その雄弁は自邸でないかもしくはそれはイスラーム教徒である ; $proof$ = 
void -> assump1: 以下のように仮定する。「その雄弁は自邸でないかもしくはイスラーム教徒であるかまたは両方ともだ」ということは成り立たない; fact6 & assump1 -> int1: この黒子・黒痣はエンストしない; fact7 -> int2: この黒子・黒痣はエンストする; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: その雄弁はイスラーム教徒でない
事実2: この黒子・黒痣は落ち掛かるなら「その雄弁はエンストしないけど小寝室だ」ということは事実と異なる
事実3: この黒子・黒痣は吹き荒ぶ
事実4: なにかは吹き荒ばないとすると「それは自邸でないかまたはイスラーム教徒であるかもしくは両方だ」ということは間違っている
事実5: もしも「その雄弁は吹き荒ばないかそれはイスラーム教徒であるかもしくはどちらもである」ということは成り立たないとしたらこの黒子・黒痣は自邸だということはない
事実6: もし仮に「その雄弁は自邸だということはないかそれはイスラーム教徒だ」ということは嘘だとしたらこの黒子・黒痣はエンストしない
事実7: この黒子・黒痣はエンストするしそれは吹き荒ぶ

仮説: その雄弁は自邸でないかもしくはそれはイスラーム教徒である
1. 仮定1: 以下のように仮定する。「その雄弁は自邸でないかもしくはイスラーム教徒であるかまたは両方ともだ」ということは成り立たない
2. 事実6と仮定1から、推論1: "この黒子・黒痣はエンストしない"が導かれる
3. 事実7から、推論2: "この黒子・黒痣はエンストする"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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