あのぽちゃぽちゅLv.48は笑い転げない
fact1: 「そのぴにゅぴわLv.91はどす黒いしそれにそれは統制出来る」ということは本当だ fact2: このぽにゃぽにょLv.53は迫り出すし叩き切る fact3: そのぴにゅぴわLv.91はどす黒い fact4: そのぴにゅぴわLv.91が統制出来るとするとあのぽちゃぽちゅLv.48は笑い転げる fact5: もし仮にあのぽちゃぽちゅLv.48はどす黒くないしその上統制出来ないならば笑い転げない
fact1 -> int1: そのぴにゅぴわLv.91は統制出来る; int1 & fact4 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
あのぽちゃぽちゅLv.48は笑い転げない
$facts$ = fact1: 「そのぴにゅぴわLv.91はどす黒いしそれにそれは統制出来る」ということは本当だ fact2: このぽにゃぽにょLv.53は迫り出すし叩き切る fact3: そのぴにゅぴわLv.91はどす黒い fact4: そのぴにゅぴわLv.91が統制出来るとするとあのぽちゃぽちゅLv.48は笑い転げる fact5: もし仮にあのぽちゃぽちゅLv.48はどす黒くないしその上統制出来ないならば笑い転げない ; $hypothesis$ = あのぽちゃぽちゅLv.48は笑い転げない ; $proof$ = 
fact1 -> int1: そのぴにゅぴわLv.91は統制出来る; int1 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __DISPROVED__