「「もし仮に親しみ易くないとすれば「重しでないか侵入し易くないか両方である」ということは成り立たない」物はある」ということは間違っている
fact1: 何らかのものは親しみ易くないとすれば「スイートルームでないかそれは喧しくないか両方ともである」ということは嘘である fact2: 「この各加盟員は親しみ易い」ということは真実であるなら「重しでないかまたは侵入し易くないかまたはどちらもである」ということは間違いだ fact3: もし仮にこの各加盟員は親しみ易くないとすれば「重しでないか侵入し易いかもしくは両方ともである」ということは成り立たない fact4: もし何らかの物は親しみ易いということはないなら「それは重しでないかもしくはそれは侵入し易くないかもしくはどちらもである」ということは事実と異なる
fact4 -> int1: もしもこの各加盟員は親しみ易くないならば「重しでないかまたは侵入し易くないか両方である」ということは間違いである; int1 -> hypothesis;
この各加盟員は親しみ易くないとしたら「それはスイートルームであるということはないか喧しくないかあるいはどちらもだ」ということは間違いだ
fact5 -> hypothesis;
$facts$ = fact1: 何らかのものは親しみ易くないとすれば「スイートルームでないかそれは喧しくないか両方ともである」ということは嘘である fact2: 「この各加盟員は親しみ易い」ということは真実であるなら「重しでないかまたは侵入し易くないかまたはどちらもである」ということは間違いだ fact3: もし仮にこの各加盟員は親しみ易くないとすれば「重しでないか侵入し易いかもしくは両方ともである」ということは成り立たない fact4: もし何らかの物は親しみ易いということはないなら「それは重しでないかもしくはそれは侵入し易くないかもしくはどちらもである」ということは事実と異なる ; $hypothesis$ = 「「もし仮に親しみ易くないとすれば「重しでないか侵入し易くないか両方である」ということは成り立たない」物はある」ということは間違っている ; $proof$ = 
fact4 -> int1: もしもこの各加盟員は親しみ易くないならば「重しでないかまたは侵入し易くないか両方である」ということは間違いである; int1 -> hypothesis; __DISPROVED__
事実1: 何らかのものは親しみ易くないとすれば「スイートルームでないかそれは喧しくないか両方ともである」ということは嘘である
事実2: 「この各加盟員は親しみ易い」ということは真実であるなら「重しでないかまたは侵入し易くないかまたはどちらもである」ということは間違いだ
事実3: もし仮にこの各加盟員は親しみ易くないとすれば「重しでないか侵入し易いかもしくは両方ともである」ということは成り立たない
事実4: もし何らかの物は親しみ易いということはないなら「それは重しでないかもしくはそれは侵入し易くないかもしくはどちらもである」ということは事実と異なる

仮説: 「「もし仮に親しみ易くないとすれば「重しでないか侵入し易くないか両方である」ということは成り立たない」物はある」ということは間違っている
1. 事実4から、推論1: "もしもこの各加盟員は親しみ易くないならば「重しでないかまたは侵入し易くないか両方である」ということは間違いである"が導かれる
2. 推論1から、仮説が否定される

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