もし仮にこの代表曲が編入しないとしたらその自作は話しない
fact1: もしこの代表曲が編入すればその自作は話しない fact2: もしもこの代表曲は話するとすれば「それが代替するしその上それは編入しない」ということは成り立たない fact3: 「その自作は持ち易いししかもそれは性周期である」ということは間違いである fact4: もし仮に「この代表曲は代替するがそれは滞納しない」ということは誤っているとしたらその自作は話する fact5: 「この代表曲は滞納するけれど話するということはない」ということは成り立たない fact6: もしもこの代表曲は編入するということはないとすると「それは代替するし加えて滞納する」ということは本当でない fact7: あのルビ付きは滞納しない fact8: この代表曲が滞納しないとするとその自作は代替しない fact9: 仮に「その自作は滞納する」ということは真実であるとするとこの代表曲は話しない fact10: 「「その自作は滞納するしさらに理解し辛い」ということは確かである」ということは間違いだ fact11: 仮にこの代表曲が編入しないならばその自作は話する fact12: もし仮に「この代表曲は代替するけれどそれは滞納しない」ということは成り立たないとすればその自作は話しない fact13: 「この代表曲は編入しない」ということは正しいなら「代替する一方で滞納するということはない」ということは成り立たない fact14: 仮にその自作は話するとしたら「滞納するしその上代替しない」ということは成り立たない fact15: 「この代表曲が代替するしその上それは滞納する」ということは偽だ fact16: この代表曲は話しないならば「その自作は編入するということはない」ということは真実である fact17: この代表曲が滞納するならその自作は話しない fact18: 「この代表曲は折り取らない」ということは事実である fact19: 仮にこの代表曲が話しないとしたらその自作は滞納しない fact20: もしも「この代表曲は話するけれど編入しない」ということは成り立たないならばあの自作は滞納しない
void -> assump1: 以下のように仮定する。この代表曲は編入しない; fact13 & assump1 -> int1: 「この代表曲は代替するがしかしそれは滞納するということはない」ということは成り立たない; int1 & fact12 -> int2: その自作は話しない; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact13 & assump1 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact12 -> int2: ¬{B}{b}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: もしこの代表曲が編入すればその自作は話しない fact2: もしもこの代表曲は話するとすれば「それが代替するしその上それは編入しない」ということは成り立たない fact3: 「その自作は持ち易いししかもそれは性周期である」ということは間違いである fact4: もし仮に「この代表曲は代替するがそれは滞納しない」ということは誤っているとしたらその自作は話する fact5: 「この代表曲は滞納するけれど話するということはない」ということは成り立たない fact6: もしもこの代表曲は編入するということはないとすると「それは代替するし加えて滞納する」ということは本当でない fact7: あのルビ付きは滞納しない fact8: この代表曲が滞納しないとするとその自作は代替しない fact9: 仮に「その自作は滞納する」ということは真実であるとするとこの代表曲は話しない fact10: 「「その自作は滞納するしさらに理解し辛い」ということは確かである」ということは間違いだ fact11: 仮にこの代表曲が編入しないならばその自作は話する fact12: もし仮に「この代表曲は代替するけれどそれは滞納しない」ということは成り立たないとすればその自作は話しない fact13: 「この代表曲は編入しない」ということは正しいなら「代替する一方で滞納するということはない」ということは成り立たない fact14: 仮にその自作は話するとしたら「滞納するしその上代替しない」ということは成り立たない fact15: 「この代表曲が代替するしその上それは滞納する」ということは偽だ fact16: この代表曲は話しないならば「その自作は編入するということはない」ということは真実である fact17: この代表曲が滞納するならその自作は話しない fact18: 「この代表曲は折り取らない」ということは事実である fact19: 仮にこの代表曲が話しないとしたらその自作は滞納しない fact20: もしも「この代表曲は話するけれど編入しない」ということは成り立たないならばあの自作は滞納しない ; $hypothesis$ = もし仮にこの代表曲が編入しないとしたらその自作は話しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この代表曲は編入しない; fact13 & assump1 -> int1: 「この代表曲は代替するがしかしそれは滞納するということはない」ということは成り立たない; int1 & fact12 -> int2: その自作は話しない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしこの代表曲が編入すればその自作は話しない
事実2: もしもこの代表曲は話するとすれば「それが代替するしその上それは編入しない」ということは成り立たない
事実3: 「その自作は持ち易いししかもそれは性周期である」ということは間違いである
事実4: もし仮に「この代表曲は代替するがそれは滞納しない」ということは誤っているとしたらその自作は話する
事実5: 「この代表曲は滞納するけれど話するということはない」ということは成り立たない
事実6: もしもこの代表曲は編入するということはないとすると「それは代替するし加えて滞納する」ということは本当でない
事実7: あのルビ付きは滞納しない
事実8: この代表曲が滞納しないとするとその自作は代替しない
事実9: 仮に「その自作は滞納する」ということは真実であるとするとこの代表曲は話しない
事実10: 「「その自作は滞納するしさらに理解し辛い」ということは確かである」ということは間違いだ
事実11: 仮にこの代表曲が編入しないならばその自作は話する
事実12: もし仮に「この代表曲は代替するけれどそれは滞納しない」ということは成り立たないとすればその自作は話しない
事実13: 「この代表曲は編入しない」ということは正しいなら「代替する一方で滞納するということはない」ということは成り立たない
事実14: 仮にその自作は話するとしたら「滞納するしその上代替しない」ということは成り立たない
事実15: 「この代表曲が代替するしその上それは滞納する」ということは偽だ
事実16: この代表曲は話しないならば「その自作は編入するということはない」ということは真実である
事実17: この代表曲が滞納するならその自作は話しない
事実18: 「この代表曲は折り取らない」ということは事実である
事実19: 仮にこの代表曲が話しないとしたらその自作は滞納しない
事実20: もしも「この代表曲は話するけれど編入しない」ということは成り立たないならばあの自作は滞納しない

仮説: もし仮にこの代表曲が編入しないとしたらその自作は話しない
1. 仮定1: 以下のように仮定する。この代表曲は編入しない
2. 事実13と仮定1から、推論1: "「この代表曲は代替するがしかしそれは滞納するということはない」ということは成り立たない"が導かれる
3. 推論1と事実12から、推論2: "その自作は話しない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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