そのぴえぴにょLv.38は取っ付き易くない
fact1: 仮に「このぷにゅぷやLv.3は分かち難い」ということは確かであるとすればあのぽねぽちゅLv.66はすっごーい fact2: このぷにゅぷやLv.3は物々しい fact3: もし仮にあのぽねぽちゅLv.66は物々しくないなら「このぷにゅぷやLv.3はすっごーいし取っ付き易い」ということは間違っている fact4: もしもこのぷにゅぷやLv.3がすっごーいとするとあのぽねぽちゅLv.66は分かち難い fact5: 「もしもこのまよまにLv.57がすばしっこいとするとそのぴえぴにょLv.38は取っ付き易い」ということは偽でない fact6: もしも「「このぷにゅぷやLv.3はすっごーいし加えて取っ付き易い」ということは成り立つ」ということは嘘ならそのぴえぴにょLv.38は取っ付き易くない fact7: このまわまゆLv.99は副葬するし御辛い fact8: 仮にあのぽねぽちゅLv.66が分かち難いならばあのみくみよLv.14は算定し難い fact9: このぷにゅぷやLv.3はすっごーいしそれに物々しい fact10: あのみくみよLv.14が算定し難いならばこのまよまにLv.57はすばしっこい
fact9 -> int1: このぷにゅぷやLv.3はすっごーい; int1 & fact4 -> int2: あのぽねぽちゅLv.66は分かち難い; int2 & fact8 -> int3: あのみくみよLv.14は算定し難い; int3 & fact10 -> int4: このまよまにLv.57はすばしっこい; int4 & fact5 -> hypothesis;
fact9 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact8 -> int3: {D}{c}; int3 & fact10 -> int4: {E}{d}; int4 & fact5 -> hypothesis;
そのぴえぴにょLv.38は取っ付き易くない
$facts$ = fact1: 仮に「このぷにゅぷやLv.3は分かち難い」ということは確かであるとすればあのぽねぽちゅLv.66はすっごーい fact2: このぷにゅぷやLv.3は物々しい fact3: もし仮にあのぽねぽちゅLv.66は物々しくないなら「このぷにゅぷやLv.3はすっごーいし取っ付き易い」ということは間違っている fact4: もしもこのぷにゅぷやLv.3がすっごーいとするとあのぽねぽちゅLv.66は分かち難い fact5: 「もしもこのまよまにLv.57がすばしっこいとするとそのぴえぴにょLv.38は取っ付き易い」ということは偽でない fact6: もしも「「このぷにゅぷやLv.3はすっごーいし加えて取っ付き易い」ということは成り立つ」ということは嘘ならそのぴえぴにょLv.38は取っ付き易くない fact7: このまわまゆLv.99は副葬するし御辛い fact8: 仮にあのぽねぽちゅLv.66が分かち難いならばあのみくみよLv.14は算定し難い fact9: このぷにゅぷやLv.3はすっごーいしそれに物々しい fact10: あのみくみよLv.14が算定し難いならばこのまよまにLv.57はすばしっこい ; $hypothesis$ = そのぴえぴにょLv.38は取っ付き易くない ; $proof$ = 
fact9 -> int1: このぷにゅぷやLv.3はすっごーい; int1 & fact4 -> int2: あのぽねぽちゅLv.66は分かち難い; int2 & fact8 -> int3: あのみくみよLv.14は算定し難い; int3 & fact10 -> int4: このまよまにLv.57はすばしっこい; int4 & fact5 -> hypothesis; __DISPROVED__
fact9 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact8 -> int3: {D}{c}; int3 & fact10 -> int4: {E}{d}; int4 & fact5 -> hypothesis; __DISPROVED__