「そのまちゃまのLv.33は忌ま忌ましいかもしくはそれは繋がり合うかもしくはどちらもだ」ということは成り立たない
fact1: なにがしかのモンスターは凄まじくないとすると「それは忌ま忌ましいかあるいはそれは繋がり合うかあるいは両方である」ということは成り立たない fact2: もし仮にそのもちゅもにゃLv.9が凄まじいとすればそのまちゃまのLv.33は生温かい fact3: そのもちゅもにゃLv.9が忌ま忌ましいとしたらそのまちゃまのLv.33は凄まじい fact4: そのもちゅもにゃLv.9が使用し難いならそれはむくつけし fact5: そのまちゃまのLv.33が生温かいとすればそれは繋がり合う fact6: そのもちゅもにゃLv.9は凄まじくてそれに久しい
fact6 -> int1: そのもちゅもにゃLv.9は凄まじい; fact2 & int1 -> int2: そのまちゃまのLv.33は生温かい; int2 & fact5 -> int3: 「そのまちゃまのLv.33は繋がり合う」ということは確かである; int3 -> hypothesis;
fact6 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact5 -> int3: {C}{b}; int3 -> hypothesis;
「そのまちゃまのLv.33は忌ま忌ましいかもしくはそれは繋がり合うかもしくはどちらもだ」ということは成り立たない
fact7 -> int4: もしそのまちゃまのLv.33は凄まじいということはないなら「それは忌ま忌ましいかまたは繋がり合う」ということは成り立たない;
$facts$ = fact1: なにがしかのモンスターは凄まじくないとすると「それは忌ま忌ましいかあるいはそれは繋がり合うかあるいは両方である」ということは成り立たない fact2: もし仮にそのもちゅもにゃLv.9が凄まじいとすればそのまちゃまのLv.33は生温かい fact3: そのもちゅもにゃLv.9が忌ま忌ましいとしたらそのまちゃまのLv.33は凄まじい fact4: そのもちゅもにゃLv.9が使用し難いならそれはむくつけし fact5: そのまちゃまのLv.33が生温かいとすればそれは繋がり合う fact6: そのもちゅもにゃLv.9は凄まじくてそれに久しい ; $hypothesis$ = 「そのまちゃまのLv.33は忌ま忌ましいかもしくはそれは繋がり合うかもしくはどちらもだ」ということは成り立たない ; $proof$ = 
fact6 -> int1: そのもちゅもにゃLv.9は凄まじい; fact2 & int1 -> int2: そのまちゃまのLv.33は生温かい; int2 & fact5 -> int3: 「そのまちゃまのLv.33は繋がり合う」ということは確かである; int3 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}{a}; fact2 & int1 -> int2: {B}{b}; int2 & fact5 -> int3: {C}{b}; int3 -> hypothesis; __DISPROVED__