「何らかの物は御宜しいかあるいは細胞膜上であるかまたは両方ともだ」ということは成り立たない
fact1: あるものは下さるかもしくは細胞膜上であるかもしくは両方だ fact2: もしもその地域社員がむくつけしならその取り引き社会は御宜しい fact3: もしも「その地域社員は下さるがしかしそれはむくつけしない」ということは成り立たないとしたらその取り引き社会は御宜しい fact4: 「その取り引き社会は御宜しいが下さらない」ということは誤っている fact5: 「「その地域社員は下さるしかつむくつけし」ということは真実である」ということは真実でない fact6: 「その地域社員は下さるがむくつけしない」ということは事実と異なる
fact3 & fact6 -> int1: その取り引き社会は御宜しい; int1 -> int2: その取り引き社会は御宜しいかまたはそれは細胞膜上だ; int2 -> hypothesis;
fact3 & fact6 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {A}{b}); int2 -> hypothesis;
$facts$ = fact1: あるものは下さるかもしくは細胞膜上であるかもしくは両方だ fact2: もしもその地域社員がむくつけしならその取り引き社会は御宜しい fact3: もしも「その地域社員は下さるがしかしそれはむくつけしない」ということは成り立たないとしたらその取り引き社会は御宜しい fact4: 「その取り引き社会は御宜しいが下さらない」ということは誤っている fact5: 「「その地域社員は下さるしかつむくつけし」ということは真実である」ということは真実でない fact6: 「その地域社員は下さるがむくつけしない」ということは事実と異なる ; $hypothesis$ = 「何らかの物は御宜しいかあるいは細胞膜上であるかまたは両方ともだ」ということは成り立たない ; $proof$ = 
fact3 & fact6 -> int1: その取り引き社会は御宜しい; int1 -> int2: その取り引き社会は御宜しいかまたはそれは細胞膜上だ; int2 -> hypothesis; __DISPROVED__
事実1: あるものは下さるかもしくは細胞膜上であるかもしくは両方だ
事実2: もしもその地域社員がむくつけしならその取り引き社会は御宜しい
事実3: もしも「その地域社員は下さるがしかしそれはむくつけしない」ということは成り立たないとしたらその取り引き社会は御宜しい
事実4: 「その取り引き社会は御宜しいが下さらない」ということは誤っている
事実5: 「「その地域社員は下さるしかつむくつけし」ということは真実である」ということは真実でない
事実6: 「その地域社員は下さるがむくつけしない」ということは事実と異なる

仮説: 「何らかの物は御宜しいかあるいは細胞膜上であるかまたは両方ともだ」ということは成り立たない
1. 事実3と事実6から、推論1: "その取り引き社会は御宜しい"が導かれる
2. 推論1から、推論2: "その取り引き社会は御宜しいかまたはそれは細胞膜上だ"が導かれる
3. 推論2から、仮説が否定される

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