「もし「取り難くない」ということは真実ならば続き易くないしおまけに踊り跳ねるということはない」ものはある
fact1: 取り難くないものは続き易いということはないがしかし踊り跳ねる fact2: 「取り難くないとしたら続き易くないが踊り跳ねる」物はある fact3: 「もし取り難くないとすると続き易くない」ものはある fact4: もしその膨張弁が取り難くないとしたら続き易くないけれど踊り跳ねる fact5: 「もし仮に取り難いとしたら続き易いということはないしおまけに踊り跳ねない」物はある fact6: もしなんらかのものが食い詰めないとしたらそれは接見するということはないしその上しつこくない fact7: もしその膨張弁が労働界でないとすれば踊り跳ねないしまたそれは飲み難くない fact8: もしもなにがしかの物が説き起こさないとすれば売れ始めないししかも弱しない fact9: 「その膨張弁は取り難い」ということは本当であるとしたらそれは続き易くなくてそれに踊り跳ねない fact10: 「応募出来ないとすれば多くないしかつダイアゴン横丁でない」ものはある fact11: 「もしも全収縮率でないならば受光しなくてしかも偏り易いということはない」ものはある fact12: 取り難い物は続き易くなくてかつ踊り跳ねない fact13: 「もしも酔い易いということはないなら損なうということはないしその上御恥ずかしくない」物はある fact14: 「ある物は濃度差でない」ということは本当だとすると作り難くなくて更にラムティア商業同盟でない fact15: 仮になんらかのものが否定的評価でないならば招聘しなくて加えてそれは再結合しない fact16: 仮にその膨張弁が失い兼ねらないとすれば思い巡らさなくて更に踊り跳ねない fact17: もしその膨張弁が取り難くないならばメンバーさんでなくて及ぼし兼ねらない fact18: もし何らかのものが取り難くないならばそれは続き易くない fact19: 何らかのものは取り難くないなら「それは続き易くないし踊り跳ねない」ということは本当だ fact20: 仮にその膨張弁が取り難くないならばそれは続き易くない
fact19 -> int1: 仮にその膨張弁が取り難くないとすればそれは続き易くないしそれは踊り跳ねない; int1 -> hypothesis;
fact19 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 取り難くないものは続き易いということはないがしかし踊り跳ねる fact2: 「取り難くないとしたら続き易くないが踊り跳ねる」物はある fact3: 「もし取り難くないとすると続き易くない」ものはある fact4: もしその膨張弁が取り難くないとしたら続き易くないけれど踊り跳ねる fact5: 「もし仮に取り難いとしたら続き易いということはないしおまけに踊り跳ねない」物はある fact6: もしなんらかのものが食い詰めないとしたらそれは接見するということはないしその上しつこくない fact7: もしその膨張弁が労働界でないとすれば踊り跳ねないしまたそれは飲み難くない fact8: もしもなにがしかの物が説き起こさないとすれば売れ始めないししかも弱しない fact9: 「その膨張弁は取り難い」ということは本当であるとしたらそれは続き易くなくてそれに踊り跳ねない fact10: 「応募出来ないとすれば多くないしかつダイアゴン横丁でない」ものはある fact11: 「もしも全収縮率でないならば受光しなくてしかも偏り易いということはない」ものはある fact12: 取り難い物は続き易くなくてかつ踊り跳ねない fact13: 「もしも酔い易いということはないなら損なうということはないしその上御恥ずかしくない」物はある fact14: 「ある物は濃度差でない」ということは本当だとすると作り難くなくて更にラムティア商業同盟でない fact15: 仮になんらかのものが否定的評価でないならば招聘しなくて加えてそれは再結合しない fact16: 仮にその膨張弁が失い兼ねらないとすれば思い巡らさなくて更に踊り跳ねない fact17: もしその膨張弁が取り難くないならばメンバーさんでなくて及ぼし兼ねらない fact18: もし何らかのものが取り難くないならばそれは続き易くない fact19: 何らかのものは取り難くないなら「それは続き易くないし踊り跳ねない」ということは本当だ fact20: 仮にその膨張弁が取り難くないならばそれは続き易くない ; $hypothesis$ = 「もし「取り難くない」ということは真実ならば続き易くないしおまけに踊り跳ねるということはない」ものはある ; $proof$ = 
fact19 -> 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. 事実19から、推論1: "仮にその膨張弁が取り難くないとすればそれは続き易くないしそれは踊り跳ねない"が導かれる
2. 推論1から、仮説が導かれる

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