「その受粉は麗々しいかもしくは首都圏でない」ということは成り立つということはない
fact1: その受粉は呆気なくない fact2: 「「麗々しくないかもしくは呆気ないかまたはどちらもである」ということは事実と異なる」ものがあるとするとこの憲法草案はハイクオリティでない fact3: 「この憲法草案はハイクオリティであるかそれは裁判長であるということはないか両方ともだ」ということは事実と異なる fact4: 仮にこの憲法草案がハイクオリティであるけれど儀式でないとしたらその受粉は呆気ない fact5: 何らかの物が関連会社株式でないとするとハイクオリティであるしかつ儀式でない fact6: この憲法草案は呆気ない fact7: もし仮に「その水曜は画像出力である」ということは事実であるとすれば流れ続ける fact8: なんらかのものは裁判長である fact9: 「「ハイクオリティでないかもしくは呆気なくないかもしくは両方ともだ」ということは成り立たない」ものがあるとしたらその受粉は首都圏でない fact10: この雌牛は呆気なくない fact11: もし仮にこの憲法草案は呆気ないとしたら「総入れ替えしないかあるいはそれは裁判長でないか両方だ」ということは間違いだ fact12: 「その受粉は消費貸借であるか首都圏でないかあるいは両方ともだ」ということは成り立つということはない fact13: この雌牛は麗々しい fact14: この胎生期は呆気ない fact15: もし仮に「「総入れ替えしないかあるいは裁判長でないかもしくは両方である」ということは事実と異なる」物があるとするとこの雌牛はハイクオリティでない fact16: もしこの雌牛はハイクオリティでないとしたら「その受粉は麗々しいかあるいは首都圏でないかあるいは両方だ」ということは成り立たない fact17: もしもその水曜は流れ続けるとすると「それは感染し易くないしその上それは物憂くない」ということは偽だ fact18: もしも「その水曜が感染し易いということはないしさらにそれは物憂くない」ということは誤っているとすると「その乙会社は遣る瀬無いということはない」ということは成り立つ fact19: 呆気ない物は麗々しいか首都圏でないかまたは両方だ fact20: もし仮にある物が遣る瀬無くないとするとこの雌牛は遅れ易いかもしくは定義しないかまたは両方ともである fact21: その水曜は画像出力であるしまたそれは鞣す fact22: 仮になんらかのものは制止すということはないか遅れ易いということはないかもしくはどちらもならば関連会社株式でない
fact11 & fact6 -> int1: 「この憲法草案は総入れ替えしないかまたは裁判長でないかあるいはどちらもだ」ということは成り立たない; int1 -> int2: 「「総入れ替えしないか裁判長でないかどちらもである」ということは成り立つということはない」ものはある; int2 & fact15 -> int3: この雌牛はハイクオリティでない; int3 & fact16 -> hypothesis;
「その受粉は麗々しいか首都圏であるということはないか両方ともだ」ということは成り立つ
fact25 -> int4: その受粉が呆気ないとするとそれは麗々しいかもしくは首都圏でないかあるいはどちらもである; fact24 -> int5: この憲法草案が関連会社株式でないとすればハイクオリティであるしおまけにそれは儀式でない; fact31 -> int6: 仮にこの憲法草案が制止すらないかそれは遅れ易くないか両方であるなら「それは関連会社株式でない」ということは事実である; fact29 -> int7: その水曜は画像出力である; fact30 & int7 -> int8: その水曜は流れ続ける; fact28 & int8 -> int9: 「その水曜は感染し易いということはなくてそれは物憂くない」ということは誤っている; fact26 & int9 -> int10: その乙会社は遣る瀬無いということはない; int10 -> int11: 「遣る瀬無いということはない」物はある; int11 & fact23 -> int12: この雌牛は遅れ易いかまたはそれは定義するということはない;
$facts$ = fact1: その受粉は呆気なくない fact2: 「「麗々しくないかもしくは呆気ないかまたはどちらもである」ということは事実と異なる」ものがあるとするとこの憲法草案はハイクオリティでない fact3: 「この憲法草案はハイクオリティであるかそれは裁判長であるということはないか両方ともだ」ということは事実と異なる fact4: 仮にこの憲法草案がハイクオリティであるけれど儀式でないとしたらその受粉は呆気ない fact5: 何らかの物が関連会社株式でないとするとハイクオリティであるしかつ儀式でない fact6: この憲法草案は呆気ない fact7: もし仮に「その水曜は画像出力である」ということは事実であるとすれば流れ続ける fact8: なんらかのものは裁判長である fact9: 「「ハイクオリティでないかもしくは呆気なくないかもしくは両方ともだ」ということは成り立たない」ものがあるとしたらその受粉は首都圏でない fact10: この雌牛は呆気なくない fact11: もし仮にこの憲法草案は呆気ないとしたら「総入れ替えしないかあるいはそれは裁判長でないか両方だ」ということは間違いだ fact12: 「その受粉は消費貸借であるか首都圏でないかあるいは両方ともだ」ということは成り立つということはない fact13: この雌牛は麗々しい fact14: この胎生期は呆気ない fact15: もし仮に「「総入れ替えしないかあるいは裁判長でないかもしくは両方である」ということは事実と異なる」物があるとするとこの雌牛はハイクオリティでない fact16: もしこの雌牛はハイクオリティでないとしたら「その受粉は麗々しいかあるいは首都圏でないかあるいは両方だ」ということは成り立たない fact17: もしもその水曜は流れ続けるとすると「それは感染し易くないしその上それは物憂くない」ということは偽だ fact18: もしも「その水曜が感染し易いということはないしさらにそれは物憂くない」ということは誤っているとすると「その乙会社は遣る瀬無いということはない」ということは成り立つ fact19: 呆気ない物は麗々しいか首都圏でないかまたは両方だ fact20: もし仮にある物が遣る瀬無くないとするとこの雌牛は遅れ易いかもしくは定義しないかまたは両方ともである fact21: その水曜は画像出力であるしまたそれは鞣す fact22: 仮になんらかのものは制止すということはないか遅れ易いということはないかもしくはどちらもならば関連会社株式でない ; $hypothesis$ = 「その受粉は麗々しいかもしくは首都圏でない」ということは成り立つということはない ; $proof$ = 
fact11 & fact6 -> int1: 「この憲法草案は総入れ替えしないかまたは裁判長でないかあるいはどちらもだ」ということは成り立たない; int1 -> int2: 「「総入れ替えしないか裁判長でないかどちらもである」ということは成り立つということはない」ものはある; int2 & fact15 -> int3: この雌牛はハイクオリティでない; int3 & fact16 -> hypothesis; __PROVED__
事実1: その受粉は呆気なくない
事実2: 「「麗々しくないかもしくは呆気ないかまたはどちらもである」ということは事実と異なる」ものがあるとするとこの憲法草案はハイクオリティでない
事実3: 「この憲法草案はハイクオリティであるかそれは裁判長であるということはないか両方ともだ」ということは事実と異なる
事実4: 仮にこの憲法草案がハイクオリティであるけれど儀式でないとしたらその受粉は呆気ない
事実5: 何らかの物が関連会社株式でないとするとハイクオリティであるしかつ儀式でない
事実6: この憲法草案は呆気ない
事実7: もし仮に「その水曜は画像出力である」ということは事実であるとすれば流れ続ける
事実8: なんらかのものは裁判長である
事実9: 「「ハイクオリティでないかもしくは呆気なくないかもしくは両方ともだ」ということは成り立たない」ものがあるとしたらその受粉は首都圏でない
事実10: この雌牛は呆気なくない
事実11: もし仮にこの憲法草案は呆気ないとしたら「総入れ替えしないかあるいはそれは裁判長でないか両方だ」ということは間違いだ
事実12: 「その受粉は消費貸借であるか首都圏でないかあるいは両方ともだ」ということは成り立つということはない
事実13: この雌牛は麗々しい
事実14: この胎生期は呆気ない
事実15: もし仮に「「総入れ替えしないかあるいは裁判長でないかもしくは両方である」ということは事実と異なる」物があるとするとこの雌牛はハイクオリティでない
事実16: もしこの雌牛はハイクオリティでないとしたら「その受粉は麗々しいかあるいは首都圏でないかあるいは両方だ」ということは成り立たない
事実17: もしもその水曜は流れ続けるとすると「それは感染し易くないしその上それは物憂くない」ということは偽だ
事実18: もしも「その水曜が感染し易いということはないしさらにそれは物憂くない」ということは誤っているとすると「その乙会社は遣る瀬無いということはない」ということは成り立つ
事実19: 呆気ない物は麗々しいか首都圏でないかまたは両方だ
事実20: もし仮にある物が遣る瀬無くないとするとこの雌牛は遅れ易いかもしくは定義しないかまたは両方ともである
事実21: その水曜は画像出力であるしまたそれは鞣す
事実22: 仮になんらかのものは制止すということはないか遅れ易いということはないかもしくはどちらもならば関連会社株式でない

仮説: 「その受粉は麗々しいかもしくは首都圏でない」ということは成り立つということはない
1. 事実11と事実6から、推論1: "「この憲法草案は総入れ替えしないかまたは裁判長でないかあるいはどちらもだ」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「総入れ替えしないか裁判長でないかどちらもである」ということは成り立つということはない」ものはある"が導かれる
3. 推論2と事実15から、推論3: "この雌牛はハイクオリティでない"が導かれる
4. 推論3と事実16から、仮説が導かれる

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