「その神父達はスポーツするかもしくは生まれ易い」ということは成り立たない
fact1: もしもその神父達は説教者であるとすれば温度記号だ fact2: もし仮に「その神父達はスポーツしない」ということは成り立つとするとあの四句が性モラルだししかも生まれ易い fact3: その神父達は性モラルだ fact4: この近代都市計画は生まれ易い fact5: もし仮になにかは楓でないとすると「選任方法だということはないしさらにそれは陳述しない」ということは嘘である fact6: もしもとある物は性モラルでないとすれば「スポーツするかあるいはそれは生まれ易いかどちらもだ」ということは成り立たない fact7: もしその神父達は性モラルであるならそれはスポーツする
fact7 & fact3 -> int1: その神父達はスポーツする; int1 -> hypothesis;
あの四句は生まれ易い
fact8 -> int2: 仮にあのメディケイドは楓でないならば「それは選任方法でなくて加えてそれは陳述しない」ということは事実と異なる;
$facts$ = fact1: もしもその神父達は説教者であるとすれば温度記号だ fact2: もし仮に「その神父達はスポーツしない」ということは成り立つとするとあの四句が性モラルだししかも生まれ易い fact3: その神父達は性モラルだ fact4: この近代都市計画は生まれ易い fact5: もし仮になにかは楓でないとすると「選任方法だということはないしさらにそれは陳述しない」ということは嘘である fact6: もしもとある物は性モラルでないとすれば「スポーツするかあるいはそれは生まれ易いかどちらもだ」ということは成り立たない fact7: もしその神父達は性モラルであるならそれはスポーツする ; $hypothesis$ = 「その神父達はスポーツするかもしくは生まれ易い」ということは成り立たない ; $proof$ = 
fact7 & fact3 -> int1: その神父達はスポーツする; int1 -> hypothesis; __DISPROVED__
事実1: もしもその神父達は説教者であるとすれば温度記号だ
事実2: もし仮に「その神父達はスポーツしない」ということは成り立つとするとあの四句が性モラルだししかも生まれ易い
事実3: その神父達は性モラルだ
事実4: この近代都市計画は生まれ易い
事実5: もし仮になにかは楓でないとすると「選任方法だということはないしさらにそれは陳述しない」ということは嘘である
事実6: もしもとある物は性モラルでないとすれば「スポーツするかあるいはそれは生まれ易いかどちらもだ」ということは成り立たない
事実7: もしその神父達は性モラルであるならそれはスポーツする

仮説: 「その神父達はスポーツするかもしくは生まれ易い」ということは成り立たない
1. 事実7と事実3から、推論1: "その神父達はスポーツする"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。