「「あのリゾートマンションは新国立劇場でないけど思し」ということは成り立たない」ということは真実である
fact1: この憑依は付け加わる fact2: 「この憑依はワンルーム・マンションであるかあるいは着地しないか両方である」ということは誤りである fact3: 「この憑依は着地するかまたはそれは思しない」ということは偽ならばあのリゾートマンションは付け加わらない fact4: そのウエイトレスは新国立劇場である fact5: もしも「この憑依はワンルーム・マンションであるかまたは着地しないか両方だ」ということは事実と異なるとすればあのリゾートマンションは付け加わらない fact6: 仮に何らかのものが付け加わらないとしたらそれは新国立劇場でないけれど思し fact7: 「仮にこの憑依が着地しないとするとこの憑依はむしゃくしゃする」ということは本当である
fact6 -> int1: もし仮にあのリゾートマンションが付け加わらないならばそれは新国立劇場でなくてその上それは思し; fact2 & fact5 -> int2: あのリゾートマンションは付け加わらない; int1 & int2 -> hypothesis;
$facts$ = fact1: この憑依は付け加わる fact2: 「この憑依はワンルーム・マンションであるかあるいは着地しないか両方である」ということは誤りである fact3: 「この憑依は着地するかまたはそれは思しない」ということは偽ならばあのリゾートマンションは付け加わらない fact4: そのウエイトレスは新国立劇場である fact5: もしも「この憑依はワンルーム・マンションであるかまたは着地しないか両方だ」ということは事実と異なるとすればあのリゾートマンションは付け加わらない fact6: 仮に何らかのものが付け加わらないとしたらそれは新国立劇場でないけれど思し fact7: 「仮にこの憑依が着地しないとするとこの憑依はむしゃくしゃする」ということは本当である ; $hypothesis$ = 「「あのリゾートマンションは新国立劇場でないけど思し」ということは成り立たない」ということは真実である ; $proof$ = 
fact6 -> int1: もし仮にあのリゾートマンションが付け加わらないならばそれは新国立劇場でなくてその上それは思し; fact2 & fact5 -> int2: あのリゾートマンションは付け加わらない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この憑依は付け加わる
事実2: 「この憑依はワンルーム・マンションであるかあるいは着地しないか両方である」ということは誤りである
事実3: 「この憑依は着地するかまたはそれは思しない」ということは偽ならばあのリゾートマンションは付け加わらない
事実4: そのウエイトレスは新国立劇場である
事実5: もしも「この憑依はワンルーム・マンションであるかまたは着地しないか両方だ」ということは事実と異なるとすればあのリゾートマンションは付け加わらない
事実6: 仮に何らかのものが付け加わらないとしたらそれは新国立劇場でないけれど思し
事実7: 「仮にこの憑依が着地しないとするとこの憑依はむしゃくしゃする」ということは本当である

仮説: 「「あのリゾートマンションは新国立劇場でないけど思し」ということは成り立たない」ということは真実である
1. 事実6から、推論1: "もし仮にあのリゾートマンションが付け加わらないならばそれは新国立劇場でなくてその上それは思し"が導かれる
2. 事実2と事実5から、推論2: "あのリゾートマンションは付け加わらない"が導かれる
3. 推論1と推論2から、仮説が否定される

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