その三部隊は姦しくない
fact1: この議長は教本だ fact2: 「その三部隊は浮かび出ない」ということは成り立つ fact3: 「あの日吉丸稚桜は燭台でしかも姦しい」ということは誤りだ fact4: その三部隊は比較し得ない fact5: もしもあの日吉丸稚桜が変わり易いとしたら読ます fact6: もし仮にこの議長が浮かび出ないしさらに教本でないならば「その三部隊は反対車線でない」ということは確かだ fact7: 熱し易くないものが貴方らしいならばそれは二硫化物でない fact8: あの日吉丸稚桜は燭台でない fact9: もし仮にこの議長が反対車線でおまけに教本であるとしたらこの本末制は浮かび出ない fact10: 何らかのものは反対車線であるということはないならば「姦しい」ということは真実だ fact11: もし「あの日吉丸稚桜は跳ねるし更に浮かび出る」ということは成り立たないとしたらそれは燭台でない fact12: もしも「なにがしかの物は跳ねるしさらに許し難し」ということは偽ならばそれは姦しくない fact13: 仮にあの日吉丸稚桜が燭台でないとしたらこの本末制は浮かび出る fact14: もしも「反対車線でない」物はあるとすると「その三部隊は跳ねるしそれは許し難し」ということは偽である fact15: 「反対車線である」ものはある fact16: 許し難しものは跳ねる fact17: この本末制が書き漏らさないとすると熱し易いということはないし貴方らしい fact18: もしも「読ます」物があるならこの本末制は書き漏らさない fact19: もしあの日吉丸稚桜が跳ねないとするとその三部隊は燭台だ fact20: あの日吉丸稚桜は変わり易い
void -> assump1: 以下のように仮定する。この議長は反対車線である; assump1 & fact1 -> int1: この議長は反対車線だしそれに教本である; int1 & fact9 -> int2: 「この本末制は浮かび出ない」ということは本当だ; fact13 & fact8 -> int3: この本末制は浮かび出る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この議長は反対車線でない; int5 -> int6: 「反対車線でない」物はある; int6 & fact14 -> int7: 「「その三部隊は跳ねるし加えてそれは許し難し」ということは真実でない」ということは事実だ; fact12 -> int8: もし「その三部隊は跳ねるし許し難し」ということは成り立たないとすればそれは姦しくない; int7 & int8 -> hypothesis;
その三部隊は姦しい
fact23 -> int9: もし仮にその三部隊は反対車線でないとしたら姦しい; fact24 -> int10: この議長が許し難しとすれば跳ねる; fact21 -> int11: もし仮にこの本末制は熱し易くないが貴方らしいとすればそれは二硫化物でない; fact22 & fact25 -> int12: あの日吉丸稚桜は読ます; int12 -> int13: 「読ます」物はある; int13 & fact26 -> int14: この本末制は書き漏らさない; fact28 & int14 -> int15: この本末制は熱し易くないけどそれは貴方らしい; int11 & int15 -> int16: この本末制は二硫化物でない; int16 -> int17: 「二硫化物でない」物はある;
$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: 以下のように仮定する。この議長は反対車線である; assump1 & fact1 -> int1: この議長は反対車線だしそれに教本である; int1 & fact9 -> int2: 「この本末制は浮かび出ない」ということは本当だ; fact13 & fact8 -> int3: この本末制は浮かび出る; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この議長は反対車線でない; int5 -> int6: 「反対車線でない」物はある; int6 & fact14 -> int7: 「「その三部隊は跳ねるし加えてそれは許し難し」ということは真実でない」ということは事実だ; fact12 -> int8: もし「その三部隊は跳ねるし許し難し」ということは成り立たないとすればそれは姦しくない; int7 & int8 -> 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. 仮定1と事実1から、推論1: "この議長は反対車線だしそれに教本である"が導かれる
3. 推論1と事実9から、推論2: "「この本末制は浮かび出ない」ということは本当だ"が導かれる
4. 事実13と事実8から、推論3: "この本末制は浮かび出る"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この議長は反対車線でない"が導かれる
7. 推論5から、推論6: "「反対車線でない」物はある"が導かれる
8. 推論6と事実14から、推論7: "「「その三部隊は跳ねるし加えてそれは許し難し」ということは真実でない」ということは事実だ"が導かれる
9. 事実12から、推論8: "もし「その三部隊は跳ねるし許し難し」ということは成り立たないとすればそれは姦しくない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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