その目玉商品は切り難くないが宜し
fact1: もしも「なにがしかのものは厳めしくらないけどぐれる」ということは嘘であるとすると「厳めしい」ということは成り立つ fact2: 仮に「この現存利益は私案であるということはない」ということは真実であるならば「それは食べ零し名人であるししかも民間部門だ」ということは本当でない fact3: 仮に当たり易くない物が終息しないとすれば取り難くない fact4: 仮にあるものは音韻論でないならば「厳めしいということはない一方でぐれる」ということは成り立つということはない fact5: ある物は厳めしいということはない fact6: もしもこの現存利益が宜しとすればその目玉商品は切り難くないがしかし宜し fact7: もし「厳めしくらない」物はあるなら「あのスキーマはぐれるけど音韻論でない」ということは本当だ fact8: もし「この現存利益が早くないしさらにそれはＲＢでない」ということは事実と異なるなら私案でない fact9: もし仮にとあるものは厳めしいなら「それは切り難くないがしかし宜し」ということは事実と異なる fact10: もしもあのスキーマは民間部門でないとしたら「それは当たり易くなくてそれは終息しない」ということは成り立つ fact11: もしこの現存利益がぐれるし音韻論ならあのスキーマは宜し fact12: その目玉商品は宜し fact13: 欧化政策は宜し fact14: 欧化政策はぐれる fact15: もし仮に「この現存利益は食べ零し名人であるしおまけに民間部門だ」ということは正しくないならあのスキーマは民間部門でない fact16: あのスキーマは切り難い fact17: もしとあるものは取り難いということはないとしたら「堆くて更に欧化政策だ」ということは成り立たない fact18: 「この現存利益は早くないしそれにＲＢでない」ということは成り立たない fact19: もし仮にあのスキーマがぐれる一方で音韻論でないとすればこの現存利益は欧化政策である
fact5 & fact7 -> int1: あのスキーマはぐれるけれど音韻論でない; int1 & fact19 -> int2: この現存利益は欧化政策である; fact13 -> int3: もし仮に「この現存利益は欧化政策だ」ということは本当だとするとそれは宜し; int2 & int3 -> int4: この現存利益は宜し; int4 & fact6 -> hypothesis;
「「その目玉商品は切り難くないけど宜し」ということは嘘である」ということは成り立つ
fact26 -> int5: もしその目玉商品は厳めしいとすると「それは切り難いということはないけれど宜し」ということは成り立たない; fact20 -> int6: もし仮に「その目玉商品は厳めしくらないけどぐれる」ということは成り立たないとすれば厳めしい; fact29 -> int7: もしもその目玉商品は音韻論でないならば「それは厳めしくらないけどぐれる」ということは嘘だ; fact24 -> int8: もしあのスキーマは取り難くないならば「堆いしさらに欧化政策である」ということは間違いだ; fact21 -> int9: もし仮にあのスキーマが当たり易くなくてかつ終息するということはないとすればそれは取り難くない; fact27 & fact23 -> int10: この現存利益は私案でない; fact22 & int10 -> int11: 「この現存利益は食べ零し名人でまたそれは民間部門だ」ということは間違っている; fact25 & int11 -> int12: あのスキーマは民間部門でない; fact28 & int12 -> int13: あのスキーマは当たり易くないし終息しない; int9 & int13 -> int14: あのスキーマは取り難くない; int8 & int14 -> int15: 「あのスキーマは堆くて更に欧化政策である」ということは間違いだ; int15 -> int16: 「「堆くてかつ欧化政策である」ということは成り立たない」物はある;
$facts$ = fact1: もしも「なにがしかのものは厳めしくらないけどぐれる」ということは嘘であるとすると「厳めしい」ということは成り立つ fact2: 仮に「この現存利益は私案であるということはない」ということは真実であるならば「それは食べ零し名人であるししかも民間部門だ」ということは本当でない fact3: 仮に当たり易くない物が終息しないとすれば取り難くない fact4: 仮にあるものは音韻論でないならば「厳めしいということはない一方でぐれる」ということは成り立つということはない fact5: ある物は厳めしいということはない fact6: もしもこの現存利益が宜しとすればその目玉商品は切り難くないがしかし宜し fact7: もし「厳めしくらない」物はあるなら「あのスキーマはぐれるけど音韻論でない」ということは本当だ fact8: もし「この現存利益が早くないしさらにそれはＲＢでない」ということは事実と異なるなら私案でない fact9: もし仮にとあるものは厳めしいなら「それは切り難くないがしかし宜し」ということは事実と異なる fact10: もしもあのスキーマは民間部門でないとしたら「それは当たり易くなくてそれは終息しない」ということは成り立つ fact11: もしこの現存利益がぐれるし音韻論ならあのスキーマは宜し fact12: その目玉商品は宜し fact13: 欧化政策は宜し fact14: 欧化政策はぐれる fact15: もし仮に「この現存利益は食べ零し名人であるしおまけに民間部門だ」ということは正しくないならあのスキーマは民間部門でない fact16: あのスキーマは切り難い fact17: もしとあるものは取り難いということはないとしたら「堆くて更に欧化政策だ」ということは成り立たない fact18: 「この現存利益は早くないしそれにＲＢでない」ということは成り立たない fact19: もし仮にあのスキーマがぐれる一方で音韻論でないとすればこの現存利益は欧化政策である ; $hypothesis$ = その目玉商品は切り難くないが宜し ; $proof$ = 
fact5 & fact7 -> int1: あのスキーマはぐれるけれど音韻論でない; int1 & fact19 -> int2: この現存利益は欧化政策である; fact13 -> int3: もし仮に「この現存利益は欧化政策だ」ということは本当だとするとそれは宜し; int2 & int3 -> int4: この現存利益は宜し; int4 & fact6 -> hypothesis; __PROVED__
事実1: もしも「なにがしかのものは厳めしくらないけどぐれる」ということは嘘であるとすると「厳めしい」ということは成り立つ
事実2: 仮に「この現存利益は私案であるということはない」ということは真実であるならば「それは食べ零し名人であるししかも民間部門だ」ということは本当でない
事実3: 仮に当たり易くない物が終息しないとすれば取り難くない
事実4: 仮にあるものは音韻論でないならば「厳めしいということはない一方でぐれる」ということは成り立つということはない
事実5: ある物は厳めしいということはない
事実6: もしもこの現存利益が宜しとすればその目玉商品は切り難くないがしかし宜し
事実7: もし「厳めしくらない」物はあるなら「あのスキーマはぐれるけど音韻論でない」ということは本当だ
事実8: もし「この現存利益が早くないしさらにそれはＲＢでない」ということは事実と異なるなら私案でない
事実9: もし仮にとあるものは厳めしいなら「それは切り難くないがしかし宜し」ということは事実と異なる
事実10: もしもあのスキーマは民間部門でないとしたら「それは当たり易くなくてそれは終息しない」ということは成り立つ
事実11: もしこの現存利益がぐれるし音韻論ならあのスキーマは宜し
事実12: その目玉商品は宜し
事実13: 欧化政策は宜し
事実14: 欧化政策はぐれる
事実15: もし仮に「この現存利益は食べ零し名人であるしおまけに民間部門だ」ということは正しくないならあのスキーマは民間部門でない
事実16: あのスキーマは切り難い
事実17: もしとあるものは取り難いということはないとしたら「堆くて更に欧化政策だ」ということは成り立たない
事実18: 「この現存利益は早くないしそれにＲＢでない」ということは成り立たない
事実19: もし仮にあのスキーマがぐれる一方で音韻論でないとすればこの現存利益は欧化政策である

仮説: その目玉商品は切り難くないが宜し
1. 事実5と事実7から、推論1: "あのスキーマはぐれるけれど音韻論でない"が導かれる
2. 推論1と事実19から、推論2: "この現存利益は欧化政策である"が導かれる
3. 事実13から、推論3: "もし仮に「この現存利益は欧化政策だ」ということは本当だとするとそれは宜し"が導かれる
4. 推論2と推論3から、推論4: "この現存利益は宜し"が導かれる
5. 推論4と事実6から、仮説が導かれる

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