あのもにょもちゅLv.24は飛行機らしい
fact1: もしこのぷねぷやLv.14が灰色っぽいとするとあのぷくぷにゅLv.69は程近い fact2: もしもとあるモンスターは眩しくないとすれば「捕らえ難くないけれど図太い」ということは偽である fact3: このぴくぴゆLv.72が眩しいとすればこのぷねぷやLv.14は灰色っぽい fact4: 「このぴくぴゆLv.72は程近くて眩しい」ということは成り立つということはないとすれば「このみにゅみにょLv.11は眩しいということはない」ということは事実である fact5: もし「あのぷくぷにゅLv.69は忘れっぽい」ということは正しいとしたらあのもにょもちゅLv.24は程近い fact6: 仮に「程近い」モンスターはいるなら「あのもにょもちゅLv.24は忘れっぽくないけど捕らえ難い」ということは成り立たない fact7: 仮に「とあるモンスターは忘れっぽくないか灰色っぽくないかまたは両方である」ということは間違いであるなら眩しくない fact8: このぴくぴゆLv.72は眩しい fact9: あのぷくぷにゅLv.69は飛行機らしい fact10: もしも「あのもにょもちゅLv.24は忘れっぽくないが捕らえ難い」ということは成り立たないならあのもにょもちゅLv.24は飛行機らしくない
fact3 & fact8 -> int1: このぷねぷやLv.14は灰色っぽい; int1 & fact1 -> int2: あのぷくぷにゅLv.69は程近い; int2 -> int3: 「程近い」モンスターはいる; int3 & fact6 -> int4: 「あのもにょもちゅLv.24は忘れっぽくないが捕らえ難い」ということは成り立つということはない; int4 & fact10 -> hypothesis;
fact3 & fact8 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 -> int3: (Ex): {C}x; int3 & fact6 -> int4: ¬(¬{E}{d} & {D}{d}); int4 & fact10 -> hypothesis;
「このみにゅみにょLv.11は捕らえ難くないがしかし図太い」ということは嘘である
fact13 -> int5: 仮にこのみにゅみにょLv.11は眩しくないとしたら「このみにゅみにょLv.11は捕らえ難くないが図太い」ということは成り立たない; fact12 -> int6: もしも「このぷねぷやLv.14は忘れっぽくないかまたは灰色っぽくないかもしくはどちらもだ」ということは成り立つということはないとしたらこのぷねぷやLv.14は眩しくない;
$facts$ = fact1: もしこのぷねぷやLv.14が灰色っぽいとするとあのぷくぷにゅLv.69は程近い fact2: もしもとあるモンスターは眩しくないとすれば「捕らえ難くないけれど図太い」ということは偽である fact3: このぴくぴゆLv.72が眩しいとすればこのぷねぷやLv.14は灰色っぽい fact4: 「このぴくぴゆLv.72は程近くて眩しい」ということは成り立つということはないとすれば「このみにゅみにょLv.11は眩しいということはない」ということは事実である fact5: もし「あのぷくぷにゅLv.69は忘れっぽい」ということは正しいとしたらあのもにょもちゅLv.24は程近い fact6: 仮に「程近い」モンスターはいるなら「あのもにょもちゅLv.24は忘れっぽくないけど捕らえ難い」ということは成り立たない fact7: 仮に「とあるモンスターは忘れっぽくないか灰色っぽくないかまたは両方である」ということは間違いであるなら眩しくない fact8: このぴくぴゆLv.72は眩しい fact9: あのぷくぷにゅLv.69は飛行機らしい fact10: もしも「あのもにょもちゅLv.24は忘れっぽくないが捕らえ難い」ということは成り立たないならあのもにょもちゅLv.24は飛行機らしくない ; $hypothesis$ = あのもにょもちゅLv.24は飛行機らしい ; $proof$ = 
fact3 & fact8 -> int1: このぷねぷやLv.14は灰色っぽい; int1 & fact1 -> int2: あのぷくぷにゅLv.69は程近い; int2 -> int3: 「程近い」モンスターはいる; int3 & fact6 -> int4: 「あのもにょもちゅLv.24は忘れっぽくないが捕らえ難い」ということは成り立つということはない; int4 & fact10 -> hypothesis; __DISPROVED__
fact3 & fact8 -> int1: {B}{b}; int1 & fact1 -> int2: {C}{c}; int2 -> int3: (Ex): {C}x; int3 & fact6 -> int4: ¬(¬{E}{d} & {D}{d}); int4 & fact10 -> hypothesis; __DISPROVED__