このぴにょぴちょLv.47は性分らしくない
fact1: あのぷくぷにゅLv.92は御濃い fact2: 仮にあのぷくぷにゅLv.92が生温かいとしたらあのぷくぷにゅLv.92は壊せる fact3: このぴにょぴちょLv.47は薄ら寒い fact4: あのぷくぷにゅLv.92が壊せるならそのぽえぽちゃLv.37は薄ら寒い fact5: もしもあのぷくぷにゅLv.92が御濃いとしたらあのぷくぷにゅLv.92は生温かい fact6: もし御濃くないモンスターが生温かくないとすると性分らしくない fact7: そのぽえぽちゃLv.37が薄ら寒いならばこのぴにょぴちょLv.47は性分らしい fact8: 「このぷなぷちゃLv.88は性分らしくないしそれは反映され易くない」ということは偽だとすれば壊せるということはない
fact5 & fact1 -> int1: 「あのぷくぷにゅLv.92は生温かい」ということは本当だ; int1 & fact2 -> int2: あのぷくぷにゅLv.92は壊せる; int2 & fact4 -> int3: そのぽえぽちゃLv.37は薄ら寒い; int3 & fact7 -> hypothesis;
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact7 -> hypothesis;
このぴにょぴちょLv.47は性分らしくない
fact9 -> int4: もし仮にこのぴにょぴちょLv.47は御濃くなくてしかも生温かくないならそれは性分らしくない;
$facts$ = fact1: あのぷくぷにゅLv.92は御濃い fact2: 仮にあのぷくぷにゅLv.92が生温かいとしたらあのぷくぷにゅLv.92は壊せる fact3: このぴにょぴちょLv.47は薄ら寒い fact4: あのぷくぷにゅLv.92が壊せるならそのぽえぽちゃLv.37は薄ら寒い fact5: もしもあのぷくぷにゅLv.92が御濃いとしたらあのぷくぷにゅLv.92は生温かい fact6: もし御濃くないモンスターが生温かくないとすると性分らしくない fact7: そのぽえぽちゃLv.37が薄ら寒いならばこのぴにょぴちょLv.47は性分らしい fact8: 「このぷなぷちゃLv.88は性分らしくないしそれは反映され易くない」ということは偽だとすれば壊せるということはない ; $hypothesis$ = このぴにょぴちょLv.47は性分らしくない ; $proof$ = 
fact5 & fact1 -> int1: 「あのぷくぷにゅLv.92は生温かい」ということは本当だ; int1 & fact2 -> int2: あのぷくぷにゅLv.92は壊せる; int2 & fact4 -> int3: そのぽえぽちゃLv.37は薄ら寒い; int3 & fact7 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact4 -> int3: {D}{b}; int3 & fact7 -> hypothesis; __DISPROVED__