「あのまくまよLv.20は感慨深い」ということは正しい
fact1: 「もしもあのまちゃまにLv.52が女っぽいとするとあのまちゃまにLv.52は明け遣る」ということは成り立つ fact2: もしあのまちゃまにLv.52は明け遣るなら「あのまくまよLv.20は偏位しないしその上怖くない」ということは誤っている fact3: もし仮にあのまちゃまにLv.52が偏位するとしたらあのまちゃまにLv.52は明け遣らないし怖くない fact4: あのまちゃまにLv.52は女っぽい fact5: もしあるモンスターは怖いとすると「それは偏位しなくてその上それは明け遣る」ということは成り立たない fact6: もし仮に「「あのまくまよLv.20は偏位するということはないしさらに怖くない」ということは偽である」ということは確かだとすれば感慨深くない
fact1 & fact4 -> int1: あのまちゃまにLv.52は明け遣る; int1 & fact2 -> int2: 「あのまくまよLv.20は偏位するということはないしその上怖いということはない」ということは成り立たない; int2 & fact6 -> hypothesis;
fact1 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: ¬(¬{D}{b} & ¬{C}{b}); int2 & fact6 -> hypothesis;
「あのまくまよLv.20は感慨深い」ということは正しい
fact7 -> int3: もしもあのみちゃみちょLv.72は怖いとしたら「偏位しないしそれは明け遣る」ということは正しくない;
$facts$ = fact1: 「もしもあのまちゃまにLv.52が女っぽいとするとあのまちゃまにLv.52は明け遣る」ということは成り立つ fact2: もしあのまちゃまにLv.52は明け遣るなら「あのまくまよLv.20は偏位しないしその上怖くない」ということは誤っている fact3: もし仮にあのまちゃまにLv.52が偏位するとしたらあのまちゃまにLv.52は明け遣らないし怖くない fact4: あのまちゃまにLv.52は女っぽい fact5: もしあるモンスターは怖いとすると「それは偏位しなくてその上それは明け遣る」ということは成り立たない fact6: もし仮に「「あのまくまよLv.20は偏位するということはないしさらに怖くない」ということは偽である」ということは確かだとすれば感慨深くない ; $hypothesis$ = 「あのまくまよLv.20は感慨深い」ということは正しい ; $proof$ = 
fact1 & fact4 -> int1: あのまちゃまにLv.52は明け遣る; int1 & fact2 -> int2: 「あのまくまよLv.20は偏位するということはないしその上怖いということはない」ということは成り立たない; int2 & fact6 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: {B}{a}; int1 & fact2 -> int2: ¬(¬{D}{b} & ¬{C}{b}); int2 & fact6 -> hypothesis; __DISPROVED__