あの体制が長毛種だとするとこの基礎自治体は構成し得ない
fact1: もし仮にあの発声器官はチェックすとすれば「あの体制はチェックす」ということは偽でない fact2: 仮に「この塗布時は治療す」ということは間違いでないとしたらこの基礎自治体は有るらしい fact3: もし「長毛種な」物はあれば「その奥谷弁護人はトランスサイトーシスでなくてまたそれは長毛種でない」ということは間違いだ fact4: 「この基礎自治体はトランスサイトーシスであるかもしくは治療す」ということは本当でないとしたらこの塗布時は構成し得ない fact5: もし仮にその奥谷弁護人がトランスサイトーシスであるとすればあの体制はトランスサイトーシスだ fact6: 仮にトランスサイトーシスがチェックすとしたらこの基礎自治体はカロリー収支であるということはない fact7: もしも「この塗布時は構成し得るがそれは治療すらない」ということは事実でないとしたら治療す fact8: この基礎自治体がチェックすらないとするとそれは構成し得ない fact9: もし仮に「なんらかの物はトランスサイトーシスでないしまた長毛種でない」ということは成り立たないならばそれはトランスサイトーシスだ fact10: もし仮に「何らかのものはチェックすらないけど進み易い」ということは成り立たないとしたらそれはチェックす fact11: 「その両国は歩行しないかそれは周年出荷であるか両方ともだ」ということは間違いだとすればあのセーラー服姿は周年出荷でない fact12: 仮にあの体制が進み易くないなら長毛種でない fact13: あの体制は治療すらない fact14: 「もし仮に何かは古臭いということはないとすれば「チェックすらないが進み易い」ということは成り立たない」ということは間違いでない fact15: あの発声器官は古臭くない fact16: この基礎自治体は治療すらないならば「この塗布時は治療すかトランスサイトーシスであるか両方だ」ということは成り立たない fact17: もしも「「この基礎自治体は治療すらないけどチェックす」ということは本当である」ということは成り立たないとしたら構成し得る fact18: 「「その両国は歩行しないかもしくは周年出荷であるかもしくはどちらもである」ということは真実である」ということは事実と異なる fact19: 「この塗布時はトランスサイトーシスだ」ということは間違っている fact20: もしもこのセーラー服姿が周年出荷でないとしたらこの千切れ雲は長毛種でその上じたばたする fact21: 仮に「この塗布時は治療すかあるいはそれはトランスサイトーシスだ」ということは誤っているとするとあの体制は進み易くない fact22: 仮にあの体制が構成し得るならばあの基礎自治体は進み易くない fact23: 「この基礎自治体は治療すらないがしかしそれはチェックす」ということは偽ならそれは構成し得ない
void -> assump2: 以下のように仮定する。この基礎自治体は治療すらないけれどチェックす; assump2 -> int1: この基礎自治体は治療すらない; int1 & fact16 -> int2: 「この塗布時は治療すかまたはそれはトランスサイトーシスであるかあるいは両方である」ということは嘘である; int2 & fact21 -> int3: あの体制は進み易くない; int3 & fact12 -> int4: あの体制は長毛種でない; void -> assump1: 以下のように仮定する。あの体制は長毛種である; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「この基礎自治体は治療すらないがそれはチェックす」ということは誤りだ; int6 & fact23 -> int7: この基礎自治体は構成し得ない; [assump1] & int7 -> hypothesis;
この基礎自治体はカロリー収支でないけれどそれは有るらしい
fact31 -> int8: 「その奥谷弁護人はトランスサイトーシスだということはないしかつ長毛種でない」ということは嘘であるとしたらトランスサイトーシスだ; fact32 & fact33 -> int9: このセーラー服姿は周年出荷でない; fact27 & int9 -> int10: この千切れ雲は長毛種でそれはじたばたする; int10 -> int11: この千切れ雲は長毛種である; int11 -> int12: とあるものは長毛種である; int12 & fact30 -> int13: 「その奥谷弁護人はトランスサイトーシスでなくてまた長毛種であるということはない」ということは事実と異なる; int8 & int13 -> int14: その奥谷弁護人はトランスサイトーシスである; fact26 & int14 -> int15: あの体制はトランスサイトーシスである; fact34 -> int16: もし「あの発声器官はチェックすらない一方で進み易い」ということは偽であるならばチェックす; fact29 -> int17: もしもあの発声器官は古臭いということはないならば「「それはチェックすらない一方で進み易い」ということは成り立つ」ということは誤りだ; int17 & fact35 -> int18: 「あの発声器官はチェックすらないがしかしそれは進み易い」ということは事実でない; int16 & int18 -> int19: あの発声器官はチェックす; fact24 & int19 -> int20: あの体制はチェックす; int15 & int20 -> int21: あの体制はトランスサイトーシスであるしチェックす; int21 -> int22: なにがしかの物はトランスサイトーシスであるし更にチェックす; int22 & fact28 -> int23: 「この基礎自治体はカロリー収支でない」ということは確かだ;
$facts$ = fact1: もし仮にあの発声器官はチェックすとすれば「あの体制はチェックす」ということは偽でない fact2: 仮に「この塗布時は治療す」ということは間違いでないとしたらこの基礎自治体は有るらしい fact3: もし「長毛種な」物はあれば「その奥谷弁護人はトランスサイトーシスでなくてまたそれは長毛種でない」ということは間違いだ fact4: 「この基礎自治体はトランスサイトーシスであるかもしくは治療す」ということは本当でないとしたらこの塗布時は構成し得ない fact5: もし仮にその奥谷弁護人がトランスサイトーシスであるとすればあの体制はトランスサイトーシスだ fact6: 仮にトランスサイトーシスがチェックすとしたらこの基礎自治体はカロリー収支であるということはない fact7: もしも「この塗布時は構成し得るがそれは治療すらない」ということは事実でないとしたら治療す fact8: この基礎自治体がチェックすらないとするとそれは構成し得ない fact9: もし仮に「なんらかの物はトランスサイトーシスでないしまた長毛種でない」ということは成り立たないならばそれはトランスサイトーシスだ fact10: もし仮に「何らかのものはチェックすらないけど進み易い」ということは成り立たないとしたらそれはチェックす fact11: 「その両国は歩行しないかそれは周年出荷であるか両方ともだ」ということは間違いだとすればあのセーラー服姿は周年出荷でない fact12: 仮にあの体制が進み易くないなら長毛種でない fact13: あの体制は治療すらない fact14: 「もし仮に何かは古臭いということはないとすれば「チェックすらないが進み易い」ということは成り立たない」ということは間違いでない fact15: あの発声器官は古臭くない fact16: この基礎自治体は治療すらないならば「この塗布時は治療すかトランスサイトーシスであるか両方だ」ということは成り立たない fact17: もしも「「この基礎自治体は治療すらないけどチェックす」ということは本当である」ということは成り立たないとしたら構成し得る fact18: 「「その両国は歩行しないかもしくは周年出荷であるかもしくはどちらもである」ということは真実である」ということは事実と異なる fact19: 「この塗布時はトランスサイトーシスだ」ということは間違っている fact20: もしもこのセーラー服姿が周年出荷でないとしたらこの千切れ雲は長毛種でその上じたばたする fact21: 仮に「この塗布時は治療すかあるいはそれはトランスサイトーシスだ」ということは誤っているとするとあの体制は進み易くない fact22: 仮にあの体制が構成し得るならばあの基礎自治体は進み易くない fact23: 「この基礎自治体は治療すらないがしかしそれはチェックす」ということは偽ならそれは構成し得ない ; $hypothesis$ = あの体制が長毛種だとするとこの基礎自治体は構成し得ない ; $proof$ = 
void -> assump2: 以下のように仮定する。この基礎自治体は治療すらないけれどチェックす; assump2 -> int1: この基礎自治体は治療すらない; int1 & fact16 -> int2: 「この塗布時は治療すかまたはそれはトランスサイトーシスであるかあるいは両方である」ということは嘘である; int2 & fact21 -> int3: あの体制は進み易くない; int3 & fact12 -> int4: あの体制は長毛種でない; void -> assump1: 以下のように仮定する。あの体制は長毛種である; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「この基礎自治体は治療すらないがそれはチェックす」ということは誤りだ; int6 & fact23 -> int7: この基礎自治体は構成し得ない; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もし仮にあの発声器官はチェックすとすれば「あの体制はチェックす」ということは偽でない
事実2: 仮に「この塗布時は治療す」ということは間違いでないとしたらこの基礎自治体は有るらしい
事実3: もし「長毛種な」物はあれば「その奥谷弁護人はトランスサイトーシスでなくてまたそれは長毛種でない」ということは間違いだ
事実4: 「この基礎自治体はトランスサイトーシスであるかもしくは治療す」ということは本当でないとしたらこの塗布時は構成し得ない
事実5: もし仮にその奥谷弁護人がトランスサイトーシスであるとすればあの体制はトランスサイトーシスだ
事実6: 仮にトランスサイトーシスがチェックすとしたらこの基礎自治体はカロリー収支であるということはない
事実7: もしも「この塗布時は構成し得るがそれは治療すらない」ということは事実でないとしたら治療す
事実8: この基礎自治体がチェックすらないとするとそれは構成し得ない
事実9: もし仮に「なんらかの物はトランスサイトーシスでないしまた長毛種でない」ということは成り立たないならばそれはトランスサイトーシスだ
事実10: もし仮に「何らかのものはチェックすらないけど進み易い」ということは成り立たないとしたらそれはチェックす
事実11: 「その両国は歩行しないかそれは周年出荷であるか両方ともだ」ということは間違いだとすればあのセーラー服姿は周年出荷でない
事実12: 仮にあの体制が進み易くないなら長毛種でない
事実13: あの体制は治療すらない
事実14: 「もし仮に何かは古臭いということはないとすれば「チェックすらないが進み易い」ということは成り立たない」ということは間違いでない
事実15: あの発声器官は古臭くない
事実16: この基礎自治体は治療すらないならば「この塗布時は治療すかトランスサイトーシスであるか両方だ」ということは成り立たない
事実17: もしも「「この基礎自治体は治療すらないけどチェックす」ということは本当である」ということは成り立たないとしたら構成し得る
事実18: 「「その両国は歩行しないかもしくは周年出荷であるかもしくはどちらもである」ということは真実である」ということは事実と異なる
事実19: 「この塗布時はトランスサイトーシスだ」ということは間違っている
事実20: もしもこのセーラー服姿が周年出荷でないとしたらこの千切れ雲は長毛種でその上じたばたする
事実21: 仮に「この塗布時は治療すかあるいはそれはトランスサイトーシスだ」ということは誤っているとするとあの体制は進み易くない
事実22: 仮にあの体制が構成し得るならばあの基礎自治体は進み易くない
事実23: 「この基礎自治体は治療すらないがしかしそれはチェックす」ということは偽ならそれは構成し得ない

仮説: あの体制が長毛種だとするとこの基礎自治体は構成し得ない
1. 仮定2: 以下のように仮定する。この基礎自治体は治療すらないけれどチェックす
2. 仮定2から、推論1: "この基礎自治体は治療すらない"が導かれる
3. 推論1と事実16から、推論2: "「この塗布時は治療すかまたはそれはトランスサイトーシスであるかあるいは両方である」ということは嘘である"が導かれる
4. 推論2と事実21から、推論3: "あの体制は進み易くない"が導かれる
5. 推論3と事実12から、推論4: "あの体制は長毛種でない"が導かれる
6. 仮定1: 以下のように仮定する。あの体制は長毛種である
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「この基礎自治体は治療すらないがそれはチェックす」ということは誤りだ"が導かれる
9. 推論6と事実23から、推論7: "この基礎自治体は構成し得ない"が導かれる
10. [仮定1]と推論7から、仮説が導かれる

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