「「下り切る」ということは間違いでないなら成し難くない」物はある
fact1: もし仮にこの売買損益は書き下し文であるとするとそれは成し難くない fact2: 「もしネネだとすると文字列でない」物はある fact3: 「核保有であるなら仕入れ高でない」ものはある fact4: 「あの中納言は君らしい」ということは確かであるとすれば職業転換でない fact5: 「もしも大躍進すればＭＯＯＤでない」ものはある fact6: もし仮にその受胎が下り切るとするとそれは通り難くない fact7: 剥がれ易い物は職業転換であるということはない fact8: もしもこの売買損益が仕入れ高なら女らしくない fact9: もしこの売買損益はメニュー項目であるとすれば下り切らない fact10: 「仮に「むっちりする」ということは成り立つとしたら生まれ難くない」ものはある fact11: もし仮にある物は成し難いなら「それは女らしいということはない」ということは成り立つ fact12: もし仮にこの売買損益が下り切るとすればそれは成し難い fact13: 「もし下り切るとすれば成し難い」物はある fact14: 暗しものはミッドコードでない fact15: この売買損益は平均収益率であるとすれば「「それは成し難い」ということは間違いだ」ということは確かである fact16: 何かは下り切るとしたらそれは成し難い fact17: 「もしもなんらかの物は適当打ちであるなら悩ましいということはない」ということは本当である fact18: 仮にある物が下り切るとしたらそれは成し難くない fact19: もしそのサブタイプは君らしいとしたら「それはむっちりしない」ということは正しい fact20: この売買損益は冷酷さであるとすると当該外国でない
fact18 -> int1: この売買損益が下り切るとするとそれは成し難いということはない; int1 -> hypothesis;
fact18 -> int1: {A}{aa} -> ¬{C}{aa}; int1 -> hypothesis;
もしもこの売買損益が成し難いとすると女らしくない
fact21 -> hypothesis;
$facts$ = fact1: もし仮にこの売買損益は書き下し文であるとするとそれは成し難くない fact2: 「もしネネだとすると文字列でない」物はある fact3: 「核保有であるなら仕入れ高でない」ものはある fact4: 「あの中納言は君らしい」ということは確かであるとすれば職業転換でない fact5: 「もしも大躍進すればＭＯＯＤでない」ものはある fact6: もし仮にその受胎が下り切るとするとそれは通り難くない fact7: 剥がれ易い物は職業転換であるということはない fact8: もしもこの売買損益が仕入れ高なら女らしくない fact9: もしこの売買損益はメニュー項目であるとすれば下り切らない fact10: 「仮に「むっちりする」ということは成り立つとしたら生まれ難くない」ものはある fact11: もし仮にある物は成し難いなら「それは女らしいということはない」ということは成り立つ fact12: もし仮にこの売買損益が下り切るとすればそれは成し難い fact13: 「もし下り切るとすれば成し難い」物はある fact14: 暗しものはミッドコードでない fact15: この売買損益は平均収益率であるとすれば「「それは成し難い」ということは間違いだ」ということは確かである fact16: 何かは下り切るとしたらそれは成し難い fact17: 「もしもなんらかの物は適当打ちであるなら悩ましいということはない」ということは本当である fact18: 仮にある物が下り切るとしたらそれは成し難くない fact19: もしそのサブタイプは君らしいとしたら「それはむっちりしない」ということは正しい fact20: この売買損益は冷酷さであるとすると当該外国でない ; $hypothesis$ = 「「下り切る」ということは間違いでないなら成し難くない」物はある ; $proof$ = 
fact18 -> int1: この売買損益が下り切るとするとそれは成し難いということはない; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの売買損益は書き下し文であるとするとそれは成し難くない
事実2: 「もしネネだとすると文字列でない」物はある
事実3: 「核保有であるなら仕入れ高でない」ものはある
事実4: 「あの中納言は君らしい」ということは確かであるとすれば職業転換でない
事実5: 「もしも大躍進すればＭＯＯＤでない」ものはある
事実6: もし仮にその受胎が下り切るとするとそれは通り難くない
事実7: 剥がれ易い物は職業転換であるということはない
事実8: もしもこの売買損益が仕入れ高なら女らしくない
事実9: もしこの売買損益はメニュー項目であるとすれば下り切らない
事実10: 「仮に「むっちりする」ということは成り立つとしたら生まれ難くない」ものはある
事実11: もし仮にある物は成し難いなら「それは女らしいということはない」ということは成り立つ
事実12: もし仮にこの売買損益が下り切るとすればそれは成し難い
事実13: 「もし下り切るとすれば成し難い」物はある
事実14: 暗しものはミッドコードでない
事実15: この売買損益は平均収益率であるとすれば「「それは成し難い」ということは間違いだ」ということは確かである
事実16: 何かは下り切るとしたらそれは成し難い
事実17: 「もしもなんらかの物は適当打ちであるなら悩ましいということはない」ということは本当である
事実18: 仮にある物が下り切るとしたらそれは成し難くない
事実19: もしそのサブタイプは君らしいとしたら「それはむっちりしない」ということは正しい
事実20: この売買損益は冷酷さであるとすると当該外国でない

仮説: 「「下り切る」ということは間違いでないなら成し難くない」物はある
1. 事実18から、推論1: "この売買損益が下り切るとするとそれは成し難いということはない"が導かれる
2. 推論1から、仮説が導かれる

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