この袴姿はクラッシュビルであるけど平べったくない
fact1: もし「その定額部分は命令放送でない」ということは成り立つとすればこの画鋲は跳ね返らなくてかつそれは使用し難くない fact2: この画鋲は平べったいならば「その定額部分は編み止めするけど平べったいということはない」ということは真実でない fact3: もしも「その定額部分は平べったい」ということは嘘でないならば「この袴姿はクラッシュビルであるが平べったくない」ということは成り立たない fact4: このスプレー式は頼み難くなくて更に恥ずかしない fact5: この画鋲は編み止めする fact6: この開成所版は編み止めする fact7: もしもこの画鋲が編み止めするとすればその定額部分は平べったい fact8: 仮にその定額部分は平べったいとすると「この袴姿はクラッシュビルだしさらに平べったい」ということは真実でない fact9: もしこの袴姿が平べったいとしたらその定額部分はクラッシュビルである fact10: 仮にあの外科手術型が温度調節だということはなくて戯画化しないとしたらその定額部分は命令放送でない fact11: もし何らかのものは跳ね返らなくてそれに使用し難くないとすれば編み止めしない
fact7 & fact5 -> int1: その定額部分は平べったい; int1 & fact3 -> hypothesis;
fact7 & fact5 -> int1: {B}{b}; int1 & fact3 -> hypothesis;
この袴姿はクラッシュビルであるけど平べったくない
fact13 -> int2: もし仮にこの画鋲が跳ね返らないし使用し難くないとしたらそれは編み止めするということはない; fact14 -> int3: 「このスプレー式は頼み難くない」ということは成り立つ; int3 -> int4: 「「頼み難くない」ということは事実である」ものはある;
$facts$ = fact1: もし「その定額部分は命令放送でない」ということは成り立つとすればこの画鋲は跳ね返らなくてかつそれは使用し難くない fact2: この画鋲は平べったいならば「その定額部分は編み止めするけど平べったいということはない」ということは真実でない fact3: もしも「その定額部分は平べったい」ということは嘘でないならば「この袴姿はクラッシュビルであるが平べったくない」ということは成り立たない fact4: このスプレー式は頼み難くなくて更に恥ずかしない fact5: この画鋲は編み止めする fact6: この開成所版は編み止めする fact7: もしもこの画鋲が編み止めするとすればその定額部分は平べったい fact8: 仮にその定額部分は平べったいとすると「この袴姿はクラッシュビルだしさらに平べったい」ということは真実でない fact9: もしこの袴姿が平べったいとしたらその定額部分はクラッシュビルである fact10: 仮にあの外科手術型が温度調節だということはなくて戯画化しないとしたらその定額部分は命令放送でない fact11: もし何らかのものは跳ね返らなくてそれに使用し難くないとすれば編み止めしない ; $hypothesis$ = この袴姿はクラッシュビルであるけど平べったくない ; $proof$ = 
fact7 & fact5 -> int1: その定額部分は平べったい; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「その定額部分は命令放送でない」ということは成り立つとすればこの画鋲は跳ね返らなくてかつそれは使用し難くない
事実2: この画鋲は平べったいならば「その定額部分は編み止めするけど平べったいということはない」ということは真実でない
事実3: もしも「その定額部分は平べったい」ということは嘘でないならば「この袴姿はクラッシュビルであるが平べったくない」ということは成り立たない
事実4: このスプレー式は頼み難くなくて更に恥ずかしない
事実5: この画鋲は編み止めする
事実6: この開成所版は編み止めする
事実7: もしもこの画鋲が編み止めするとすればその定額部分は平べったい
事実8: 仮にその定額部分は平べったいとすると「この袴姿はクラッシュビルだしさらに平べったい」ということは真実でない
事実9: もしこの袴姿が平べったいとしたらその定額部分はクラッシュビルである
事実10: 仮にあの外科手術型が温度調節だということはなくて戯画化しないとしたらその定額部分は命令放送でない
事実11: もし何らかのものは跳ね返らなくてそれに使用し難くないとすれば編み止めしない

仮説: この袴姿はクラッシュビルであるけど平べったくない
1. 事実7と事実5から、推論1: "その定額部分は平べったい"が導かれる
2. 推論1と事実3から、仮説が否定される

よって、仮説が否定されました。