この霊力は上積みするしそれに人らしい
fact1: もしも「「あの私的懇談会は地獄道であるが小煩くない」ということは真実である」ということは間違っているならそれは敢う fact2: もしこの霊力が腹立てるとすると人らしい fact3: もしこの霊力が腹立てるかそれが焦げ臭いということはないならば人らしい fact4: その消費生活協同組合等は反応速度で更に人らしい fact5: 「何かは左遷しないしまた集めでない」ということは嘘であるとすれば集めである fact6: この霊力は腹立てるかあるいは焦げ臭くないかもしくはどちらもだ fact7: もし「あの飾り気はアプローチし易いけど大型化しない」ということは偽であるとしたらあの私的懇談会はアプローチし易いということはない fact8: 「このイメージ・スケッチは左遷しないしさらに集めであるということはない」ということは成り立たない fact9: もしもその落札価格は反応速度でないとすると「この霊力は人らしいかまたは引き難くないかもしくは両方ともだ」ということは成り立つということはない fact10: もし「この篝屋は攻守である」ということは成り立たないとしたら「あの飾り気はアプローチし易いけど大型化しない」ということは成り立つということはない fact11: この霊力は吸収され易い fact12: もし「なんらかのものは引き難いし上積みする」ということは成り立たないとすればそれは上積みしない fact13: もし仮になにがしかの物は厭わしいということはないとしたら「それは反応速度であるかもしくはぎらつくかまたはどちらもである」ということは事実と異なる fact14: もし仮に「上積みしない」物があるとしたらあの距離数は腹立てる fact15: 「この資本主義制度は反応速度であるかもしくはそれはぎらつく」ということは成り立たないとするとその落札価格は反応速度であるということはない fact16: 仮に「この霊力は引き難い」ということは本当ならそれは上積みする fact17: 仮になにがしかの物は覚えるとすれば「地獄道だけれど小煩くない」ということは誤りである fact18: 仮にこのイメージ・スケッチが集めならばあの私的懇談会は覚える fact19: この篝屋は攻守でない fact20: この霊力は引き難い
fact3 & fact6 -> int1: この霊力は人らしい; fact16 & fact20 -> int2: この霊力は上積みする; int1 & int2 -> hypothesis;
「この霊力は上積みするししかもそれは人らしい」ということは誤りである
fact21 -> int3: もし「その落札価格は引き難いしさらに上積みする」ということは真実でないとしたらそれは上積みしない;
$facts$ = fact1: もしも「「あの私的懇談会は地獄道であるが小煩くない」ということは真実である」ということは間違っているならそれは敢う fact2: もしこの霊力が腹立てるとすると人らしい fact3: もしこの霊力が腹立てるかそれが焦げ臭いということはないならば人らしい fact4: その消費生活協同組合等は反応速度で更に人らしい fact5: 「何かは左遷しないしまた集めでない」ということは嘘であるとすれば集めである fact6: この霊力は腹立てるかあるいは焦げ臭くないかもしくはどちらもだ fact7: もし「あの飾り気はアプローチし易いけど大型化しない」ということは偽であるとしたらあの私的懇談会はアプローチし易いということはない fact8: 「このイメージ・スケッチは左遷しないしさらに集めであるということはない」ということは成り立たない fact9: もしもその落札価格は反応速度でないとすると「この霊力は人らしいかまたは引き難くないかもしくは両方ともだ」ということは成り立つということはない fact10: もし「この篝屋は攻守である」ということは成り立たないとしたら「あの飾り気はアプローチし易いけど大型化しない」ということは成り立つということはない fact11: この霊力は吸収され易い fact12: もし「なんらかのものは引き難いし上積みする」ということは成り立たないとすればそれは上積みしない fact13: もし仮になにがしかの物は厭わしいということはないとしたら「それは反応速度であるかもしくはぎらつくかまたはどちらもである」ということは事実と異なる fact14: もし仮に「上積みしない」物があるとしたらあの距離数は腹立てる fact15: 「この資本主義制度は反応速度であるかもしくはそれはぎらつく」ということは成り立たないとするとその落札価格は反応速度であるということはない fact16: 仮に「この霊力は引き難い」ということは本当ならそれは上積みする fact17: 仮になにがしかの物は覚えるとすれば「地獄道だけれど小煩くない」ということは誤りである fact18: 仮にこのイメージ・スケッチが集めならばあの私的懇談会は覚える fact19: この篝屋は攻守でない fact20: この霊力は引き難い ; $hypothesis$ = この霊力は上積みするしそれに人らしい ; $proof$ = 
fact3 & fact6 -> int1: この霊力は人らしい; fact16 & fact20 -> int2: この霊力は上積みする; int1 & int2 -> hypothesis; __PROVED__
事実1: もしも「「あの私的懇談会は地獄道であるが小煩くない」ということは真実である」ということは間違っているならそれは敢う
事実2: もしこの霊力が腹立てるとすると人らしい
事実3: もしこの霊力が腹立てるかそれが焦げ臭いということはないならば人らしい
事実4: その消費生活協同組合等は反応速度で更に人らしい
事実5: 「何かは左遷しないしまた集めでない」ということは嘘であるとすれば集めである
事実6: この霊力は腹立てるかあるいは焦げ臭くないかもしくはどちらもだ
事実7: もし「あの飾り気はアプローチし易いけど大型化しない」ということは偽であるとしたらあの私的懇談会はアプローチし易いということはない
事実8: 「このイメージ・スケッチは左遷しないしさらに集めであるということはない」ということは成り立たない
事実9: もしもその落札価格は反応速度でないとすると「この霊力は人らしいかまたは引き難くないかもしくは両方ともだ」ということは成り立つということはない
事実10: もし「この篝屋は攻守である」ということは成り立たないとしたら「あの飾り気はアプローチし易いけど大型化しない」ということは成り立つということはない
事実11: この霊力は吸収され易い
事実12: もし「なんらかのものは引き難いし上積みする」ということは成り立たないとすればそれは上積みしない
事実13: もし仮になにがしかの物は厭わしいということはないとしたら「それは反応速度であるかもしくはぎらつくかまたはどちらもである」ということは事実と異なる
事実14: もし仮に「上積みしない」物があるとしたらあの距離数は腹立てる
事実15: 「この資本主義制度は反応速度であるかもしくはそれはぎらつく」ということは成り立たないとするとその落札価格は反応速度であるということはない
事実16: 仮に「この霊力は引き難い」ということは本当ならそれは上積みする
事実17: 仮になにがしかの物は覚えるとすれば「地獄道だけれど小煩くない」ということは誤りである
事実18: 仮にこのイメージ・スケッチが集めならばあの私的懇談会は覚える
事実19: この篝屋は攻守でない
事実20: この霊力は引き難い

仮説: この霊力は上積みするしそれに人らしい
1. 事実3と事実6から、推論1: "この霊力は人らしい"が導かれる
2. 事実16と事実20から、推論2: "この霊力は上積みする"が導かれる
3. 推論1と推論2から、仮説が導かれる

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