「あのカラギナンは地中深いかもしくは姉らしいかあるいは両方だ」ということは確かでない
fact1: もしも何らかのものが姉らしいならばあのカラギナンは有望視しない fact2: 仮になにかは御挨拶申し上げるとしたらあのカラギナンは有望視しない一方で五つ星ホテルだ fact3: もし仮に何らかの物は御挨拶申し上げないとすると「地中深いかあるいは姉らしいかどちらもである」ということは成り立たない fact4: あのカラギナンは五つ星ホテルである fact5: 「御挨拶申し上げる」ものはある fact6: とあるものは有望視しないけど五つ星ホテルであるならばそれは地中深い fact7: 何もかもは投射しない
fact6 -> int1: もしあのカラギナンは有望視しないけれど五つ星ホテルだとしたら地中深い; fact5 & fact2 -> int2: あのカラギナンは有望視しないがしかしそれは五つ星ホテルである; int1 & int2 -> int3: あのカラギナンは地中深い; int3 -> hypothesis;
fact6 -> int1: (¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact5 & fact2 -> int2: (¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; int3 -> hypothesis;
「あのカラギナンは地中深いか姉らしいか両方ともである」ということは誤っている
fact9 -> int4: もしもあのカラギナンは御挨拶申し上げないなら「それは地中深いかまたはそれは姉らしいかあるいは両方ともだ」ということは成り立たない; fact8 -> int5: あの有徳は投射しない;
$facts$ = fact1: もしも何らかのものが姉らしいならばあのカラギナンは有望視しない fact2: 仮になにかは御挨拶申し上げるとしたらあのカラギナンは有望視しない一方で五つ星ホテルだ fact3: もし仮に何らかの物は御挨拶申し上げないとすると「地中深いかあるいは姉らしいかどちらもである」ということは成り立たない fact4: あのカラギナンは五つ星ホテルである fact5: 「御挨拶申し上げる」ものはある fact6: とあるものは有望視しないけど五つ星ホテルであるならばそれは地中深い fact7: 何もかもは投射しない ; $hypothesis$ = 「あのカラギナンは地中深いかもしくは姉らしいかあるいは両方だ」ということは確かでない ; $proof$ = 
fact6 -> int1: もしあのカラギナンは有望視しないけれど五つ星ホテルだとしたら地中深い; fact5 & fact2 -> int2: あのカラギナンは有望視しないがしかしそれは五つ星ホテルである; int1 & int2 -> int3: あのカラギナンは地中深い; int3 -> hypothesis; __DISPROVED__
事実1: もしも何らかのものが姉らしいならばあのカラギナンは有望視しない
事実2: 仮になにかは御挨拶申し上げるとしたらあのカラギナンは有望視しない一方で五つ星ホテルだ
事実3: もし仮に何らかの物は御挨拶申し上げないとすると「地中深いかあるいは姉らしいかどちらもである」ということは成り立たない
事実4: あのカラギナンは五つ星ホテルである
事実5: 「御挨拶申し上げる」ものはある
事実6: とあるものは有望視しないけど五つ星ホテルであるならばそれは地中深い
事実7: 何もかもは投射しない

仮説: 「あのカラギナンは地中深いかもしくは姉らしいかあるいは両方だ」ということは確かでない
1. 事実6から、推論1: "もしあのカラギナンは有望視しないけれど五つ星ホテルだとしたら地中深い"が導かれる
2. 事実5と事実2から、推論2: "あのカラギナンは有望視しないがしかしそれは五つ星ホテルである"が導かれる
3. 推論1と推論2から、推論3: "あのカラギナンは地中深い"が導かれる
4. 推論3から、仮説が否定される

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