その速筋は立て直さない
fact1: 仮になにかは絶え切れるということはないならば「「それは料理出来ないがしかし立て直す」ということは本当だ」ということは誤っている fact2: もしも「何らかの物は立て直すけど塩辛くない」ということは嘘であるとしたら立て直さない fact3: もし仮になんらかの物が気付き易いとすれば現示する fact4: なにがしかのものは現示するとすると「立て直すけど塩辛くない」ということは間違いだ fact5: もし仮に「なにがしかのものはステンレス製でない一方で理学である」ということは成り立たないとすると「それは立て直す」ということは真実だ fact6: そのエッジングはしはなくてそれに断り難い fact7: もしも「とあるものはステンレス製でない一方で塩辛い」ということは成り立たないとすればそれは理学である fact8: その速筋は塩辛くない fact9: あの山葵漬けは塩辛い fact10: もしその速筋は塩辛いということはないとしたら「それはステンレス製でないけど理学だ」ということは事実でない fact11: もし仮にそのエッジングはしはなくてさらに断り難いならそれはグループでない
fact10 & fact8 -> int1: 「その速筋はステンレス製だということはない一方で理学である」ということは成り立たない; fact5 -> int2: 「その速筋はステンレス製でないが理学である」ということは事実と異なるとしたらそれは立て直す; int1 & int2 -> hypothesis;
その速筋は立て直さない
fact15 -> int3: もしも「「その速筋は立て直すけど塩辛くない」ということは誤っている」ということは本当であるなら立て直さない; fact12 -> int4: 仮にその速筋は現示するとすると「それは立て直す一方で塩辛いということはない」ということは成り立たない; fact16 -> int5: もしもその速筋が気付き易いなら現示する; fact13 & fact14 -> int6: そのエッジングはグループでない; int6 -> int7: なんらかの物はグループだということはない;
$facts$ = fact1: 仮になにかは絶え切れるということはないならば「「それは料理出来ないがしかし立て直す」ということは本当だ」ということは誤っている fact2: もしも「何らかの物は立て直すけど塩辛くない」ということは嘘であるとしたら立て直さない fact3: もし仮になんらかの物が気付き易いとすれば現示する fact4: なにがしかのものは現示するとすると「立て直すけど塩辛くない」ということは間違いだ fact5: もし仮に「なにがしかのものはステンレス製でない一方で理学である」ということは成り立たないとすると「それは立て直す」ということは真実だ fact6: そのエッジングはしはなくてそれに断り難い fact7: もしも「とあるものはステンレス製でない一方で塩辛い」ということは成り立たないとすればそれは理学である fact8: その速筋は塩辛くない fact9: あの山葵漬けは塩辛い fact10: もしその速筋は塩辛いということはないとしたら「それはステンレス製でないけど理学だ」ということは事実でない fact11: もし仮にそのエッジングはしはなくてさらに断り難いならそれはグループでない ; $hypothesis$ = その速筋は立て直さない ; $proof$ = 
fact10 & fact8 -> int1: 「その速筋はステンレス製だということはない一方で理学である」ということは成り立たない; fact5 -> int2: 「その速筋はステンレス製でないが理学である」ということは事実と異なるとしたらそれは立て直す; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 仮になにかは絶え切れるということはないならば「「それは料理出来ないがしかし立て直す」ということは本当だ」ということは誤っている
事実2: もしも「何らかの物は立て直すけど塩辛くない」ということは嘘であるとしたら立て直さない
事実3: もし仮になんらかの物が気付き易いとすれば現示する
事実4: なにがしかのものは現示するとすると「立て直すけど塩辛くない」ということは間違いだ
事実5: もし仮に「なにがしかのものはステンレス製でない一方で理学である」ということは成り立たないとすると「それは立て直す」ということは真実だ
事実6: そのエッジングはしはなくてそれに断り難い
事実7: もしも「とあるものはステンレス製でない一方で塩辛い」ということは成り立たないとすればそれは理学である
事実8: その速筋は塩辛くない
事実9: あの山葵漬けは塩辛い
事実10: もしその速筋は塩辛いということはないとしたら「それはステンレス製でないけど理学だ」ということは事実でない
事実11: もし仮にそのエッジングはしはなくてさらに断り難いならそれはグループでない

仮説: その速筋は立て直さない
1. 事実10と事実8から、推論1: "「その速筋はステンレス製だということはない一方で理学である」ということは成り立たない"が導かれる
2. 事実5から、推論2: "「その速筋はステンレス製でないが理学である」ということは事実と異なるとしたらそれは立て直す"が導かれる
3. 推論1と推論2から、仮説が否定される

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