「その神父さんは恐ろしいしその上守り易い」ということは偽である
fact1: もし「なにかは陸上兵力だしさらにそれは似付かわしい」ということは事実と異なるとすると似付かわしくらない fact2: 「最もらしい」物はあるなら「この当該保険関係は取り易くて更にそれは間延びする」ということは成り立たない fact3: もし「なにがしかの物は女っぽくないし浅黒いということはない」ということは嘘であるとするとそれは浅黒い fact4: 守り易いものはある fact5: 「恐ろしい」物はある fact6: 仮にこの両当事者は血中濃度であるということはないとすれば「陸上兵力であるし似付かわしい」ということは偽である fact7: 「あのメニュー作りは鈍いしそれに間延びする」ということは間違っている fact8: 仮にあのメニュー作りは盟約しないとすると「それは女っぽいということはないし浅黒くない」ということは誤っている fact9: もしもあのメニュー作りが御付き合いするとすると盟約しない fact10: 「その支配領域はナレーションだし取れ易い」ということは間違いである fact11: 「間延びする」ものはある fact12: 「体積でない」ものはある fact13: 「体積でない」ものがあればあのメニュー作りは単層だし御付き合いする fact14: もし「ギミックである」ものはあるとすると「その神父さんは恐ろしいしその上引っ越せる」ということは誤りだ fact15: 「間延びする」ものはあるとしたら「「その神父さんは恐ろしいし守り易い」ということは偽だ」ということは事実だ fact16: 「その神父さんはピンクがかるし加えてそれは二千一年ＵＮＦＰＡウェブサイトである」ということは誤りである fact17: 「この祝詞はＯＢ臭いし加えてそれは守り易い」ということは嘘だ fact18: もし「この両当事者は似付かわしくらない」ということは正しいとすればその神父さんは間延びするし恐ろしい
fact11 & fact15 -> hypothesis;
fact11 & fact15 -> hypothesis;
その神父さんは恐ろしいしまた守り易い
fact20 -> int1: 仮に「この両当事者は陸上兵力でそれは似付かわしい」ということは成り立たないとするとそれは似付かわしいということはない; fact21 -> int2: もしも「あのメニュー作りは女っぽくないし浅黒くない」ということは誤っているとしたらそれは浅黒い; fact19 & fact25 -> int3: あのメニュー作りは単層であるし御付き合いする; int3 -> int4: あのメニュー作りは御付き合いする; fact24 & int4 -> int5: あのメニュー作りは盟約するということはない; fact22 & int5 -> int6: 「あのメニュー作りは女っぽくないし加えてそれは浅黒くない」ということは成り立たない; int2 & int6 -> int7: あのメニュー作りは浅黒い; int7 -> int8: 「浅黒い」ものはある;
$facts$ = fact1: もし「なにかは陸上兵力だしさらにそれは似付かわしい」ということは事実と異なるとすると似付かわしくらない fact2: 「最もらしい」物はあるなら「この当該保険関係は取り易くて更にそれは間延びする」ということは成り立たない fact3: もし「なにがしかの物は女っぽくないし浅黒いということはない」ということは嘘であるとするとそれは浅黒い fact4: 守り易いものはある fact5: 「恐ろしい」物はある fact6: 仮にこの両当事者は血中濃度であるということはないとすれば「陸上兵力であるし似付かわしい」ということは偽である fact7: 「あのメニュー作りは鈍いしそれに間延びする」ということは間違っている fact8: 仮にあのメニュー作りは盟約しないとすると「それは女っぽいということはないし浅黒くない」ということは誤っている fact9: もしもあのメニュー作りが御付き合いするとすると盟約しない fact10: 「その支配領域はナレーションだし取れ易い」ということは間違いである fact11: 「間延びする」ものはある fact12: 「体積でない」ものはある fact13: 「体積でない」ものがあればあのメニュー作りは単層だし御付き合いする fact14: もし「ギミックである」ものはあるとすると「その神父さんは恐ろしいしその上引っ越せる」ということは誤りだ fact15: 「間延びする」ものはあるとしたら「「その神父さんは恐ろしいし守り易い」ということは偽だ」ということは事実だ fact16: 「その神父さんはピンクがかるし加えてそれは二千一年ＵＮＦＰＡウェブサイトである」ということは誤りである fact17: 「この祝詞はＯＢ臭いし加えてそれは守り易い」ということは嘘だ fact18: もし「この両当事者は似付かわしくらない」ということは正しいとすればその神父さんは間延びするし恐ろしい ; $hypothesis$ = 「その神父さんは恐ろしいしその上守り易い」ということは偽である ; $proof$ = 
fact11 & fact15 -> hypothesis; __PROVED__
事実1: もし「なにかは陸上兵力だしさらにそれは似付かわしい」ということは事実と異なるとすると似付かわしくらない
事実2: 「最もらしい」物はあるなら「この当該保険関係は取り易くて更にそれは間延びする」ということは成り立たない
事実3: もし「なにがしかの物は女っぽくないし浅黒いということはない」ということは嘘であるとするとそれは浅黒い
事実4: 守り易いものはある
事実5: 「恐ろしい」物はある
事実6: 仮にこの両当事者は血中濃度であるということはないとすれば「陸上兵力であるし似付かわしい」ということは偽である
事実7: 「あのメニュー作りは鈍いしそれに間延びする」ということは間違っている
事実8: 仮にあのメニュー作りは盟約しないとすると「それは女っぽいということはないし浅黒くない」ということは誤っている
事実9: もしもあのメニュー作りが御付き合いするとすると盟約しない
事実10: 「その支配領域はナレーションだし取れ易い」ということは間違いである
事実11: 「間延びする」ものはある
事実12: 「体積でない」ものはある
事実13: 「体積でない」ものがあればあのメニュー作りは単層だし御付き合いする
事実14: もし「ギミックである」ものはあるとすると「その神父さんは恐ろしいしその上引っ越せる」ということは誤りだ
事実15: 「間延びする」ものはあるとしたら「「その神父さんは恐ろしいし守り易い」ということは偽だ」ということは事実だ
事実16: 「その神父さんはピンクがかるし加えてそれは二千一年ＵＮＦＰＡウェブサイトである」ということは誤りである
事実17: 「この祝詞はＯＢ臭いし加えてそれは守り易い」ということは嘘だ
事実18: もし「この両当事者は似付かわしくらない」ということは正しいとすればその神父さんは間延びするし恐ろしい

仮説: 「その神父さんは恐ろしいしその上守り易い」ということは偽である
1. 事実11と事実15から、仮説が導かれる

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