あのぷちゅぷのLv.4は受け難くないしおまけにややこしくない
fact1: そのもよもちゃLv.83は受け難くないとしたら「あのぷちゅぷのLv.4は無声化し易いしその上手広い」ということは成り立つ fact2: 「手広い」モンスターはいる fact3: 「このぴえぴなLv.2は進み易くないし更にそれは受け難くない」ということは正しくない fact4: もし「手広い」モンスターはいるなら「あのぷちゅぷのLv.4は受け難いけどややこしくない」ということは本当でない fact5: 仮にとあるモンスターが製粉しないとすればそれはややこしくないしその上成し難くない fact6: もし「手広い」モンスターはいるなら「あのぷちゅぷのLv.4は受け難くないししかもややこしくない」ということは成り立たない
fact2 -> int1: 「手広い」モンスターはいる; int1 & fact6 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact6 -> hypothesis;
あるモンスターは無声化し易い
fact7 -> int2: もしもこのぷいぷちょLv.51が製粉しないならばこのぷいぷちょLv.51はややこしくなくておまけにそれは成し難くない;
$facts$ = fact1: そのもよもちゃLv.83は受け難くないとしたら「あのぷちゅぷのLv.4は無声化し易いしその上手広い」ということは成り立つ fact2: 「手広い」モンスターはいる fact3: 「このぴえぴなLv.2は進み易くないし更にそれは受け難くない」ということは正しくない fact4: もし「手広い」モンスターはいるなら「あのぷちゅぷのLv.4は受け難いけどややこしくない」ということは本当でない fact5: 仮にとあるモンスターが製粉しないとすればそれはややこしくないしその上成し難くない fact6: もし「手広い」モンスターはいるなら「あのぷちゅぷのLv.4は受け難くないししかもややこしくない」ということは成り立たない ; $hypothesis$ = あのぷちゅぷのLv.4は受け難くないしおまけにややこしくない ; $proof$ = 
fact2 -> int1: 「手広い」モンスターはいる; int1 & fact6 -> hypothesis; __DISPROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact6 -> hypothesis; __DISPROVED__