あの攪拌器は成り下がる
fact1: この市参事会は扱い難い fact2: もしそのダブルバッファリングが早起きすればこの文明は早起きする fact3: もしも「「アウトプットしない」ということは成り立つ」ものがあるとすればそのダブルバッファリングは紛らわしいか早起きするかどちらもである fact4: もしもあの攪拌器は成り下がるなら「この立法府は成り下がる」ということは成り立つ fact5: もしも何らかのものは早起きしないとすれば「それは成り下がるし調合する」ということは嘘でない fact6: もしもそのダブルバッファリングが早起きしなくておまけに調合しないならばこの文明はアウトプットしない fact7: もしこの市参事会が相待つしおまけに聞こえ続けるとしたらこの文明は早起きしない fact8: もし仮に「「なにがしかのものは扱い難くないがアウトプットする」ということは事実である」ということは成り立たないならそれは紛らわしくない fact9: この文明が調合するということはないならこの市参事会は伝わり難くないしかつそれは相待たない fact10: もしもその生命粒子が聞こえ続けるということはないならばこの立法府は減税しなくてかつそれは聞こえ続けない fact11: その生命粒子は相待たない fact12: この立法府は聞こえ続けないし早起きしない fact13: 仮にこの文明が早起きするし調合すればその生命粒子は聞こえ続けない fact14: 仮にこの市参事会が扱い難くないし早起きするということはないとするとそのダブルバッファリングは相待たない fact15: もし仮にそのダブルバッファリングが紛らわしいならこの文明は早起きする fact16: 「この市参事会は相待つが減税しない」ということは事実でない fact17: もし仮に「この市参事会は扱い難い」ということは確かであるとしたら「伝わり難いけど相待つということはない」ということは成り立たない fact18: もしもこの市参事会は扱い難いとすると「それは伝わり難くないししかも相待つということはない」ということは事実と異なる fact19: この石油ショックはアウトプットしない fact20: 「喋り難い」物はある fact21: この市参事会は紛らわしくないならば「この文明は減税しないかあるいは聞こえ続けるかどちらもだ」ということは事実と異なる fact22: 仮にこの文明は扱い難いなら「アウトプットしないし加えて早起きしない」ということは真実でない fact23: もし仮にこの立法府が減税しないしおまけに聞こえ続けないならあの攪拌器は成り下がらない
void -> assump1: 以下のように仮定する。この文明は調合しない; fact9 & assump1 -> int1: この市参事会は伝わり難くないしその上相待たない; fact18 & fact1 -> int2: 「この市参事会は伝わり難くないし相待たない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この文明は調合する; fact19 -> int5: なにがしかのものはアウトプットしない; int5 & fact3 -> int6: そのダブルバッファリングは紛らわしいかまたはそれは早起きする; int6 & fact15 & fact2 -> int7: この文明は早起きする; int4 & int7 -> int8: この文明は早起きするしまたそれは調合する; int8 & fact13 -> int9: その生命粒子は聞こえ続けない; int9 & fact10 -> int10: この立法府は減税しないしおまけに聞こえ続けない; int10 & fact23 -> hypothesis;
あの攪拌器は成り下がる
fact24 -> int11: もし「あの攪拌器は早起きしない」ということは事実であるなら成り下がるしおまけにそれは調合する; fact25 -> int12: もし「この市参事会は扱い難くないがアウトプットする」ということは成り立つということはないとすれば紛らわしくない;
$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 -> assump1: 以下のように仮定する。この文明は調合しない; fact9 & assump1 -> int1: この市参事会は伝わり難くないしその上相待たない; fact18 & fact1 -> int2: 「この市参事会は伝わり難くないし相待たない」ということは成り立たない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この文明は調合する; fact19 -> int5: なにがしかのものはアウトプットしない; int5 & fact3 -> int6: そのダブルバッファリングは紛らわしいかまたはそれは早起きする; int6 & fact15 & fact2 -> int7: この文明は早起きする; int4 & int7 -> int8: この文明は早起きするしまたそれは調合する; int8 & fact13 -> int9: その生命粒子は聞こえ続けない; int9 & fact10 -> int10: この立法府は減税しないしおまけに聞こえ続けない; int10 & fact23 -> hypothesis; __DISPROVED__
事実1: この市参事会は扱い難い
事実2: もしそのダブルバッファリングが早起きすればこの文明は早起きする
事実3: もしも「「アウトプットしない」ということは成り立つ」ものがあるとすればそのダブルバッファリングは紛らわしいか早起きするかどちらもである
事実4: もしもあの攪拌器は成り下がるなら「この立法府は成り下がる」ということは成り立つ
事実5: もしも何らかのものは早起きしないとすれば「それは成り下がるし調合する」ということは嘘でない
事実6: もしもそのダブルバッファリングが早起きしなくておまけに調合しないならばこの文明はアウトプットしない
事実7: もしこの市参事会が相待つしおまけに聞こえ続けるとしたらこの文明は早起きしない
事実8: もし仮に「「なにがしかのものは扱い難くないがアウトプットする」ということは事実である」ということは成り立たないならそれは紛らわしくない
事実9: この文明が調合するということはないならこの市参事会は伝わり難くないしかつそれは相待たない
事実10: もしもその生命粒子が聞こえ続けるということはないならばこの立法府は減税しなくてかつそれは聞こえ続けない
事実11: その生命粒子は相待たない
事実12: この立法府は聞こえ続けないし早起きしない
事実13: 仮にこの文明が早起きするし調合すればその生命粒子は聞こえ続けない
事実14: 仮にこの市参事会が扱い難くないし早起きするということはないとするとそのダブルバッファリングは相待たない
事実15: もし仮にそのダブルバッファリングが紛らわしいならこの文明は早起きする
事実16: 「この市参事会は相待つが減税しない」ということは事実でない
事実17: もし仮に「この市参事会は扱い難い」ということは確かであるとしたら「伝わり難いけど相待つということはない」ということは成り立たない
事実18: もしもこの市参事会は扱い難いとすると「それは伝わり難くないししかも相待つということはない」ということは事実と異なる
事実19: この石油ショックはアウトプットしない
事実20: 「喋り難い」物はある
事実21: この市参事会は紛らわしくないならば「この文明は減税しないかあるいは聞こえ続けるかどちらもだ」ということは事実と異なる
事実22: 仮にこの文明は扱い難いなら「アウトプットしないし加えて早起きしない」ということは真実でない
事実23: もし仮にこの立法府が減税しないしおまけに聞こえ続けないならあの攪拌器は成り下がらない

仮説: あの攪拌器は成り下がる
1. 仮定1: 以下のように仮定する。この文明は調合しない
2. 事実9と仮定1から、推論1: "この市参事会は伝わり難くないしその上相待たない"が導かれる
3. 事実18と事実1から、推論2: "「この市参事会は伝わり難くないし相待たない」ということは成り立たない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この文明は調合する"が導かれる
6. 事実19から、推論5: "なにがしかのものはアウトプットしない"が導かれる
7. 推論5と事実3から、推論6: "そのダブルバッファリングは紛らわしいかまたはそれは早起きする"が導かれる
8. 推論6と事実15と事実2から、推論7: "この文明は早起きする"が導かれる
9. 推論4と推論7から、推論8: "この文明は早起きするしまたそれは調合する"が導かれる
10. 推論8と事実13から、推論9: "その生命粒子は聞こえ続けない"が導かれる
11. 推論9と事実10から、推論10: "この立法府は減税しないしおまけに聞こえ続けない"が導かれる
12. 推論10と事実23から、仮説が否定される

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