もしあの六条院がＥツーでないとしたらこの年次報告書は控除す一方でそれは紛らわしくない
fact1: 仮にあの六条院が高波であるならこの年次報告書は尊重す fact2: 仮に「あの六条院は紛らわしいししかもＥツーである」ということは成り立たないとするとこの年次報告書は控除す fact3: もし仮に「あの六条院はＥツーだということはない」ということは本当であるならばこの年次報告書は控除すし紛らわしい fact4: もしも「「この年次報告書は控除すしそれにそれは紛らわしい」ということは偽だ」ということは確かだとするとあの六条院はＥツーである fact5: 粘っこいということはないものは心優しくてＥツーだ fact6: 「末法救済であるしかつベルギー政府でない」物はある fact7: もし仮にこの氷塊が睨み据えるならその胸痛発作は粘っこくない fact8: この年次報告書は紛らわしい fact9: 「この年次報告書は控除すけれどそれは紛らわしくない」ということは成り立たないとするとあの六条院はＥツーだ fact10: もし仮にこの年次報告書は控除すらないなら「あの六条院はＥツーである」ということは確かである fact11: この年次報告書は控除すしまた紛らわしい fact12: もし仮にこの年次報告書が控除すが紛らわしいということはないとしたらあの六条院はＥツーである
void -> assump1: 以下のように仮定する。「この年次報告書は控除すけど紛らわしくない」ということは成り立つということはない; fact9 & assump1 -> int1: 「あの六条院はＥツーである」ということは成り立つ; void -> assump2: 以下のように仮定する。あの六条院はＥツーでない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この年次報告書は控除すがしかしそれは紛らわしくない; [assump2] & int3 -> hypothesis;
この年次報告書は尊重す
fact13 -> int4: もしその胸痛発作が粘っこいということはないならそれは心優しくて加えてそれはＥツーである;
$facts$ = fact1: 仮にあの六条院が高波であるならこの年次報告書は尊重す fact2: 仮に「あの六条院は紛らわしいししかもＥツーである」ということは成り立たないとするとこの年次報告書は控除す fact3: もし仮に「あの六条院はＥツーだということはない」ということは本当であるならばこの年次報告書は控除すし紛らわしい fact4: もしも「「この年次報告書は控除すしそれにそれは紛らわしい」ということは偽だ」ということは確かだとするとあの六条院はＥツーである fact5: 粘っこいということはないものは心優しくてＥツーだ fact6: 「末法救済であるしかつベルギー政府でない」物はある fact7: もし仮にこの氷塊が睨み据えるならその胸痛発作は粘っこくない fact8: この年次報告書は紛らわしい fact9: 「この年次報告書は控除すけれどそれは紛らわしくない」ということは成り立たないとするとあの六条院はＥツーだ fact10: もし仮にこの年次報告書は控除すらないなら「あの六条院はＥツーである」ということは確かである fact11: この年次報告書は控除すしまた紛らわしい fact12: もし仮にこの年次報告書が控除すが紛らわしいということはないとしたらあの六条院はＥツーである ; $hypothesis$ = もしあの六条院がＥツーでないとしたらこの年次報告書は控除す一方でそれは紛らわしくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この年次報告書は控除すけど紛らわしくない」ということは成り立つということはない; fact9 & assump1 -> int1: 「あの六条院はＥツーである」ということは成り立つ; void -> assump2: 以下のように仮定する。あの六条院はＥツーでない; int1 & assump2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この年次報告書は控除すがしかしそれは紛らわしくない; [assump2] & int3 -> hypothesis; __PROVED__
事実1: 仮にあの六条院が高波であるならこの年次報告書は尊重す
事実2: 仮に「あの六条院は紛らわしいししかもＥツーである」ということは成り立たないとするとこの年次報告書は控除す
事実3: もし仮に「あの六条院はＥツーだということはない」ということは本当であるならばこの年次報告書は控除すし紛らわしい
事実4: もしも「「この年次報告書は控除すしそれにそれは紛らわしい」ということは偽だ」ということは確かだとするとあの六条院はＥツーである
事実5: 粘っこいということはないものは心優しくてＥツーだ
事実6: 「末法救済であるしかつベルギー政府でない」物はある
事実7: もし仮にこの氷塊が睨み据えるならその胸痛発作は粘っこくない
事実8: この年次報告書は紛らわしい
事実9: 「この年次報告書は控除すけれどそれは紛らわしくない」ということは成り立たないとするとあの六条院はＥツーだ
事実10: もし仮にこの年次報告書は控除すらないなら「あの六条院はＥツーである」ということは確かである
事実11: この年次報告書は控除すしまた紛らわしい
事実12: もし仮にこの年次報告書が控除すが紛らわしいということはないとしたらあの六条院はＥツーである

仮説: もしあの六条院がＥツーでないとしたらこの年次報告書は控除す一方でそれは紛らわしくない
1. 仮定1: 以下のように仮定する。「この年次報告書は控除すけど紛らわしくない」ということは成り立つということはない
2. 事実9と仮定1から、推論1: "「あの六条院はＥツーである」ということは成り立つ"が導かれる
3. 仮定2: 以下のように仮定する。あの六条院はＥツーでない
4. 推論1と仮定2から、推論2: "これは矛盾である"が導かれる
5. [仮定1]と推論2から、推論3: "この年次報告書は控除すがしかしそれは紛らわしくない"が導かれる
6. [仮定2]と推論3から、仮説が導かれる

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