この下屋は和牛でない
fact1: もし仮にこの一丁上がりは看護師であるとするとそれは十円玉であるけど姦しくない fact2: もし仮にその裏木戸が十円玉だということはないならそれは其れらしくないかまたは経済的要素であるかまたは両方である fact3: もし「あのＲ＆Ｄ棟は和牛だ」ということは確かだとすればあの下屋は和牛だ fact4: もしも「なにがしかのものは十円玉でないかまたはそれは姦しい」ということは真実であるとすればその裏木戸は十円玉でない fact5: この珠算は費用配分しない fact6: もしもなんらかの物が費用配分すれば和牛だ fact7: この一丁上がりは看護師でない fact8: 何かは審訊しないかノン・アフェクタシオンであるかもしくは両方ともである fact9: この一丁上がりは其れらしい fact10: この下屋が経済的要素であるとしたらあのＲ＆Ｄ棟は其れらしい fact11: もしなにかは其れらしくないとしたら費用配分するということはないかそれは経済的要素であるかもしくは両方だ fact12: 「もしも和牛が費用配分しないとすればそれは経済的要素だ」ということは確かである fact13: もしもあのＲ＆Ｄ棟が其れらしいならばその裏木戸は十円玉だ fact14: この下屋は費用配分しない fact15: この下屋が姦しくないならそれは其れらしいししかも十円玉だ fact16: もし仮にとあるものは看護師であるということはないとすると十円玉でないかあるいは姦しいかあるいは両方である
void -> assump1: 以下のように仮定する。この下屋は和牛である; assump1 & fact14 -> int1: この下屋は和牛だ一方で費用配分しない; fact12 -> int2: もしもこの下屋が和牛だけどそれは費用配分しないなら「それは経済的要素である」ということは確かだ; int1 & int2 -> int3: この下屋は経済的要素である; int3 & fact10 -> int4: あのＲ＆Ｄ棟は其れらしい; int4 & fact13 -> int5: その裏木戸は十円玉だ; fact16 -> int6: この一丁上がりが看護師でないとすれば十円玉でないかあるいは姦しいかもしくは両方だ; fact7 & int6 -> int7: この一丁上がりは十円玉でないかあるいは姦しいかもしくはどちらもだ; int7 -> int8: 「十円玉でないかもしくは姦しいかもしくは両方な」ものはある; int8 & fact4 -> int9: その裏木戸は十円玉でない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis;
この下屋は和牛である
fact17 -> int11: もしその裏木戸が其れらしくないならそれは費用配分しないか経済的要素であるかあるいは両方ともだ;
$facts$ = fact1: もし仮にこの一丁上がりは看護師であるとするとそれは十円玉であるけど姦しくない fact2: もし仮にその裏木戸が十円玉だということはないならそれは其れらしくないかまたは経済的要素であるかまたは両方である fact3: もし「あのＲ＆Ｄ棟は和牛だ」ということは確かだとすればあの下屋は和牛だ fact4: もしも「なにがしかのものは十円玉でないかまたはそれは姦しい」ということは真実であるとすればその裏木戸は十円玉でない fact5: この珠算は費用配分しない fact6: もしもなんらかの物が費用配分すれば和牛だ fact7: この一丁上がりは看護師でない fact8: 何かは審訊しないかノン・アフェクタシオンであるかもしくは両方ともである fact9: この一丁上がりは其れらしい fact10: この下屋が経済的要素であるとしたらあのＲ＆Ｄ棟は其れらしい fact11: もしなにかは其れらしくないとしたら費用配分するということはないかそれは経済的要素であるかもしくは両方だ fact12: 「もしも和牛が費用配分しないとすればそれは経済的要素だ」ということは確かである fact13: もしもあのＲ＆Ｄ棟が其れらしいならばその裏木戸は十円玉だ fact14: この下屋は費用配分しない fact15: この下屋が姦しくないならそれは其れらしいししかも十円玉だ fact16: もし仮にとあるものは看護師であるということはないとすると十円玉でないかあるいは姦しいかあるいは両方である ; $hypothesis$ = この下屋は和牛でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この下屋は和牛である; assump1 & fact14 -> int1: この下屋は和牛だ一方で費用配分しない; fact12 -> int2: もしもこの下屋が和牛だけどそれは費用配分しないなら「それは経済的要素である」ということは確かだ; int1 & int2 -> int3: この下屋は経済的要素である; int3 & fact10 -> int4: あのＲ＆Ｄ棟は其れらしい; int4 & fact13 -> int5: その裏木戸は十円玉だ; fact16 -> int6: この一丁上がりが看護師でないとすれば十円玉でないかあるいは姦しいかもしくは両方だ; fact7 & int6 -> int7: この一丁上がりは十円玉でないかあるいは姦しいかもしくはどちらもだ; int7 -> int8: 「十円玉でないかもしくは姦しいかもしくは両方な」ものはある; int8 & fact4 -> int9: その裏木戸は十円玉でない; int5 & int9 -> int10: これは矛盾である; [assump1] & int10 -> hypothesis; __PROVED__
事実1: もし仮にこの一丁上がりは看護師であるとするとそれは十円玉であるけど姦しくない
事実2: もし仮にその裏木戸が十円玉だということはないならそれは其れらしくないかまたは経済的要素であるかまたは両方である
事実3: もし「あのＲ＆Ｄ棟は和牛だ」ということは確かだとすればあの下屋は和牛だ
事実4: もしも「なにがしかのものは十円玉でないかまたはそれは姦しい」ということは真実であるとすればその裏木戸は十円玉でない
事実5: この珠算は費用配分しない
事実6: もしもなんらかの物が費用配分すれば和牛だ
事実7: この一丁上がりは看護師でない
事実8: 何かは審訊しないかノン・アフェクタシオンであるかもしくは両方ともである
事実9: この一丁上がりは其れらしい
事実10: この下屋が経済的要素であるとしたらあのＲ＆Ｄ棟は其れらしい
事実11: もしなにかは其れらしくないとしたら費用配分するということはないかそれは経済的要素であるかもしくは両方だ
事実12: 「もしも和牛が費用配分しないとすればそれは経済的要素だ」ということは確かである
事実13: もしもあのＲ＆Ｄ棟が其れらしいならばその裏木戸は十円玉だ
事実14: この下屋は費用配分しない
事実15: この下屋が姦しくないならそれは其れらしいししかも十円玉だ
事実16: もし仮にとあるものは看護師であるということはないとすると十円玉でないかあるいは姦しいかあるいは両方である

仮説: この下屋は和牛でない
1. 仮定1: 以下のように仮定する。この下屋は和牛である
2. 仮定1と事実14から、推論1: "この下屋は和牛だ一方で費用配分しない"が導かれる
3. 事実12から、推論2: "もしもこの下屋が和牛だけどそれは費用配分しないなら「それは経済的要素である」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "この下屋は経済的要素である"が導かれる
5. 推論3と事実10から、推論4: "あのＲ＆Ｄ棟は其れらしい"が導かれる
6. 推論4と事実13から、推論5: "その裏木戸は十円玉だ"が導かれる
7. 事実16から、推論6: "この一丁上がりが看護師でないとすれば十円玉でないかあるいは姦しいかもしくは両方だ"が導かれる
8. 事実7と推論6から、推論7: "この一丁上がりは十円玉でないかあるいは姦しいかもしくはどちらもだ"が導かれる
9. 推論7から、推論8: "「十円玉でないかもしくは姦しいかもしくは両方な」ものはある"が導かれる
10. 推論8と事実4から、推論9: "その裏木戸は十円玉でない"が導かれる
11. 推論5と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、仮説が導かれる

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