「半裸であるということはないならストーンサークルでない」ものはある
fact1: 「もし仮に半裸ならストーンサークルでない」ものはある fact2: 仮にあのサマーキャンプがノーマルステッププレートだということはないならそれは半裸でない fact3: 仮にこの上場申請が判別し易いとしたらこの表示法はストーンサークルでない fact4: 「仮に格好良いならば強くない」ものはある fact5: とあるものが賑々しいならばそれは自活する fact6: サービス種類は賑々しい fact7: あのロカルノ条約はストーンサークルだ fact8: もしもこの上場申請がぶっとかないとするとそれは半裸である fact9: もしなんらかのものはストーンサークルでないなら半裸でない fact10: この上場申請は半裸であるなら「ストーンサークルでない」ということは事実と異ならない fact11: なんらかのものは賑々しいとすると「それは侵入しないが自活する」ということは成り立たない fact12: もし仮になんらかのものは判別し易いなら「それはストーンサークルだということはないしかつ半裸でない」ということは間違いだ fact13: 「もし仮に二日前であるなら一般成人用でない」ものはある fact14: もしもこの上場申請が御入り下さればそれは反対勢力だ fact15: 「半裸でないならストーンサークルな」ものはある fact16: もしこの上場申請が痛々しいということはないとすればそれは半裸である fact17: もしこの上場申請はストーンサークルであるとするとそれは半裸である fact18: もしも「とあるものはストーンサークルでないし加えてそれは半裸だということはない」ということは誤りだとすればそれは裏口入学金である fact19: 「狭苦しいということはないなら移植するということはない」ものはある fact20: 「もしも学校区でないとすると拵える」物はある fact21: あの重装甲はサービス種類である
void -> assump2: 以下のように仮定する。この上場申請はストーンサークルである; fact17 & assump2 -> int1: この上場申請は半裸だ; void -> assump1: 以下のように仮定する。この上場申請は半裸でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この上場申請はストーンサークルでない; [assump1] & int3 -> int4: もし仮にこの上場申請は半裸でないとするとそれはストーンサークルでない; int4 -> hypothesis;
この上場申請は裏口入学金である
fact23 -> int5: もしも「この上場申請はストーンサークルであるということはなくて加えて半裸でない」ということは偽ならば裏口入学金だ; fact22 -> int6: もしこの上場申請は判別し易いなら「ストーンサークルでなくて更に半裸でない」ということは誤りだ; fact24 -> int7: もしも「あの重装甲は賑々しい」ということは確かならば「それが侵入しないしさらに自活する」ということは誤っている;
$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 -> assump2: 以下のように仮定する。この上場申請はストーンサークルである; fact17 & assump2 -> int1: この上場申請は半裸だ; void -> assump1: 以下のように仮定する。この上場申請は半裸でない; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: この上場申請はストーンサークルでない; [assump1] & int3 -> int4: もし仮にこの上場申請は半裸でないとするとそれはストーンサークルでない; int4 -> hypothesis; __PROVED__
事実1: 「もし仮に半裸ならストーンサークルでない」ものはある
事実2: 仮にあのサマーキャンプがノーマルステッププレートだということはないならそれは半裸でない
事実3: 仮にこの上場申請が判別し易いとしたらこの表示法はストーンサークルでない
事実4: 「仮に格好良いならば強くない」ものはある
事実5: とあるものが賑々しいならばそれは自活する
事実6: サービス種類は賑々しい
事実7: あのロカルノ条約はストーンサークルだ
事実8: もしもこの上場申請がぶっとかないとするとそれは半裸である
事実9: もしなんらかのものはストーンサークルでないなら半裸でない
事実10: この上場申請は半裸であるなら「ストーンサークルでない」ということは事実と異ならない
事実11: なんらかのものは賑々しいとすると「それは侵入しないが自活する」ということは成り立たない
事実12: もし仮になんらかのものは判別し易いなら「それはストーンサークルだということはないしかつ半裸でない」ということは間違いだ
事実13: 「もし仮に二日前であるなら一般成人用でない」ものはある
事実14: もしもこの上場申請が御入り下さればそれは反対勢力だ
事実15: 「半裸でないならストーンサークルな」ものはある
事実16: もしこの上場申請が痛々しいということはないとすればそれは半裸である
事実17: もしこの上場申請はストーンサークルであるとするとそれは半裸である
事実18: もしも「とあるものはストーンサークルでないし加えてそれは半裸だということはない」ということは誤りだとすればそれは裏口入学金である
事実19: 「狭苦しいということはないなら移植するということはない」ものはある
事実20: 「もしも学校区でないとすると拵える」物はある
事実21: あの重装甲はサービス種類である

仮説: 「半裸であるということはないならストーンサークルでない」ものはある
1. 仮定2: 以下のように仮定する。この上場申請はストーンサークルである
2. 事実17と仮定2から、推論1: "この上場申請は半裸だ"が導かれる
3. 仮定1: 以下のように仮定する。この上場申請は半裸でない
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "この上場申請はストーンサークルでない"が導かれる
6. [仮定1]と推論3から、推論4: "もし仮にこの上場申請は半裸でないとするとそれはストーンサークルでない"が導かれる
7. 推論4から、仮説が導かれる

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