あのぴちゅぴやLv.5はあざとくない
fact1: あのぷゆぷくLv.21が塗り易いならそのもゆもにゅLv.69は挨拶する fact2: もし仮に「何らかのモンスターはあざとくないかもしくはそれは格好付けないかもしくは両方である」ということは成り立たないとすればこんがらかる fact3: 「そのもいもゆLv.71はあざといということはないかあるいはそれは調和し難くないかまたはどちらもである」ということは事実でない fact4: 「あのぴちゅぴやLv.5は黒っぽくないかあるいは挨拶しないかあるいは両方だ」ということは事実と異なるとすればあのぴちゅぴやLv.5はあざとい fact5: あのぴちゅぴやLv.5は挨拶する fact6: もしそのもゆもにゅLv.69は挨拶するなら「あのぴちゅぴやLv.5は黒っぽくないかもしくは挨拶しないかもしくは両方である」ということは成り立たない fact7: もし仮に「あのぴちゅぴやLv.5は黒っぽくないかまたは挨拶する」ということは誤っているなら「あのぴちゅぴやLv.5はあざとい」ということは事実だ fact8: あのぷゆぷくLv.21は塗り易い
fact1 & fact8 -> int1: そのもゆもにゅLv.69は挨拶する; int1 & fact6 -> int2: 「あのぴちゅぴやLv.5は黒っぽくないかそれは挨拶しないか両方ともだ」ということは成り立たない; int2 & fact4 -> hypothesis;
fact1 & fact8 -> int1: {B}{b}; int1 & fact6 -> int2: ¬(¬{D}{c} v ¬{B}{c}); int2 & fact4 -> hypothesis;
もし「そのもゆもにゅLv.69はあざとくないかまたはそれは格好付けないかもしくは両方だ」ということは成り立たないならば「そのもゆもにゅLv.69はこんがらかる」ということは事実である
fact9 -> hypothesis;
$facts$ = fact1: あのぷゆぷくLv.21が塗り易いならそのもゆもにゅLv.69は挨拶する fact2: もし仮に「何らかのモンスターはあざとくないかもしくはそれは格好付けないかもしくは両方である」ということは成り立たないとすればこんがらかる fact3: 「そのもいもゆLv.71はあざといということはないかあるいはそれは調和し難くないかまたはどちらもである」ということは事実でない fact4: 「あのぴちゅぴやLv.5は黒っぽくないかあるいは挨拶しないかあるいは両方だ」ということは事実と異なるとすればあのぴちゅぴやLv.5はあざとい fact5: あのぴちゅぴやLv.5は挨拶する fact6: もしそのもゆもにゅLv.69は挨拶するなら「あのぴちゅぴやLv.5は黒っぽくないかもしくは挨拶しないかもしくは両方である」ということは成り立たない fact7: もし仮に「あのぴちゅぴやLv.5は黒っぽくないかまたは挨拶する」ということは誤っているなら「あのぴちゅぴやLv.5はあざとい」ということは事実だ fact8: あのぷゆぷくLv.21は塗り易い ; $hypothesis$ = あのぴちゅぴやLv.5はあざとくない ; $proof$ = 
fact1 & fact8 -> int1: そのもゆもにゅLv.69は挨拶する; int1 & fact6 -> int2: 「あのぴちゅぴやLv.5は黒っぽくないかそれは挨拶しないか両方ともだ」ということは成り立たない; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 & fact8 -> int1: {B}{b}; int1 & fact6 -> int2: ¬(¬{D}{c} v ¬{B}{c}); int2 & fact4 -> hypothesis; __DISPROVED__