この共同運動障害は書き終えるということはない
fact1: 「腹部食道癌な」ものはある fact2: もしも「遠景でない」ものがあるとしたらこの共同運動障害は新体詩だということはない fact3: この外国人選手は通じ難くない fact4: もしとある物は通じ難くないとすれば「それは新体詩であるということはない」ということは真実だ fact5: 「その音楽取り調べ掛かりはスムージングしない」ということは成り立たないとしたらあの一．五センチメートル角は腹部食道癌である fact6: この学説史が書き終えないなら費用化しないしそれは見出ださない fact7: あの入植地は通じ難いということはない fact8: 「価値評価でない」ものはある fact9: この共同運動障害は新体詩でなくて更にそれは婦選でない fact10: 「陰気臭くない」物はある fact11: もしその驀地が腹部食道癌でないとすればあの共同運動障害は書き終えるし通じ難い fact12: 「腹部食道癌でない」ものはある fact13: 仮にこの共同運動障害が通じ難くないとすればそれは新体詩でない fact14: もしなにかは通じ難くないなら書き終えないししかも新体詩でない fact15: この共同運動障害は浴びせない fact16: この共同運動障害は新体詩でない fact17: もし仮にこの共同運動障害が書き終えないならそれは説明文でなくて汚れ易くない fact18: 仮にこの共同運動障害が暮らし始めないとすればそれは腹部食道癌でなくてかつそれは何科でない fact19: 仮に「腹部食道癌でない」物があればこの共同運動障害は通じ難くない fact20: 仮に「「暮らし始めない」ということは成り立つ」ものがあるとするとこの共同運動障害は腹部食道癌でない fact21: この共同運動障害は比すということはない fact22: 仮にあの正中線上が通じ難くないとすれば快くないしおまけに粉っぽくない fact23: あの砂糖黍は書き終えない
fact14 -> int1: もしこの共同運動障害が通じ難くないなら書き終えないしおまけにそれは新体詩だということはない; fact19 & fact12 -> int2: この共同運動障害は通じ難くない; int1 & int2 -> int3: この共同運動障害は書き終えなくてその上新体詩でない; int3 -> hypothesis;
fact14 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact19 & fact12 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & ¬{AB}{aa}); int3 -> hypothesis;
この共同運動障害は書き終える
$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$ = 
fact14 -> int1: もしこの共同運動障害が通じ難くないなら書き終えないしおまけにそれは新体詩だということはない; fact19 & fact12 -> int2: この共同運動障害は通じ難くない; int1 & int2 -> int3: この共同運動障害は書き終えなくてその上新体詩でない; int3 -> 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. 事実14から、推論1: "もしこの共同運動障害が通じ難くないなら書き終えないしおまけにそれは新体詩だということはない"が導かれる
2. 事実19と事実12から、推論2: "この共同運動障害は通じ難くない"が導かれる
3. 推論1と推論2から、推論3: "この共同運動障害は書き終えなくてその上新体詩でない"が導かれる
4. 推論3から、仮説が導かれる

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