この漿液は調和し難いということはないけど気の毒がる
fact1: この漿液は延伸であるし更に言い訳がましい fact2: もし何らかの物が利用し辛いとしたら調和し難くない fact3: リューネブルガー・ピルゼナーは問い掛けない fact4: この鷺梁津は利用し辛い fact5: もしなんらかのものが若者らしいとすればそれは利用し辛い fact6: このトナカイは延伸で更に若者らしい fact7: このトナカイは北王国であるしＯ‐Ｐである fact8: その白バイは燃やすということはない fact9: もしもなにかは燃やすということはないとしたらその体様別は手緩くなくて加えてすばしっこくない fact10: このトナカイはこそこそしないけど誘発し易い fact11: もし「手緩くなくてすばしっこくない」ものがあるとするとこの一般株主は励み為さらない fact12: この一般株主が捕まえ易いとするとその蕾は若者らしくない fact13: この漿液は収め札だ fact14: このトナカイは延伸だ fact15: もし仮になんらかの物が励み為さらないとしたらそれは捕まえ易いかあるいはそれは利用し辛くない fact16: もし仮に「このトナカイは調和し難くない」ということは確かであるとすればこの漿液は調和し難くないけど気の毒がる fact17: もし仮にこの一般株主が利用し辛くないならその蕾は若者らしくない
fact6 -> int1: 「このトナカイは若者らしい」ということは事実だ; fact5 -> int2: このトナカイが若者らしいとすると利用し辛い; int1 & int2 -> int3: このトナカイは利用し辛い; fact2 -> int4: 仮にこのトナカイが利用し辛いならば調和し難くない; int3 & int4 -> int5: 「このトナカイは調和し難くない」ということは確かである; int5 & fact16 -> hypothesis;
「この漿液は調和し難くないがしかし気の毒がる」ということは成り立たない
fact21 -> int6: もしもこの一般株主が励み為さらないなら捕まえ易いかまたはそれは利用し辛くないかまたは両方ともである; fact20 -> int7: 「燃やさない」ものはある; int7 & fact22 -> int8: その体様別は手緩くなくてすばしっこいということはない; int8 -> int9: 手緩くないしおまけにすばしっこくない物はある; int9 & fact23 -> int10: この一般株主は励み為さらない; int6 & int10 -> int11: この一般株主は捕まえ易いかもしくは利用し辛くない; int11 & fact18 & fact19 -> int12: その蕾は若者らしくない; int12 -> int13: 「若者らしくない」物はある;
$facts$ = fact1: この漿液は延伸であるし更に言い訳がましい fact2: もし何らかの物が利用し辛いとしたら調和し難くない fact3: リューネブルガー・ピルゼナーは問い掛けない fact4: この鷺梁津は利用し辛い fact5: もしなんらかのものが若者らしいとすればそれは利用し辛い fact6: このトナカイは延伸で更に若者らしい fact7: このトナカイは北王国であるしＯ‐Ｐである fact8: その白バイは燃やすということはない fact9: もしもなにかは燃やすということはないとしたらその体様別は手緩くなくて加えてすばしっこくない fact10: このトナカイはこそこそしないけど誘発し易い fact11: もし「手緩くなくてすばしっこくない」ものがあるとするとこの一般株主は励み為さらない fact12: この一般株主が捕まえ易いとするとその蕾は若者らしくない fact13: この漿液は収め札だ fact14: このトナカイは延伸だ fact15: もし仮になんらかの物が励み為さらないとしたらそれは捕まえ易いかあるいはそれは利用し辛くない fact16: もし仮に「このトナカイは調和し難くない」ということは確かであるとすればこの漿液は調和し難くないけど気の毒がる fact17: もし仮にこの一般株主が利用し辛くないならその蕾は若者らしくない ; $hypothesis$ = この漿液は調和し難いということはないけど気の毒がる ; $proof$ = 
fact6 -> int1: 「このトナカイは若者らしい」ということは事実だ; fact5 -> int2: このトナカイが若者らしいとすると利用し辛い; int1 & int2 -> int3: このトナカイは利用し辛い; fact2 -> int4: 仮にこのトナカイが利用し辛いならば調和し難くない; int3 & int4 -> int5: 「このトナカイは調和し難くない」ということは確かである; int5 & fact16 -> hypothesis; __PROVED__
事実1: この漿液は延伸であるし更に言い訳がましい
事実2: もし何らかの物が利用し辛いとしたら調和し難くない
事実3: リューネブルガー・ピルゼナーは問い掛けない
事実4: この鷺梁津は利用し辛い
事実5: もしなんらかのものが若者らしいとすればそれは利用し辛い
事実6: このトナカイは延伸で更に若者らしい
事実7: このトナカイは北王国であるしＯ‐Ｐである
事実8: その白バイは燃やすということはない
事実9: もしもなにかは燃やすということはないとしたらその体様別は手緩くなくて加えてすばしっこくない
事実10: このトナカイはこそこそしないけど誘発し易い
事実11: もし「手緩くなくてすばしっこくない」ものがあるとするとこの一般株主は励み為さらない
事実12: この一般株主が捕まえ易いとするとその蕾は若者らしくない
事実13: この漿液は収め札だ
事実14: このトナカイは延伸だ
事実15: もし仮になんらかの物が励み為さらないとしたらそれは捕まえ易いかあるいはそれは利用し辛くない
事実16: もし仮に「このトナカイは調和し難くない」ということは確かであるとすればこの漿液は調和し難くないけど気の毒がる
事実17: もし仮にこの一般株主が利用し辛くないならその蕾は若者らしくない

仮説: この漿液は調和し難いということはないけど気の毒がる
1. 事実6から、推論1: "「このトナカイは若者らしい」ということは事実だ"が導かれる
2. 事実5から、推論2: "このトナカイが若者らしいとすると利用し辛い"が導かれる
3. 推論1と推論2から、推論3: "このトナカイは利用し辛い"が導かれる
4. 事実2から、推論4: "仮にこのトナカイが利用し辛いならば調和し難くない"が導かれる
5. 推論3と推論4から、推論5: "「このトナカイは調和し難くない」ということは確かである"が導かれる
6. 推論5と事実16から、仮説が導かれる

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