あの漢字文化圏はきもい
fact1: もし「あの漢字文化圏は閣議決定するということはない一方でそれは利き難い」ということは成り立たないならばきもい fact2: もし仮にあの漢字文化圏はインボイスでないとしたら「それは閣議決定しないしそれは利き難い」ということは成り立たない fact3: 「上げ難い物はインボイスでない」ということは確かだ fact4: その可燃性ガスが営み得るけれどそれは背負うということはないとすれば「あのモーターボートは賑々しくない」ということは事実だ fact5: もし仮に「何かは上げ難くないが聖櫃である」ということは間違っているならインボイスでない fact6: もしもその可燃性ガスが営み得るとすれば賑々しい一方で背負うということはない fact7: もし仮にあのモーターボートは賑々しくないとすると「あの漢字文化圏は上げ難くないけど聖櫃だ」ということは真実でない fact8: 仮にその可燃性ガスは休み始めないならば「あのモーターボートは賑々しくないけど背負う」ということは成り立つということはない fact9: 「あのモーターボートは賑々しくない一方で閣議決定する」ということは本当でないとしたらそれは背負うということはない fact10: 「あの漢字文化圏は閣議決定するし利き難い」ということは事実と異なる fact11: あの集団的労使関係法は休み始める fact12: 仮にあの集団的労使関係法が休み始めるとしたら背負う fact13: 仮にあの漢字文化圏は休み始めないとすると「きもいしそれは背負う」ということは成り立たない fact14: 「その可燃性ガスは利き難い」ということは事実だ fact15: 聖櫃は営み得る fact16: もしもあの集団的労使関係法が背負うとすればあの可燃性ガスは営み得るがしかし背負わない fact17: もし仮に何かは人恋しいとしたら「この魔女狩りは人恋しくないがしかし片微分する」ということは誤りである fact18: もしあの集団的労使関係法がきもいけれど背負うということはないとすればあの漢字文化圏は上げ難くない fact19: もし仮にその可燃性ガスが営み得るしさらに背負えばあのモーターボートは賑々しくない fact20: その副腎皮質ホルモン剤は休み始める fact21: 「その可燃性ガスは背負うということはない」ということは本当ならあの集団的労使関係法は休み始めるし人恋しい fact22: もしあの集団的労使関係法は休み始めないならばあの漢字文化圏はきもくない
fact12 & fact11 -> int1: 「あの集団的労使関係法は背負う」ということは正しい; int1 & fact16 -> int2: その可燃性ガスは営み得るが背負わない; int2 & fact4 -> int3: あのモーターボートは賑々しいということはない; int3 & fact7 -> int4: 「あの漢字文化圏は上げ難くないが聖櫃だ」ということは誤っている; fact5 -> int5: 仮に「あの漢字文化圏は上げ難くないが聖櫃である」ということは偽ならばそれはインボイスでない; int4 & int5 -> int6: あの漢字文化圏はインボイスでない; int6 & fact2 -> int7: 「あの漢字文化圏は閣議決定しないけどそれは利き難い」ということは本当でない; int7 & fact1 -> hypothesis;
あの漢字文化圏はきもくない
$facts$ = fact1: もし「あの漢字文化圏は閣議決定するということはない一方でそれは利き難い」ということは成り立たないならばきもい fact2: もし仮にあの漢字文化圏はインボイスでないとしたら「それは閣議決定しないしそれは利き難い」ということは成り立たない fact3: 「上げ難い物はインボイスでない」ということは確かだ fact4: その可燃性ガスが営み得るけれどそれは背負うということはないとすれば「あのモーターボートは賑々しくない」ということは事実だ fact5: もし仮に「何かは上げ難くないが聖櫃である」ということは間違っているならインボイスでない fact6: もしもその可燃性ガスが営み得るとすれば賑々しい一方で背負うということはない fact7: もし仮にあのモーターボートは賑々しくないとすると「あの漢字文化圏は上げ難くないけど聖櫃だ」ということは真実でない fact8: 仮にその可燃性ガスは休み始めないならば「あのモーターボートは賑々しくないけど背負う」ということは成り立つということはない fact9: 「あのモーターボートは賑々しくない一方で閣議決定する」ということは本当でないとしたらそれは背負うということはない fact10: 「あの漢字文化圏は閣議決定するし利き難い」ということは事実と異なる fact11: あの集団的労使関係法は休み始める fact12: 仮にあの集団的労使関係法が休み始めるとしたら背負う fact13: 仮にあの漢字文化圏は休み始めないとすると「きもいしそれは背負う」ということは成り立たない fact14: 「その可燃性ガスは利き難い」ということは事実だ fact15: 聖櫃は営み得る fact16: もしもあの集団的労使関係法が背負うとすればあの可燃性ガスは営み得るがしかし背負わない fact17: もし仮に何かは人恋しいとしたら「この魔女狩りは人恋しくないがしかし片微分する」ということは誤りである fact18: もしあの集団的労使関係法がきもいけれど背負うということはないとすればあの漢字文化圏は上げ難くない fact19: もし仮にその可燃性ガスが営み得るしさらに背負えばあのモーターボートは賑々しくない fact20: その副腎皮質ホルモン剤は休み始める fact21: 「その可燃性ガスは背負うということはない」ということは本当ならあの集団的労使関係法は休み始めるし人恋しい fact22: もしあの集団的労使関係法は休み始めないならばあの漢字文化圏はきもくない ; $hypothesis$ = あの漢字文化圏はきもい ; $proof$ = 
fact12 & fact11 -> int1: 「あの集団的労使関係法は背負う」ということは正しい; int1 & fact16 -> int2: その可燃性ガスは営み得るが背負わない; int2 & fact4 -> int3: あのモーターボートは賑々しいということはない; int3 & fact7 -> int4: 「あの漢字文化圏は上げ難くないが聖櫃だ」ということは誤っている; fact5 -> int5: 仮に「あの漢字文化圏は上げ難くないが聖櫃である」ということは偽ならばそれはインボイスでない; int4 & int5 -> int6: あの漢字文化圏はインボイスでない; int6 & fact2 -> int7: 「あの漢字文化圏は閣議決定しないけどそれは利き難い」ということは本当でない; int7 & fact1 -> hypothesis; __PROVED__
事実1: もし「あの漢字文化圏は閣議決定するということはない一方でそれは利き難い」ということは成り立たないならばきもい
事実2: もし仮にあの漢字文化圏はインボイスでないとしたら「それは閣議決定しないしそれは利き難い」ということは成り立たない
事実3: 「上げ難い物はインボイスでない」ということは確かだ
事実4: その可燃性ガスが営み得るけれどそれは背負うということはないとすれば「あのモーターボートは賑々しくない」ということは事実だ
事実5: もし仮に「何かは上げ難くないが聖櫃である」ということは間違っているならインボイスでない
事実6: もしもその可燃性ガスが営み得るとすれば賑々しい一方で背負うということはない
事実7: もし仮にあのモーターボートは賑々しくないとすると「あの漢字文化圏は上げ難くないけど聖櫃だ」ということは真実でない
事実8: 仮にその可燃性ガスは休み始めないならば「あのモーターボートは賑々しくないけど背負う」ということは成り立つということはない
事実9: 「あのモーターボートは賑々しくない一方で閣議決定する」ということは本当でないとしたらそれは背負うということはない
事実10: 「あの漢字文化圏は閣議決定するし利き難い」ということは事実と異なる
事実11: あの集団的労使関係法は休み始める
事実12: 仮にあの集団的労使関係法が休み始めるとしたら背負う
事実13: 仮にあの漢字文化圏は休み始めないとすると「きもいしそれは背負う」ということは成り立たない
事実14: 「その可燃性ガスは利き難い」ということは事実だ
事実15: 聖櫃は営み得る
事実16: もしもあの集団的労使関係法が背負うとすればあの可燃性ガスは営み得るがしかし背負わない
事実17: もし仮に何かは人恋しいとしたら「この魔女狩りは人恋しくないがしかし片微分する」ということは誤りである
事実18: もしあの集団的労使関係法がきもいけれど背負うということはないとすればあの漢字文化圏は上げ難くない
事実19: もし仮にその可燃性ガスが営み得るしさらに背負えばあのモーターボートは賑々しくない
事実20: その副腎皮質ホルモン剤は休み始める
事実21: 「その可燃性ガスは背負うということはない」ということは本当ならあの集団的労使関係法は休み始めるし人恋しい
事実22: もしあの集団的労使関係法は休み始めないならばあの漢字文化圏はきもくない

仮説: あの漢字文化圏はきもい
1. 事実12と事実11から、推論1: "「あの集団的労使関係法は背負う」ということは正しい"が導かれる
2. 推論1と事実16から、推論2: "その可燃性ガスは営み得るが背負わない"が導かれる
3. 推論2と事実4から、推論3: "あのモーターボートは賑々しいということはない"が導かれる
4. 推論3と事実7から、推論4: "「あの漢字文化圏は上げ難くないが聖櫃だ」ということは誤っている"が導かれる
5. 事実5から、推論5: "仮に「あの漢字文化圏は上げ難くないが聖櫃である」ということは偽ならばそれはインボイスでない"が導かれる
6. 推論4と推論5から、推論6: "あの漢字文化圏はインボイスでない"が導かれる
7. 推論6と事実2から、推論7: "「あの漢字文化圏は閣議決定しないけどそれは利き難い」ということは本当でない"が導かれる
8. 推論7と事実1から、仮説が導かれる

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