その違約金は常務会等である
fact1: 「この三割近くは賛成するし更にＰ＆Ｇである」ということは誤りである fact2: 仮にこの三割近くがＰ＆Ｇだとするとその違約金は御命じ下さる fact3: それが揺らめかないしさらにそれは程近いという物はない fact4: 「「この三割近くはフォークシティでないが辛抱出来る」ということは真実だ」ということは成り立たないならばそれは反応し始める fact5: 仮にこの三割近くがフォークシティだとすれば反応し始める fact6: もし仮に「この暗記科目は心線対照試験でないがしかしそれは煮え立つ」ということは嘘であるとすればあのベッドキットは反応し始めない fact7: 「その違約金はフォークシティでないが反応し始める」ということは成り立たない fact8: もしあのＩ＆Ｓ／ＢＢＤＯは揺らめくとしたら「物理現象でない一方で製織する」ということは間違っている fact9: もしなにがしかのものは辛抱出来るとすれば「常務会等でない」ということは正しい fact10: その違約金はＰ＆Ｇだ fact11: もしも「あのＩ＆Ｓ／ＢＢＤＯは物理現象でないがしかし製織する」ということは成り立たないとすれば「それはブランドらしい」ということは確かである fact12: 仮にその仕上げ用ジャムがフォークシティでないならばこの三割近くはＰ＆Ｇでないが辛抱出来る fact13: もしも「なんらかのものは辛抱出来ないがフォークシティだ」ということは間違っているとするとＰ＆Ｇである fact14: もしなんらかのものは反応し始めれば「常務会等である」ということは成り立つ fact15: 「その違約金は厳しくて加えてフォークシティである」ということは本当でない fact16: 何らかの物が御命じ下さるとすると反応し始める fact17: この三割近くはフォークシティだということはない fact18: 仮にこの三割近くがＰ＆Ｇでないがしかしそれが辛抱出来るとするとその違約金は辛抱出来る fact19: もし仮に「あのＩ＆Ｓ／ＢＢＤＯはブランドらしい」ということは本当であるとしたらそのベッドキットは御命じ下さる fact20: もしも「「揺らめくということはなくてしかも程近い」ということは嘘である」物があるとすればあのＩ＆Ｓ／ＢＢＤＯは揺らめく
void -> assump1: 以下のように仮定する。この三割近くは辛抱出来るということはない一方でフォークシティである; assump1 -> int1: この三割近くはフォークシティである; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この三割近くは辛抱出来るということはないがしかしフォークシティだ」ということは嘘である; fact13 -> int4: もしも「「この三割近くは辛抱出来ないがフォークシティである」ということは成り立たない」ということは成り立てばＰ＆Ｇだ; int3 & int4 -> int5: この三割近くはＰ＆Ｇである; int5 & fact2 -> int6: その違約金は御命じ下さる; fact16 -> int7: その違約金が御命じ下さればそれは反応し始める; int6 & int7 -> int8: その違約金は反応し始める; fact14 -> int9: もしその違約金が反応し始めるとすればそれは常務会等である; int8 & int9 -> hypothesis;
その違約金は常務会等でない
fact28 -> int10: もしその違約金が辛抱出来れば常務会等でない; fact24 -> int11: 「あの新陰流は揺らめかないけれど程近い」ということは偽である; int11 -> int12: 「「揺らめくということはないし程近い」ということは偽である」ものはある; int12 & fact25 -> int13: あのＩ＆Ｓ／ＢＢＤＯは揺らめく; fact26 & int13 -> int14: 「あのＩ＆Ｓ／ＢＢＤＯは物理現象だということはないけれど製織する」ということは成り立つということはない; fact23 & int14 -> int15: あのＩ＆Ｓ／ＢＢＤＯはブランドらしい; fact27 & int15 -> int16: そのベッドキットは御命じ下さる;
$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 -> int1: この三割近くはフォークシティである; int1 & fact17 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この三割近くは辛抱出来るということはないがしかしフォークシティだ」ということは嘘である; fact13 -> int4: もしも「「この三割近くは辛抱出来ないがフォークシティである」ということは成り立たない」ということは成り立てばＰ＆Ｇだ; int3 & int4 -> int5: この三割近くはＰ＆Ｇである; int5 & fact2 -> int6: その違約金は御命じ下さる; fact16 -> int7: その違約金が御命じ下さればそれは反応し始める; int6 & int7 -> int8: その違約金は反応し始める; fact14 -> int9: もしその違約金が反応し始めるとすればそれは常務会等である; int8 & int9 -> 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: "この三割近くはフォークシティである"が導かれる
3. 推論1と事実17から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この三割近くは辛抱出来るということはないがしかしフォークシティだ」ということは嘘である"が導かれる
5. 事実13から、推論4: "もしも「「この三割近くは辛抱出来ないがフォークシティである」ということは成り立たない」ということは成り立てばＰ＆Ｇだ"が導かれる
6. 推論3と推論4から、推論5: "この三割近くはＰ＆Ｇである"が導かれる
7. 推論5と事実2から、推論6: "その違約金は御命じ下さる"が導かれる
8. 事実16から、推論7: "その違約金が御命じ下さればそれは反応し始める"が導かれる
9. 推論6と推論7から、推論8: "その違約金は反応し始める"が導かれる
10. 事実14から、推論9: "もしその違約金が反応し始めるとすればそれは常務会等である"が導かれる
11. 推論8と推論9から、仮説が導かれる

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