このぷにゃぷよLv.75は色っぽい
fact1: あのぽいぽくLv.82はしかつめらしい fact2: そのぷよぷにゅLv.38ははしたないならば「あのぽいぽくLv.82は気恥ずかしくない一方で迷い難い」ということは事実でない fact3: 「そのぷよぷにゅLv.38は冗談っぽいし更に楽観する」ということは偽である fact4: そのぷよぷにゅLv.38はし難くないならばはしたなくて切り戻す fact5: 「そのぷよぷにゅLv.38は冗談っぽくて加えて楽観する」ということは成り立たないとするとし難くない fact6: もしもあのぽいぽくLv.82はしかつめらしいか迷い難いかもしくは両方ともであるとすれば「このぷにゃぷよLv.75は色っぽくない」ということは確かだ
fact1 -> int1: あのぽいぽくLv.82はしかつめらしいかあるいは迷い難いかどちらもだ; int1 & fact6 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact6 -> hypothesis;
このぷにゃぷよLv.75は色っぽい
fact9 & fact7 -> int2: 「そのぷよぷにゅLv.38はし難いということはない」ということは本当である; fact10 & int2 -> int3: そのぷよぷにゅLv.38ははしたなくてかつ切り戻す; int3 -> int4: そのぷよぷにゅLv.38ははしたない; fact8 & int4 -> int5: 「あのぽいぽくLv.82は気恥ずかしいということはないけどそれは迷い難い」ということは成り立たない; int5 -> int6: 「「気恥ずかしくないけど迷い難い」ということは誤っている」モンスターはいる;
$facts$ = fact1: あのぽいぽくLv.82はしかつめらしい fact2: そのぷよぷにゅLv.38ははしたないならば「あのぽいぽくLv.82は気恥ずかしくない一方で迷い難い」ということは事実でない fact3: 「そのぷよぷにゅLv.38は冗談っぽいし更に楽観する」ということは偽である fact4: そのぷよぷにゅLv.38はし難くないならばはしたなくて切り戻す fact5: 「そのぷよぷにゅLv.38は冗談っぽくて加えて楽観する」ということは成り立たないとするとし難くない fact6: もしもあのぽいぽくLv.82はしかつめらしいか迷い難いかもしくは両方ともであるとすれば「このぷにゃぷよLv.75は色っぽくない」ということは確かだ ; $hypothesis$ = このぷにゃぷよLv.75は色っぽい ; $proof$ = 
fact1 -> int1: あのぽいぽくLv.82はしかつめらしいかあるいは迷い難いかどちらもだ; int1 & fact6 -> hypothesis; __DISPROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 & fact6 -> hypothesis; __DISPROVED__