そのぽわぽにLv.79は恙無い
fact1: もしそのぷやぷよLv.49が高発現すればそのぷやぷよLv.49は生息出来るということはないし恙無いということはない fact2: 「「そのぽわぽにLv.79は背くし更に叱咤する」ということは誤りだ」ということは事実だ fact3: そのぽわぽにLv.79は懐っこくない fact4: もしこのぴにょぴわLv.24がかったるくないならばこのぴにょぴわLv.24は重々しいということはない fact5: 誇りっぽくないモンスターは恙無くない fact6: 「なんらかのモンスターは誇りっぽくてかつ重々しい」ということは確かだということはないとするとそれは恙無くない fact7: 「そのぽわぽにLv.79は誇りっぽいしそれにそれは重々しい」ということは事実でない
fact6 -> int1: 「そのぽわぽにLv.79は誇りっぽくて重々しい」ということは誤りだとするとそれは恙無くない; int1 & fact7 -> hypothesis;
fact6 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact7 -> hypothesis;
「そのもちょもえLv.28は誇りっぽいしそれは御構い無い」ということは成り立たない
$facts$ = fact1: もしそのぷやぷよLv.49が高発現すればそのぷやぷよLv.49は生息出来るということはないし恙無いということはない fact2: 「「そのぽわぽにLv.79は背くし更に叱咤する」ということは誤りだ」ということは事実だ fact3: そのぽわぽにLv.79は懐っこくない fact4: もしこのぴにょぴわLv.24がかったるくないならばこのぴにょぴわLv.24は重々しいということはない fact5: 誇りっぽくないモンスターは恙無くない fact6: 「なんらかのモンスターは誇りっぽくてかつ重々しい」ということは確かだということはないとするとそれは恙無くない fact7: 「そのぽわぽにLv.79は誇りっぽいしそれにそれは重々しい」ということは事実でない ; $hypothesis$ = そのぽわぽにLv.79は恙無い ; $proof$ = 
fact6 -> int1: 「そのぽわぽにLv.79は誇りっぽくて重々しい」ということは誤りだとするとそれは恙無くない; int1 & fact7 -> hypothesis; __DISPROVED__
fact6 -> int1: ¬({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact7 -> hypothesis; __DISPROVED__