「もしも恥ずかしくないかあるいは御案内致すかどちらもだとしたら危なくない」ものはある
fact1: もし仮になんらかのものが非言語コミュニケーションでないかあるいはそれははっきりするかあるいは両方であるなら減り始めない fact2: もし仮になんらかの物が恥ずかしくないかもしくはそれは御案内致すかあるいは両方だとすれば危ない fact3: もしもなにかは受け入れられ易いということはないかジンギスハンであるとしたらそれは見られ易いということはない fact4: 「仮に恥ずかしくないかもしくは御案内致すか両方ともであるなら危ない」ものはある fact5: もしもなんらかの物は見付け難いということはないかまたはヤング率であるか両方ともであるとしたら鈴木流統計術でない fact6: もし仮にあの独裁政治は恥ずかしくないか御案内致すかあるいはどちらもなら危ない fact7: 仮にその経営者自らが狩り出さないかすばしっこいかまたは両方ともならば危なくない fact8: もし仮にとあるものは遣り難くないかもしくはすげないか両方だとすれば変化幅でない fact9: もしもその中国研究が恥ずかしくないかまたは頭蓋底であるならそれは集めない fact10: もしも何らかの物が昴でないかまたはそれは導くとしたら「それはブレイクするということはない」ということは本当である fact11: あの独裁政治は恥ずかしくないかもしくは四角いかあるいは両方ならばそれは行き易いない fact12: なんらかのものは計り知れるということはないかまたは恥ずかしいかもしくは両方だとすれば立ち上らない fact13: もしもあの独裁政治はすばしっこくないかもしくは詮無いかあるいは両方ともであるとすると危なくない fact14: 「もし恥ずかしくないとしたら危なくない」ものはある fact15: 仮にあの独裁政治が恥ずかしくないなら危なくない fact16: 「もし導かないかもしくは移り難いか両方であるならば打ち合わない」ものはある fact17: 「仮にヲサル山遺跡でないかまたは評議するかどちらもであるとすると有り難くない」ものはある fact18: もし仮になにかは恥ずかしいということはないかまたはそれが御案内致すとするとそれは危ないということはない fact19: もし仮にあの独裁政治が辛抱出来ないかもしくは危ないかまたは両方なら建て増ししない fact20: 仮に何らかのものが恥ずかしくないならばそれは危なくない
fact18 -> int1: 仮にあの独裁政治が恥ずかしくないか御案内致すかもしくはどちらもであるとすればそれは危なくない; 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から、仮説が導かれる

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