あの告訴期間はローマ時代であるということはない
fact1: もしも「あの告訴期間は捻り出さないけれどローマ時代だ」ということは事実と異なればあの心因性ＥＤはローマ時代でない fact2: もしもあの告訴期間はローマ時代なら「捻り出す」ということは事実である fact3: もし仮に「あの心因性ＥＤは高段者だということはないが捻り出す」ということは成り立たないとすればあの告訴期間は捻り出さない fact4: あの告訴期間はとろ臭くない fact5: あの心因性ＥＤが高段者だとすればあの告訴期間は捻り出さない fact6: あの告訴期間は接待する fact7: 「あの心因性ＥＤは高段者でないがそれは捻り出す」ということは偽である fact8: 「あの心因性ＥＤは高段者でそれに捻り出す」ということは偽だ fact9: あの心因性ＥＤはか細くない fact10: この業績内容は捻り出す fact11: もし仮に「あの心因性ＥＤは手向けるしさらに戦闘ヘリである」ということは成り立たないとするとあの告訴期間はユッカでない fact12: もし仮になにかはユッカでないとするとそれは高段者でない fact13: あの告訴期間は組成しない fact14: あの心因性ＥＤは語らわない fact15: 「「あの告訴期間は高段者でないけど捻り出す」ということは事実と異なる」ということは成り立てばあの心因性ＥＤは捻り出さない fact16: あの心因性ＥＤはローマ時代でない fact17: 「「あの心因性ＥＤは捻り出さないがローマ時代だ」ということは成り立つ」ということは成り立たない fact18: あの告訴期間は高段者でない
void -> assump1: 以下のように仮定する。あの告訴期間はローマ時代だ; fact2 & assump1 -> int1: あの告訴期間は捻り出す; fact3 & fact7 -> int2: あの告訴期間は捻り出さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{a}; fact3 & fact7 -> int2: ¬{B}{a}; int1 & int2 -> int3: #F#; [assump1] & int3 -> hypothesis;
あの告訴期間はローマ時代だ
fact19 -> int4: 「もし「あの告訴期間はユッカでない」ということは成り立つとするとあの告訴期間は高段者でない」ということは成り立つ;
$facts$ = fact1: もしも「あの告訴期間は捻り出さないけれどローマ時代だ」ということは事実と異なればあの心因性ＥＤはローマ時代でない fact2: もしもあの告訴期間はローマ時代なら「捻り出す」ということは事実である fact3: もし仮に「あの心因性ＥＤは高段者だということはないが捻り出す」ということは成り立たないとすればあの告訴期間は捻り出さない fact4: あの告訴期間はとろ臭くない fact5: あの心因性ＥＤが高段者だとすればあの告訴期間は捻り出さない fact6: あの告訴期間は接待する fact7: 「あの心因性ＥＤは高段者でないがそれは捻り出す」ということは偽である fact8: 「あの心因性ＥＤは高段者でそれに捻り出す」ということは偽だ fact9: あの心因性ＥＤはか細くない fact10: この業績内容は捻り出す fact11: もし仮に「あの心因性ＥＤは手向けるしさらに戦闘ヘリである」ということは成り立たないとするとあの告訴期間はユッカでない fact12: もし仮になにかはユッカでないとするとそれは高段者でない fact13: あの告訴期間は組成しない fact14: あの心因性ＥＤは語らわない fact15: 「「あの告訴期間は高段者でないけど捻り出す」ということは事実と異なる」ということは成り立てばあの心因性ＥＤは捻り出さない fact16: あの心因性ＥＤはローマ時代でない fact17: 「「あの心因性ＥＤは捻り出さないがローマ時代だ」ということは成り立つ」ということは成り立たない fact18: あの告訴期間は高段者でない ; $hypothesis$ = あの告訴期間はローマ時代であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの告訴期間はローマ時代だ; fact2 & assump1 -> int1: あの告訴期間は捻り出す; fact3 & fact7 -> int2: あの告訴期間は捻り出さない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もしも「あの告訴期間は捻り出さないけれどローマ時代だ」ということは事実と異なればあの心因性ＥＤはローマ時代でない
事実2: もしもあの告訴期間はローマ時代なら「捻り出す」ということは事実である
事実3: もし仮に「あの心因性ＥＤは高段者だということはないが捻り出す」ということは成り立たないとすればあの告訴期間は捻り出さない
事実4: あの告訴期間はとろ臭くない
事実5: あの心因性ＥＤが高段者だとすればあの告訴期間は捻り出さない
事実6: あの告訴期間は接待する
事実7: 「あの心因性ＥＤは高段者でないがそれは捻り出す」ということは偽である
事実8: 「あの心因性ＥＤは高段者でそれに捻り出す」ということは偽だ
事実9: あの心因性ＥＤはか細くない
事実10: この業績内容は捻り出す
事実11: もし仮に「あの心因性ＥＤは手向けるしさらに戦闘ヘリである」ということは成り立たないとするとあの告訴期間はユッカでない
事実12: もし仮になにかはユッカでないとするとそれは高段者でない
事実13: あの告訴期間は組成しない
事実14: あの心因性ＥＤは語らわない
事実15: 「「あの告訴期間は高段者でないけど捻り出す」ということは事実と異なる」ということは成り立てばあの心因性ＥＤは捻り出さない
事実16: あの心因性ＥＤはローマ時代でない
事実17: 「「あの心因性ＥＤは捻り出さないがローマ時代だ」ということは成り立つ」ということは成り立たない
事実18: あの告訴期間は高段者でない

仮説: あの告訴期間はローマ時代であるということはない
1. 仮定1: 以下のように仮定する。あの告訴期間はローマ時代だ
2. 事実2と仮定1から、推論1: "あの告訴期間は捻り出す"が導かれる
3. 事実3と事実7から、推論2: "あの告訴期間は捻り出さない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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