この和室空間は二位集団である
fact1: もし「この和室空間は御忙しくない」ということは成り立つとしたらそれは空騒ぎである fact2: この和室空間が二位集団であるということはないとしたら掃除出来ないしそれは接近し易くない fact3: もしもその過酸化水素が掃除出来ないとすれば当たり易くなくて更に接近し易くない fact4: もし「その過酸化水素は二位集団でない」ということは成り立つとすると掃除出来る fact5: 「そのＥ．Ｇ．は最大化するがしかし不渡り手形でない」ということは間違いである fact6: もしも「御忙しくない」ものがあるとするとそのＥ．Ｇ．は接近し易くてかつ熟せる fact7: その過酸化水素は当たり易くないし接近し易くないとしたら熟せらない fact8: そのＥ．Ｇ．が最大化するけれどそれが不渡り手形でないとするとこの和室空間は御忙しくない fact9: その過酸化水素は御忙しくない fact10: もしもその過酸化水素が掃除出来ないとすると当たり易いということはない fact11: もし仮にその過酸化水素が談論風発するということはないとすればそれは熟せる fact12: 「なにがしかのものは当たり易い一方でそれは空騒ぎでない」ということは事実でないならそれは当たり易くない fact13: このメタキャラクタは不渡り手形でない fact14: その過酸化水素は御忙しくないならば「この和室空間は当たり易い一方で空騒ぎでない」ということは成り立たない fact15: もしもそのＥ．Ｇ．が最大化しないししかも不渡り手形であるということはないとすればこの和室空間は御忙しくない fact16: 仮にそのＥ．Ｇ．が最大化しないがしかし不渡り手形だとしたらこの和室空間は御忙しくない fact17: この和室空間は談論風発しない fact18: 仮に何らかのものは当たり易くないけど掃除出来れば二位集団でない fact19: 「そのＥ．Ｇ．は最大化しないけれど不渡り手形だ」ということは成り立たない fact20: もしそのＥ．Ｇ．が掃除出来なくてかつ接近し易くないならこの和室空間は掃除出来る fact21: その過酸化水素は当たり易くない fact22: もしもこの和室空間は空騒ぎであるとすればそれは二位集団である fact23: もし仮にその過酸化水素が当たり易いがしかしそれは接近し易くないとするとそれは熟せらない fact24: もしも握り易くないものは談論風発すれば「御忙しくない」ということは真実だ fact25: その過酸化水素は談論風発しない fact26: もし仮に「そのＥ．Ｇ．は最大化しないしかつ不渡り手形でない」ということは確かでないとしたら「その過酸化水素は掃除出来ない」ということは嘘でない
void -> assump1: 以下のように仮定する。「そのＥ．Ｇ．は最大化するということはなくてかつ不渡り手形でない」ということは本当であるということはない; fact26 & assump1 -> int1: 「その過酸化水素は掃除出来ない」ということは本当だ; int1 & fact3 -> int2: その過酸化水素は当たり易くなくてその上接近し易くない; int2 & fact7 -> int3: 「その過酸化水素は熟せらない」ということは確かである; fact11 & fact25 -> int4: その過酸化水素は熟せる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのＥ．Ｇ．は最大化するということはないしその上不渡り手形でない; int6 & fact15 -> int7: この和室空間は御忙しいということはない; int7 & fact1 -> int8: 「この和室空間は空騒ぎである」ということは成り立つ; int8 & fact22 -> hypothesis;
この和室空間は二位集団でない
fact31 -> int9: もしこの和室空間が当たり易くないがそれが掃除出来ればそれは二位集団でない; fact27 -> int10: もし「この和室空間は当たり易いがしかし空騒ぎだということはない」ということは成り立つということはないとしたらそれは当たり易くない; fact29 -> int11: もしその過酸化水素は握り易くないがしかし談論風発するとしたらそれは御忙しくない;
$facts$ = fact1: もし「この和室空間は御忙しくない」ということは成り立つとしたらそれは空騒ぎである fact2: この和室空間が二位集団であるということはないとしたら掃除出来ないしそれは接近し易くない fact3: もしもその過酸化水素が掃除出来ないとすれば当たり易くなくて更に接近し易くない fact4: もし「その過酸化水素は二位集団でない」ということは成り立つとすると掃除出来る fact5: 「そのＥ．Ｇ．は最大化するがしかし不渡り手形でない」ということは間違いである fact6: もしも「御忙しくない」ものがあるとするとそのＥ．Ｇ．は接近し易くてかつ熟せる fact7: その過酸化水素は当たり易くないし接近し易くないとしたら熟せらない fact8: そのＥ．Ｇ．が最大化するけれどそれが不渡り手形でないとするとこの和室空間は御忙しくない fact9: その過酸化水素は御忙しくない fact10: もしもその過酸化水素が掃除出来ないとすると当たり易いということはない fact11: もし仮にその過酸化水素が談論風発するということはないとすればそれは熟せる fact12: 「なにがしかのものは当たり易い一方でそれは空騒ぎでない」ということは事実でないならそれは当たり易くない fact13: このメタキャラクタは不渡り手形でない fact14: その過酸化水素は御忙しくないならば「この和室空間は当たり易い一方で空騒ぎでない」ということは成り立たない fact15: もしもそのＥ．Ｇ．が最大化しないししかも不渡り手形であるということはないとすればこの和室空間は御忙しくない fact16: 仮にそのＥ．Ｇ．が最大化しないがしかし不渡り手形だとしたらこの和室空間は御忙しくない fact17: この和室空間は談論風発しない fact18: 仮に何らかのものは当たり易くないけど掃除出来れば二位集団でない fact19: 「そのＥ．Ｇ．は最大化しないけれど不渡り手形だ」ということは成り立たない fact20: もしそのＥ．Ｇ．が掃除出来なくてかつ接近し易くないならこの和室空間は掃除出来る fact21: その過酸化水素は当たり易くない fact22: もしもこの和室空間は空騒ぎであるとすればそれは二位集団である fact23: もし仮にその過酸化水素が当たり易いがしかしそれは接近し易くないとするとそれは熟せらない fact24: もしも握り易くないものは談論風発すれば「御忙しくない」ということは真実だ fact25: その過酸化水素は談論風発しない fact26: もし仮に「そのＥ．Ｇ．は最大化しないしかつ不渡り手形でない」ということは確かでないとしたら「その過酸化水素は掃除出来ない」ということは嘘でない ; $hypothesis$ = この和室空間は二位集団である ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのＥ．Ｇ．は最大化するということはなくてかつ不渡り手形でない」ということは本当であるということはない; fact26 & assump1 -> int1: 「その過酸化水素は掃除出来ない」ということは本当だ; int1 & fact3 -> int2: その過酸化水素は当たり易くなくてその上接近し易くない; int2 & fact7 -> int3: 「その過酸化水素は熟せらない」ということは確かである; fact11 & fact25 -> int4: その過酸化水素は熟せる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: そのＥ．Ｇ．は最大化するということはないしその上不渡り手形でない; int6 & fact15 -> int7: この和室空間は御忙しいということはない; int7 & fact1 -> int8: 「この和室空間は空騒ぎである」ということは成り立つ; int8 & fact22 -> 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: もし仮にその過酸化水素が当たり易いがしかしそれは接近し易くないとするとそれは熟せらない
事実24: もしも握り易くないものは談論風発すれば「御忙しくない」ということは真実だ
事実25: その過酸化水素は談論風発しない
事実26: もし仮に「そのＥ．Ｇ．は最大化しないしかつ不渡り手形でない」ということは確かでないとしたら「その過酸化水素は掃除出来ない」ということは嘘でない

仮説: この和室空間は二位集団である
1. 仮定1: 以下のように仮定する。「そのＥ．Ｇ．は最大化するということはなくてかつ不渡り手形でない」ということは本当であるということはない
2. 事実26と仮定1から、推論1: "「その過酸化水素は掃除出来ない」ということは本当だ"が導かれる
3. 推論1と事実3から、推論2: "その過酸化水素は当たり易くなくてその上接近し易くない"が導かれる
4. 推論2と事実7から、推論3: "「その過酸化水素は熟せらない」ということは確かである"が導かれる
5. 事実11と事実25から、推論4: "その過酸化水素は熟せる"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "そのＥ．Ｇ．は最大化するということはないしその上不渡り手形でない"が導かれる
8. 推論6と事実15から、推論7: "この和室空間は御忙しいということはない"が導かれる
9. 推論7と事実1から、推論8: "「この和室空間は空騒ぎである」ということは成り立つ"が導かれる
10. 推論8と事実22から、仮説が導かれる

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