「あの弁才天修儀は上昇し易いし加えて抗う」ということは嘘である
fact1: もし「このジョイントは救済出来るかまたはそれは喧しい」ということは誤りだとするとこの聖家族は上昇し易くない fact2: このジョイントは抗わない fact3: この聖家族が上昇し易くないとしたらあの弁才天修儀は上昇し易いし抗う fact4: もしこのジョイントが上昇し易くないならこの聖家族は救済出来る fact5: 「このジョイントは救済出来るかもしくは喧しいかもしくはどちらもだ」ということは間違っている fact6: もし仮に「なんらかのものは深いけれど見辛くない」ということは本当でないなら洗い始めるということはない
fact1 & fact5 -> int1: この聖家族は上昇し易いということはない; int1 & fact3 -> hypothesis;
「あの弁才天修儀は上昇し易いし抗う」ということは偽である
fact7 -> int2: もし仮に「このジョイントは深いけど見辛いということはない」ということは嘘であるとすれば洗い始めるということはない;
$facts$ = fact1: もし「このジョイントは救済出来るかまたはそれは喧しい」ということは誤りだとするとこの聖家族は上昇し易くない fact2: このジョイントは抗わない fact3: この聖家族が上昇し易くないとしたらあの弁才天修儀は上昇し易いし抗う fact4: もしこのジョイントが上昇し易くないならこの聖家族は救済出来る fact5: 「このジョイントは救済出来るかもしくは喧しいかもしくはどちらもだ」ということは間違っている fact6: もし仮に「なんらかのものは深いけれど見辛くない」ということは本当でないなら洗い始めるということはない ; $hypothesis$ = 「あの弁才天修儀は上昇し易いし加えて抗う」ということは嘘である ; $proof$ = 
fact1 & fact5 -> int1: この聖家族は上昇し易いということはない; int1 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「このジョイントは救済出来るかまたはそれは喧しい」ということは誤りだとするとこの聖家族は上昇し易くない
事実2: このジョイントは抗わない
事実3: この聖家族が上昇し易くないとしたらあの弁才天修儀は上昇し易いし抗う
事実4: もしこのジョイントが上昇し易くないならこの聖家族は救済出来る
事実5: 「このジョイントは救済出来るかもしくは喧しいかもしくはどちらもだ」ということは間違っている
事実6: もし仮に「なんらかのものは深いけれど見辛くない」ということは本当でないなら洗い始めるということはない

仮説: 「あの弁才天修儀は上昇し易いし加えて抗う」ということは嘘である
1. 事実1と事実5から、推論1: "この聖家族は上昇し易いということはない"が導かれる
2. 推論1と事実3から、仮説が否定される

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