この兄弟分は親しくない
fact1: もし「あの一センチメートル厚さは御許し下さらなくてしかも寄生するということはない」ということは嘘であるとするとこの兄弟分は親しい fact2: もしもこのホット・ファイブはモイスチャライザーだとすれば「「あの一センチメートル厚さは御許し下さる一方でそれは寄生しない」ということは正しくない」ということは正しい fact3: このホット・ファイブはモイスチャライザーだ fact4: もしこのホット・ファイブはモイスチャライザーだとすると「あの一センチメートル厚さは御許し下さらないしそれは寄生しない」ということは成り立たない
fact4 & fact3 -> int1: 「あの一センチメートル厚さは御許し下さらないし更にそれは寄生しない」ということは成り立たない; int1 & fact1 -> hypothesis;
fact4 & fact3 -> int1: ¬(¬{AA}{b} & ¬{AB}{b}); int1 & fact1 -> hypothesis;
$facts$ = fact1: もし「あの一センチメートル厚さは御許し下さらなくてしかも寄生するということはない」ということは嘘であるとするとこの兄弟分は親しい fact2: もしもこのホット・ファイブはモイスチャライザーだとすれば「「あの一センチメートル厚さは御許し下さる一方でそれは寄生しない」ということは正しくない」ということは正しい fact3: このホット・ファイブはモイスチャライザーだ fact4: もしこのホット・ファイブはモイスチャライザーだとすると「あの一センチメートル厚さは御許し下さらないしそれは寄生しない」ということは成り立たない ; $hypothesis$ = この兄弟分は親しくない ; $proof$ = 
fact4 & fact3 -> int1: 「あの一センチメートル厚さは御許し下さらないし更にそれは寄生しない」ということは成り立たない; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「あの一センチメートル厚さは御許し下さらなくてしかも寄生するということはない」ということは嘘であるとするとこの兄弟分は親しい
事実2: もしもこのホット・ファイブはモイスチャライザーだとすれば「「あの一センチメートル厚さは御許し下さる一方でそれは寄生しない」ということは正しくない」ということは正しい
事実3: このホット・ファイブはモイスチャライザーだ
事実4: もしこのホット・ファイブはモイスチャライザーだとすると「あの一センチメートル厚さは御許し下さらないしそれは寄生しない」ということは成り立たない

仮説: この兄弟分は親しくない
1. 事実4と事実3から、推論1: "「あの一センチメートル厚さは御許し下さらないし更にそれは寄生しない」ということは成り立たない"が導かれる
2. 推論1と事実1から、仮説が否定される

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