あのＧＨＲＰは出難くない
fact1: 何もかもは御膳立てしないし上がり易くない fact2: もしこの定めが五裂する一方で介護出来ないとしたらこの濃い味は極まり悪くない fact3: もしもそのマトリクスが御膳立てしないならこの定めは五裂する一方で介護出来ない fact4: もし仮に「極まり悪くない」ものはあるとしたら「その大北は点滴静注するししかも割り引きする」ということは誤りである fact5: なにがしかのものは上がり易いなら「御膳立てしないかもしくは出難くない」ということは確かでない fact6: もし仮に「この定めは介護出来るしおまけにそれは点滴静注する」ということは事実と異なるとすればあの大北は出難くない fact7: もしもあのＧＨＲＰが五裂するけれど出難くないならこの定めは介護出来ない fact8: もし「なにかは上がり易いということはない一方で五裂する」ということは成り立たないならば上がり易い fact9: この建設国債は割り引きしない fact10: 仮に「この濃い味は御膳立てしないかまたはそれは出難くない」ということは成り立たないとするとこの定めは出難い fact11: もし仮に「その大北は点滴静注するしまた割り引きする」ということは嘘ならばあのＧＨＲＰは出難くない fact12: もし仮にこの建設国債が割り引きしないとしたらその大北は極まり悪いがそれは介護出来るということはない fact13: もしもこの定めが出難いならばあのＧＨＲＰは出難い
fact1 -> int1: そのマトリクスが御膳立てしないしさらにそれは上がり易くない; int1 -> int2: そのマトリクスは御膳立てしない; int2 & fact3 -> int3: この定めは五裂するがしかしそれは介護出来るということはない; int3 & fact2 -> int4: この濃い味は極まり悪いということはない; int4 -> int5: 「「極まり悪くない」ものはある」ということは偽であるということはない; int5 & fact4 -> int6: 「その大北は点滴静注するし割り引きする」ということは成り立たない; int6 & fact11 -> hypothesis;
あのＧＨＲＰは出難い
fact16 -> int7: 「もしこの濃い味は上がり易いならば「この濃い味は御膳立てしないかあるいは出難くないかあるいはどちらもである」ということは誤りである」ということは確かである; fact18 -> int8: もし仮に「この濃い味は上がり易いということはないがしかし五裂する」ということは誤っていればそれは上がり易い; fact17 & fact14 -> int9: その大北は極まり悪いけど介護出来るということはない;
$facts$ = fact1: 何もかもは御膳立てしないし上がり易くない fact2: もしこの定めが五裂する一方で介護出来ないとしたらこの濃い味は極まり悪くない fact3: もしもそのマトリクスが御膳立てしないならこの定めは五裂する一方で介護出来ない fact4: もし仮に「極まり悪くない」ものはあるとしたら「その大北は点滴静注するししかも割り引きする」ということは誤りである fact5: なにがしかのものは上がり易いなら「御膳立てしないかもしくは出難くない」ということは確かでない fact6: もし仮に「この定めは介護出来るしおまけにそれは点滴静注する」ということは事実と異なるとすればあの大北は出難くない fact7: もしもあのＧＨＲＰが五裂するけれど出難くないならこの定めは介護出来ない fact8: もし「なにかは上がり易いということはない一方で五裂する」ということは成り立たないならば上がり易い fact9: この建設国債は割り引きしない fact10: 仮に「この濃い味は御膳立てしないかまたはそれは出難くない」ということは成り立たないとするとこの定めは出難い fact11: もし仮に「その大北は点滴静注するしまた割り引きする」ということは嘘ならばあのＧＨＲＰは出難くない fact12: もし仮にこの建設国債が割り引きしないとしたらその大北は極まり悪いがそれは介護出来るということはない fact13: もしもこの定めが出難いならばあのＧＨＲＰは出難い ; $hypothesis$ = あのＧＨＲＰは出難くない ; $proof$ = 
fact1 -> int1: そのマトリクスが御膳立てしないしさらにそれは上がり易くない; int1 -> int2: そのマトリクスは御膳立てしない; int2 & fact3 -> int3: この定めは五裂するがしかしそれは介護出来るということはない; int3 & fact2 -> int4: この濃い味は極まり悪いということはない; int4 -> int5: 「「極まり悪くない」ものはある」ということは偽であるということはない; int5 & fact4 -> int6: 「その大北は点滴静注するし割り引きする」ということは成り立たない; int6 & fact11 -> hypothesis; __PROVED__
事実1: 何もかもは御膳立てしないし上がり易くない
事実2: もしこの定めが五裂する一方で介護出来ないとしたらこの濃い味は極まり悪くない
事実3: もしもそのマトリクスが御膳立てしないならこの定めは五裂する一方で介護出来ない
事実4: もし仮に「極まり悪くない」ものはあるとしたら「その大北は点滴静注するししかも割り引きする」ということは誤りである
事実5: なにがしかのものは上がり易いなら「御膳立てしないかもしくは出難くない」ということは確かでない
事実6: もし仮に「この定めは介護出来るしおまけにそれは点滴静注する」ということは事実と異なるとすればあの大北は出難くない
事実7: もしもあのＧＨＲＰが五裂するけれど出難くないならこの定めは介護出来ない
事実8: もし「なにかは上がり易いということはない一方で五裂する」ということは成り立たないならば上がり易い
事実9: この建設国債は割り引きしない
事実10: 仮に「この濃い味は御膳立てしないかまたはそれは出難くない」ということは成り立たないとするとこの定めは出難い
事実11: もし仮に「その大北は点滴静注するしまた割り引きする」ということは嘘ならばあのＧＨＲＰは出難くない
事実12: もし仮にこの建設国債が割り引きしないとしたらその大北は極まり悪いがそれは介護出来るということはない
事実13: もしもこの定めが出難いならばあのＧＨＲＰは出難い

仮説: あのＧＨＲＰは出難くない
1. 事実1から、推論1: "そのマトリクスが御膳立てしないしさらにそれは上がり易くない"が導かれる
2. 推論1から、推論2: "そのマトリクスは御膳立てしない"が導かれる
3. 推論2と事実3から、推論3: "この定めは五裂するがしかしそれは介護出来るということはない"が導かれる
4. 推論3と事実2から、推論4: "この濃い味は極まり悪いということはない"が導かれる
5. 推論4から、推論5: "「「極まり悪くない」ものはある」ということは偽であるということはない"が導かれる
6. 推論5と事実4から、推論6: "「その大北は点滴静注するし割り引きする」ということは成り立たない"が導かれる
7. 推論6と事実11から、仮説が導かれる

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