「この二言目は頼み難くない」ということは本当だ
fact1: 全てのものは科学記事でない fact2: 盟主は損失水頭であるがしかし子供らしくない fact3: 仮にその運搬活性が経済学研究であるということはないとしたらその一元は頼み難くないかもしくは班給でないかまたはどちらもだ fact4: もしその一元が頼み難いということはないとするとこの二言目は頼み難い fact5: その一元は班給でないとしたら「それはＣＯＰＤ患者でなくて加えて伍する」ということは嘘だ fact6: もしもその一元は伍しないなら「それはＣＯＰＤ患者でない一方で頼み難い」ということは偽である fact7: もし「「微塵だがえぐくない」ということは偽な」物はあるとしたら「この前辺りは微塵でない」ということは事実だ fact8: もしも「「ＣＯＰＤ患者でないししかも伍する」ということは誤っている」ものがあるならその運搬活性は経済学研究だ fact9: もし「なんらかの物は科学記事でない」ということは確かであるとしたら「ひょろ長くて更に物語言説である」ということは偽だ fact10: 「その一元が伍するしその上それは経済学研究だ」ということは真実でない fact11: その一元は班給でないとすると「それはＣＯＰＤ患者であるしその上それは伍する」ということは誤りだ fact12: もしあの正座が経済学研究だということはない一方で系統樹であるならばあの運搬活性は経済学研究であるということはない fact13: 「その運搬活性は伍するということはないけど経済学研究である」ということは成り立たない fact14: 仮にある物は徒らっぽいということはないとすれば「その製品自体は微塵であるけどえぐくない」ということは誤っている fact15: 長期安定は経済学研究でないけど系統樹である fact16: もしもとある物は微塵でないならば「盟主だ」ということは確かである fact17: 「「経済学研究であるしまた伍する」ということは真実でない」ものはある fact18: その一元は班給だということはない fact19: 「ＣＯＰＤ患者でないけど伍する」ものはある fact20: もしも「その運搬活性は経済学研究だ」ということは真実ならばこの二言目は頼み難くない fact21: 「その一元はＣＯＰＤ患者でかつ伍する」ということは間違いである fact22: 仮に「「あの実益はひょろ長い物語言説だ」ということは成り立たない」ということは成り立つとしたら「この商社マンは徒らっぽいということはない」ということは誤りでない fact23: 「「頼み難くてＣＯＰＤ患者だ」ということは事実と異なる」物はある
fact5 & fact18 -> int1: 「その一元はＣＯＰＤ患者でないけどそれは伍する」ということは間違っている; int1 -> int2: 「「「ＣＯＰＤ患者でないしおまけに伍する」ということは真実である」ということは間違っている」ものはある; int2 & fact8 -> int3: その運搬活性は経済学研究だ; int3 & fact20 -> hypothesis;
この二言目は頼み難い
fact27 -> int4: もし仮にあの正座が長期安定ならばそれは経済学研究でないし系統樹である; fact26 -> int5: もし仮にこのパンツスタイルは科学記事でないとすれば「ひょろ長いし更に物語言説である」ということは嘘である; fact31 -> int6: このパンツスタイルは科学記事だということはない; int5 & int6 -> int7: 「このパンツスタイルはひょろ長くて物語言説である」ということは成り立たない; int7 -> int8: ひょろ長くてそれに物語言説であるという物はない; int8 -> int9: 「あの実益はひょろ長くて物語言説だ」ということは成り立たない; fact28 & int9 -> int10: この商社マンは徒らっぽくない; int10 -> int11: 「徒らっぽくない」物はある; fact33 & int11 -> int12: 「その製品自体は微塵であるけれどえぐくない」ということは偽である; int12 -> int13: 「「微塵であるけどえぐくない」ということは事実と異なる」物はある; fact32 & int13 -> int14: この前辺りは微塵でない; fact34 -> int15: この前辺りは微塵でないとすると盟主である; int14 & int15 -> int16: この前辺りは盟主である; fact25 -> int17: 仮にこの前辺りが盟主なら損失水頭だけど子供らしくない; int16 & int17 -> int18: この前辺りは損失水頭だがそれは子供らしくない;
$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$ = 
fact5 & fact18 -> int1: 「その一元はＣＯＰＤ患者でないけどそれは伍する」ということは間違っている; int1 -> int2: 「「「ＣＯＰＤ患者でないしおまけに伍する」ということは真実である」ということは間違っている」ものはある; int2 & fact8 -> int3: その運搬活性は経済学研究だ; int3 & fact20 -> hypothesis; __PROVED__
事実1: 全てのものは科学記事でない
事実2: 盟主は損失水頭であるがしかし子供らしくない
事実3: 仮にその運搬活性が経済学研究であるということはないとしたらその一元は頼み難くないかもしくは班給でないかまたはどちらもだ
事実4: もしその一元が頼み難いということはないとするとこの二言目は頼み難い
事実5: その一元は班給でないとしたら「それはＣＯＰＤ患者でなくて加えて伍する」ということは嘘だ
事実6: もしもその一元は伍しないなら「それはＣＯＰＤ患者でない一方で頼み難い」ということは偽である
事実7: もし「「微塵だがえぐくない」ということは偽な」物はあるとしたら「この前辺りは微塵でない」ということは事実だ
事実8: もしも「「ＣＯＰＤ患者でないししかも伍する」ということは誤っている」ものがあるならその運搬活性は経済学研究だ
事実9: もし「なんらかの物は科学記事でない」ということは確かであるとしたら「ひょろ長くて更に物語言説である」ということは偽だ
事実10: 「その一元が伍するしその上それは経済学研究だ」ということは真実でない
事実11: その一元は班給でないとすると「それはＣＯＰＤ患者であるしその上それは伍する」ということは誤りだ
事実12: もしあの正座が経済学研究だということはない一方で系統樹であるならばあの運搬活性は経済学研究であるということはない
事実13: 「その運搬活性は伍するということはないけど経済学研究である」ということは成り立たない
事実14: 仮にある物は徒らっぽいということはないとすれば「その製品自体は微塵であるけどえぐくない」ということは誤っている
事実15: 長期安定は経済学研究でないけど系統樹である
事実16: もしもとある物は微塵でないならば「盟主だ」ということは確かである
事実17: 「「経済学研究であるしまた伍する」ということは真実でない」ものはある
事実18: その一元は班給だということはない
事実19: 「ＣＯＰＤ患者でないけど伍する」ものはある
事実20: もしも「その運搬活性は経済学研究だ」ということは真実ならばこの二言目は頼み難くない
事実21: 「その一元はＣＯＰＤ患者でかつ伍する」ということは間違いである
事実22: 仮に「「あの実益はひょろ長い物語言説だ」ということは成り立たない」ということは成り立つとしたら「この商社マンは徒らっぽいということはない」ということは誤りでない
事実23: 「「頼み難くてＣＯＰＤ患者だ」ということは事実と異なる」物はある

仮説: 「この二言目は頼み難くない」ということは本当だ
1. 事実5と事実18から、推論1: "「その一元はＣＯＰＤ患者でないけどそれは伍する」ということは間違っている"が導かれる
2. 推論1から、推論2: "「「「ＣＯＰＤ患者でないしおまけに伍する」ということは真実である」ということは間違っている」ものはある"が導かれる
3. 推論2と事実8から、推論3: "その運搬活性は経済学研究だ"が導かれる
4. 推論3と事実20から、仮説が導かれる

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