その枢要は緑茶消費でない
fact1: はしたないものはベジバーグである fact2: もし仮に「あの消費者金融はか弱い」ということは真実だとすればあの原核細胞は咲かすがベジバーグでない fact3: 仮にあるものは緑茶消費でないかあるいはださくくないかどちらもであるならばださくない fact4: 仮に何らかのものはベジバーグであるとすると「ださいかまたはそれははしたないということはないかあるいは両方だ」ということは間違っている fact5: あの消費者金融がださいとすればそれはベジバーグでない fact6: 仮になにがしかのものはださいなら「それはベジバーグであるかもしくはそれは心苦しくないかもしくは両方ともだ」ということは成り立たない fact7: もし仮に「あの消費者金融はベジバーグであるかあるいはそれは心苦しいということはない」ということは成り立たないならばその枢要は緑茶消費であるということはない fact8: この原核細胞が心苦しくないしそれがはしたなくないならその世帯主ははしたない fact9: 仮になにがしかの物ははしたないとしたら「それは緑茶消費であるかあるいは心苦しくないかまたは両方ともである」ということは事実と異なる fact10: もしもなにがしかの物はださいならば「ベジバーグだ」ということは事実と異なる fact11: この原核細胞ははしたない fact12: 「あの消費者金融はベジバーグでない」ということは真実だ fact13: もしこの原核細胞がベジバーグだということはないとすればその枢要はださくなくて心苦しくない fact14: もし仮にこの原核細胞がはしたないならあの消費者金融はださい
fact14 & fact11 -> int1: あの消費者金融はださい; fact6 -> int2: 「もし仮にあの消費者金融はださいとすると「あの消費者金融はベジバーグであるかもしくは心苦しくないかもしくはどちらもだ」ということは間違いだ」ということは正しい; int1 & int2 -> int3: 「あの消費者金融はベジバーグであるかもしくは心苦しくないか両方ともである」ということは成り立たない; int3 & fact7 -> hypothesis;
「その世帯主はベジバーグである」ということは真実である
fact16 -> int4: もしもその世帯主がはしたないとするとベジバーグだ; fact17 -> int5: 仮にあの消費者金融が緑茶消費でないかまたはださくないとすればそれはださくない;
$facts$ = fact1: はしたないものはベジバーグである fact2: もし仮に「あの消費者金融はか弱い」ということは真実だとすればあの原核細胞は咲かすがベジバーグでない fact3: 仮にあるものは緑茶消費でないかあるいはださくくないかどちらもであるならばださくない fact4: 仮に何らかのものはベジバーグであるとすると「ださいかまたはそれははしたないということはないかあるいは両方だ」ということは間違っている fact5: あの消費者金融がださいとすればそれはベジバーグでない fact6: 仮になにがしかのものはださいなら「それはベジバーグであるかもしくはそれは心苦しくないかもしくは両方ともだ」ということは成り立たない fact7: もし仮に「あの消費者金融はベジバーグであるかあるいはそれは心苦しいということはない」ということは成り立たないならばその枢要は緑茶消費であるということはない fact8: この原核細胞が心苦しくないしそれがはしたなくないならその世帯主ははしたない fact9: 仮になにがしかの物ははしたないとしたら「それは緑茶消費であるかあるいは心苦しくないかまたは両方ともである」ということは事実と異なる fact10: もしもなにがしかの物はださいならば「ベジバーグだ」ということは事実と異なる fact11: この原核細胞ははしたない fact12: 「あの消費者金融はベジバーグでない」ということは真実だ fact13: もしこの原核細胞がベジバーグだということはないとすればその枢要はださくなくて心苦しくない fact14: もし仮にこの原核細胞がはしたないならあの消費者金融はださい ; $hypothesis$ = その枢要は緑茶消費でない ; $proof$ = 
fact14 & fact11 -> int1: あの消費者金融はださい; fact6 -> int2: 「もし仮にあの消費者金融はださいとすると「あの消費者金融はベジバーグであるかもしくは心苦しくないかもしくはどちらもだ」ということは間違いだ」ということは正しい; int1 & int2 -> int3: 「あの消費者金融はベジバーグであるかもしくは心苦しくないか両方ともである」ということは成り立たない; int3 & fact7 -> hypothesis; __PROVED__
事実1: はしたないものはベジバーグである
事実2: もし仮に「あの消費者金融はか弱い」ということは真実だとすればあの原核細胞は咲かすがベジバーグでない
事実3: 仮にあるものは緑茶消費でないかあるいはださくくないかどちらもであるならばださくない
事実4: 仮に何らかのものはベジバーグであるとすると「ださいかまたはそれははしたないということはないかあるいは両方だ」ということは間違っている
事実5: あの消費者金融がださいとすればそれはベジバーグでない
事実6: 仮になにがしかのものはださいなら「それはベジバーグであるかもしくはそれは心苦しくないかもしくは両方ともだ」ということは成り立たない
事実7: もし仮に「あの消費者金融はベジバーグであるかあるいはそれは心苦しいということはない」ということは成り立たないならばその枢要は緑茶消費であるということはない
事実8: この原核細胞が心苦しくないしそれがはしたなくないならその世帯主ははしたない
事実9: 仮になにがしかの物ははしたないとしたら「それは緑茶消費であるかあるいは心苦しくないかまたは両方ともである」ということは事実と異なる
事実10: もしもなにがしかの物はださいならば「ベジバーグだ」ということは事実と異なる
事実11: この原核細胞ははしたない
事実12: 「あの消費者金融はベジバーグでない」ということは真実だ
事実13: もしこの原核細胞がベジバーグだということはないとすればその枢要はださくなくて心苦しくない
事実14: もし仮にこの原核細胞がはしたないならあの消費者金融はださい

仮説: その枢要は緑茶消費でない
1. 事実14と事実11から、推論1: "あの消費者金融はださい"が導かれる
2. 事実6から、推論2: "「もし仮にあの消費者金融はださいとすると「あの消費者金融はベジバーグであるかもしくは心苦しくないかもしくはどちらもだ」ということは間違いだ」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "「あの消費者金融はベジバーグであるかもしくは心苦しくないか両方ともである」ということは成り立たない"が導かれる
4. 推論3と事実7から、仮説が導かれる

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