「もしこよなくないかまたは参照見出しでないかまたは両方なら減り続けない」物はある
fact1: 「もし参照見出しでないなら減り続けない」ものはある fact2: 「もし若くないとすれば歌舞伎っぽくない」物はある fact3: 「もし仮に薄青くないか予防・改善しないか両方であるならば御召さない」ものはある fact4: もし仮に「ある物は熱いということはないか減り続けるということはないか両方ともだ」ということは確かであるとすればそれはデモ飛行でない fact5: 「もしチャーターしないかもしくは付き纏うかまたはどちらもなら溢れ落ちない」ものはある fact6: もしあの元型が出易いということはないかもしくは賢しくないかあるいは両方ともだとするとそれはこよないということはない fact7: そのアプライドがちゃんとしないかそれは意匠化するかあるいはどちらもならばそれは調達物流であるということはない fact8: 「仮に笑い掛けるかもしくは遊び回らないとすると「引っ越せるということはない」ということは成り立つ」ものはある fact9: 「もし登記手続きであるかまたはたわいなくないかもしくは両方ともだとすると「掛かり難くない」ということは真実である」ものはある fact10: 「もし仮に未解決であるかあるいはトランシーバーでないかまたはどちらもであるとすると馴染み難くない」ものはある fact11: もしもそのアプライドはこよなくないかあるいは参照見出しであるということはないかもしくはどちらもであるなら減り続けない fact12: そのアプライドがこよなくないならばそれは減り続けるということはない fact13: 「姉らしくないかまたはデモ飛行であるなら作り易くない」ものはある fact14: このＩＳ‐ＬＭ分析は締め括らないかあるいは参照見出しでないかあるいは両方であるならばそれは王位だ fact15: 「もしこよないということはないか参照見出しでないとすれば減り続ける」物はある fact16: 「もし仮に意匠化しないかまたは停止命令でないか両方ともなら浸入するということはない」物はある fact17: 「もしも怠いということはないかもしくはぼうっとしないかもしくは両方であるとすれば生活し易くない」物はある
fact11 -> hypothesis;
もしそのアプライドは熱くないかあるいは減り続けないかあるいはどちらもだとしたらデモ飛行でない
fact18 -> hypothesis;
$facts$ = fact1: 「もし参照見出しでないなら減り続けない」ものはある fact2: 「もし若くないとすれば歌舞伎っぽくない」物はある fact3: 「もし仮に薄青くないか予防・改善しないか両方であるならば御召さない」ものはある fact4: もし仮に「ある物は熱いということはないか減り続けるということはないか両方ともだ」ということは確かであるとすればそれはデモ飛行でない fact5: 「もしチャーターしないかもしくは付き纏うかまたはどちらもなら溢れ落ちない」ものはある fact6: もしあの元型が出易いということはないかもしくは賢しくないかあるいは両方ともだとするとそれはこよないということはない fact7: そのアプライドがちゃんとしないかそれは意匠化するかあるいはどちらもならばそれは調達物流であるということはない fact8: 「仮に笑い掛けるかもしくは遊び回らないとすると「引っ越せるということはない」ということは成り立つ」ものはある fact9: 「もし登記手続きであるかまたはたわいなくないかもしくは両方ともだとすると「掛かり難くない」ということは真実である」ものはある fact10: 「もし仮に未解決であるかあるいはトランシーバーでないかまたはどちらもであるとすると馴染み難くない」ものはある fact11: もしもそのアプライドはこよなくないかあるいは参照見出しであるということはないかもしくはどちらもであるなら減り続けない fact12: そのアプライドがこよなくないならばそれは減り続けるということはない fact13: 「姉らしくないかまたはデモ飛行であるなら作り易くない」ものはある fact14: このＩＳ‐ＬＭ分析は締め括らないかあるいは参照見出しでないかあるいは両方であるならばそれは王位だ fact15: 「もしこよないということはないか参照見出しでないとすれば減り続ける」物はある fact16: 「もし仮に意匠化しないかまたは停止命令でないか両方ともなら浸入するということはない」物はある fact17: 「もしも怠いということはないかもしくはぼうっとしないかもしくは両方であるとすれば生活し易くない」物はある ; $hypothesis$ = 「もしこよなくないかまたは参照見出しでないかまたは両方なら減り続けない」物はある ; $proof$ = 
fact11 -> hypothesis; __PROVED__
事実1: 「もし参照見出しでないなら減り続けない」ものはある
事実2: 「もし若くないとすれば歌舞伎っぽくない」物はある
事実3: 「もし仮に薄青くないか予防・改善しないか両方であるならば御召さない」ものはある
事実4: もし仮に「ある物は熱いということはないか減り続けるということはないか両方ともだ」ということは確かであるとすればそれはデモ飛行でない
事実5: 「もしチャーターしないかもしくは付き纏うかまたはどちらもなら溢れ落ちない」ものはある
事実6: もしあの元型が出易いということはないかもしくは賢しくないかあるいは両方ともだとするとそれはこよないということはない
事実7: そのアプライドがちゃんとしないかそれは意匠化するかあるいはどちらもならばそれは調達物流であるということはない
事実8: 「仮に笑い掛けるかもしくは遊び回らないとすると「引っ越せるということはない」ということは成り立つ」ものはある
事実9: 「もし登記手続きであるかまたはたわいなくないかもしくは両方ともだとすると「掛かり難くない」ということは真実である」ものはある
事実10: 「もし仮に未解決であるかあるいはトランシーバーでないかまたはどちらもであるとすると馴染み難くない」ものはある
事実11: もしもそのアプライドはこよなくないかあるいは参照見出しであるということはないかもしくはどちらもであるなら減り続けない
事実12: そのアプライドがこよなくないならばそれは減り続けるということはない
事実13: 「姉らしくないかまたはデモ飛行であるなら作り易くない」ものはある
事実14: このＩＳ‐ＬＭ分析は締め括らないかあるいは参照見出しでないかあるいは両方であるならばそれは王位だ
事実15: 「もしこよないということはないか参照見出しでないとすれば減り続ける」物はある
事実16: 「もし仮に意匠化しないかまたは停止命令でないか両方ともなら浸入するということはない」物はある
事実17: 「もしも怠いということはないかもしくはぼうっとしないかもしくは両方であるとすれば生活し易くない」物はある

仮説: 「もしこよなくないかまたは参照見出しでないかまたは両方なら減り続けない」物はある
1. 事実11から、仮説が導かれる

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