「あのぷやぷくLv.51は使用し易いモンスターでかつ喋り難い」ということは嘘である
fact1: 「あのぽなぽにゅLv.84は付け加わるし纏まり易い」ということは成り立つ fact2: あのぷやぷくLv.51は使用し易い fact3: 「あのぽなぽにゅLv.84は喋り難い」ということは成り立つ fact4: 移動し易くないモンスターは纏まり易いかもしくは確からしいということはない fact5: もしもあのぽなぽにゅLv.84は纏まり易いならば「あのぷやぷくLv.51は喋り難い」ということは本当である fact6: すべてのモンスターは移動し易くない fact7: 「あのぽなぽにゅLv.84は付け加わる」ということは事実だ fact8: もし何らかのモンスターが付け加われば喋り難い
fact1 -> int1: あのぽなぽにゅLv.84は纏まり易い; int1 & fact5 -> int2: あのぷやぷくLv.51は喋り難い; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
「あのぷやぷくLv.51は使用し易いモンスターでかつ喋り難い」ということは嘘である
fact10 -> int3: 「このぽくぽいLv.59は移動し易くない」ということは確かだ; fact9 -> int4: もしこのぽくぽいLv.59が移動し易くないとすると纏まり易いかまたは確からしいということはないかまたは両方である; int3 & int4 -> int5: このぽくぽいLv.59は纏まり易いかまたは確からしくない; int5 -> int6: 「あらゆるモンスターは纏まり易いかあるいは確からしくない」ということは事実だ; int6 -> int7: あのぽなぽにゅLv.84は纏まり易いかあるいは確からしくないかもしくはどちらもだ;
$facts$ = fact1: 「あのぽなぽにゅLv.84は付け加わるし纏まり易い」ということは成り立つ fact2: あのぷやぷくLv.51は使用し易い fact3: 「あのぽなぽにゅLv.84は喋り難い」ということは成り立つ fact4: 移動し易くないモンスターは纏まり易いかもしくは確からしいということはない fact5: もしもあのぽなぽにゅLv.84は纏まり易いならば「あのぷやぷくLv.51は喋り難い」ということは本当である fact6: すべてのモンスターは移動し易くない fact7: 「あのぽなぽにゅLv.84は付け加わる」ということは事実だ fact8: もし何らかのモンスターが付け加われば喋り難い ; $hypothesis$ = 「あのぷやぷくLv.51は使用し易いモンスターでかつ喋り難い」ということは嘘である ; $proof$ = 
fact1 -> int1: あのぽなぽにゅLv.84は纏まり易い; int1 & fact5 -> int2: あのぷやぷくLv.51は喋り難い; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact5 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __DISPROVED__