この攻勢は商品リストリストボックスである
fact1: 仮にその頒布が第一秘書であるかもしくは寒々しかないかもしくは両方であるとしたらあの色合わせは二十日以内でない fact2: あの色合わせは第一秘書である fact3: もし仮に「この攻勢は十年以上前でない」ということは真実であるとすれば「商品リストリストボックスだ」ということは確かである fact4: 「あの色合わせは心無いし艶だ」ということは間違いであるならその頒布は艶でない fact5: その頒布が二十日以内でないとするとあの色合わせは第一秘書でない fact6: もしもなんらかのものは小子でないなら「心無いし更に艶だ」ということは正しくない fact7: 「衰え始める」物はある fact8: その頒布は寒々しいかもしくはそれは二十日以内であるかもしくはどちらもだ fact9: この攻勢は陵辱する fact10: もしある物が衰え始めるとすれば小子だということはない fact11: もし仮になにがしかのものは艶でないとすると第一秘書でない fact12: 仮にとある物が二十日以内でないなら十年以上前であるということはないしそれにそれは寒々しかない fact13: もしその頒布が第一秘書だということはないならこの攻勢は二十日以内でない fact14: もしもその頒布が寒々しいかまたは二十日以内でないか両方であるとするとあの色合わせは第一秘書でない fact15: もし仮に「この攻勢は十年以上前である」ということは確かならばあの頒布は寒々しい fact16: この攻勢が寒々しいならばその頒布は十年以上前である fact17: この攻勢はワッシャーである fact18: 「あの色合わせは商品リストリストボックスでない」ということは本当である fact19: その頒布が寒々しかないとすればそれは商品リストリストボックスである fact20: 「衰え始める」ものがあるとするとあの色合わせは衰え始めるか野太いということはないかもしくは両方だ fact21: この攻勢は寒々しかない
void -> assump1: 以下のように仮定する。「この攻勢は十年以上前である」ということは正しい; fact15 & assump1 -> int1: その頒布は寒々しい; int1 -> int2: その頒布は寒々しいかもしくは二十日以内でないかあるいは両方である; int2 & fact14 -> int3: あの色合わせは第一秘書でない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この攻勢は十年以上前でない; int5 & fact3 -> hypothesis;
この攻勢は商品リストリストボックスでない
fact23 -> int6: もしこの攻勢が二十日以内でないならば十年以上前でなくてそれは寒々しかない; fact29 -> int7: その頒布は艶でないとしたらそれは第一秘書でない; fact25 -> int8: もしあの色合わせは小子でないとすれば「心無くてそれにそれは艶だ」ということは嘘である; fact26 & fact22 -> int9: あの色合わせは衰え始めるかまたは野太くないかもしくは両方だ; fact27 -> int10: もし仮にあの色合わせが衰え始めるとしたら小子だということはない;
$facts$ = fact1: 仮にその頒布が第一秘書であるかもしくは寒々しかないかもしくは両方であるとしたらあの色合わせは二十日以内でない fact2: あの色合わせは第一秘書である fact3: もし仮に「この攻勢は十年以上前でない」ということは真実であるとすれば「商品リストリストボックスだ」ということは確かである fact4: 「あの色合わせは心無いし艶だ」ということは間違いであるならその頒布は艶でない fact5: その頒布が二十日以内でないとするとあの色合わせは第一秘書でない fact6: もしもなんらかのものは小子でないなら「心無いし更に艶だ」ということは正しくない fact7: 「衰え始める」物はある fact8: その頒布は寒々しいかもしくはそれは二十日以内であるかもしくはどちらもだ fact9: この攻勢は陵辱する fact10: もしある物が衰え始めるとすれば小子だということはない fact11: もし仮になにがしかのものは艶でないとすると第一秘書でない fact12: 仮にとある物が二十日以内でないなら十年以上前であるということはないしそれにそれは寒々しかない fact13: もしその頒布が第一秘書だということはないならこの攻勢は二十日以内でない fact14: もしもその頒布が寒々しいかまたは二十日以内でないか両方であるとするとあの色合わせは第一秘書でない fact15: もし仮に「この攻勢は十年以上前である」ということは確かならばあの頒布は寒々しい fact16: この攻勢が寒々しいならばその頒布は十年以上前である fact17: この攻勢はワッシャーである fact18: 「あの色合わせは商品リストリストボックスでない」ということは本当である fact19: その頒布が寒々しかないとすればそれは商品リストリストボックスである fact20: 「衰え始める」ものがあるとするとあの色合わせは衰え始めるか野太いということはないかもしくは両方だ fact21: この攻勢は寒々しかない ; $hypothesis$ = この攻勢は商品リストリストボックスである ; $proof$ = 
void -> assump1: 以下のように仮定する。「この攻勢は十年以上前である」ということは正しい; fact15 & assump1 -> int1: その頒布は寒々しい; int1 -> int2: その頒布は寒々しいかもしくは二十日以内でないかあるいは両方である; int2 & fact14 -> int3: あの色合わせは第一秘書でない; int3 & fact2 -> int4: これは矛盾である; [assump1] & int4 -> int5: この攻勢は十年以上前でない; int5 & fact3 -> hypothesis; __PROVED__
事実1: 仮にその頒布が第一秘書であるかもしくは寒々しかないかもしくは両方であるとしたらあの色合わせは二十日以内でない
事実2: あの色合わせは第一秘書である
事実3: もし仮に「この攻勢は十年以上前でない」ということは真実であるとすれば「商品リストリストボックスだ」ということは確かである
事実4: 「あの色合わせは心無いし艶だ」ということは間違いであるならその頒布は艶でない
事実5: その頒布が二十日以内でないとするとあの色合わせは第一秘書でない
事実6: もしもなんらかのものは小子でないなら「心無いし更に艶だ」ということは正しくない
事実7: 「衰え始める」物はある
事実8: その頒布は寒々しいかもしくはそれは二十日以内であるかもしくはどちらもだ
事実9: この攻勢は陵辱する
事実10: もしある物が衰え始めるとすれば小子だということはない
事実11: もし仮になにがしかのものは艶でないとすると第一秘書でない
事実12: 仮にとある物が二十日以内でないなら十年以上前であるということはないしそれにそれは寒々しかない
事実13: もしその頒布が第一秘書だということはないならこの攻勢は二十日以内でない
事実14: もしもその頒布が寒々しいかまたは二十日以内でないか両方であるとするとあの色合わせは第一秘書でない
事実15: もし仮に「この攻勢は十年以上前である」ということは確かならばあの頒布は寒々しい
事実16: この攻勢が寒々しいならばその頒布は十年以上前である
事実17: この攻勢はワッシャーである
事実18: 「あの色合わせは商品リストリストボックスでない」ということは本当である
事実19: その頒布が寒々しかないとすればそれは商品リストリストボックスである
事実20: 「衰え始める」ものがあるとするとあの色合わせは衰え始めるか野太いということはないかもしくは両方だ
事実21: この攻勢は寒々しかない

仮説: この攻勢は商品リストリストボックスである
1. 仮定1: 以下のように仮定する。「この攻勢は十年以上前である」ということは正しい
2. 事実15と仮定1から、推論1: "その頒布は寒々しい"が導かれる
3. 推論1から、推論2: "その頒布は寒々しいかもしくは二十日以内でないかあるいは両方である"が導かれる
4. 推論2と事実14から、推論3: "あの色合わせは第一秘書でない"が導かれる
5. 推論3と事実2から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この攻勢は十年以上前でない"が導かれる
7. 推論5と事実3から、仮説が導かれる

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