そのみちゅみやLv.99は怖い
fact1: そのみちゅみやLv.99は痛ーい fact2: もし「そのみちゅみやLv.99は外来通院するし痛ーい」ということは真実だとすればそのみちゅみやLv.99は怖くない fact3: そのみちゅみやLv.99は毀つし外来通院する fact4: 「そのみちゅみやLv.99は毀つ」ということは本当だ
fact3 -> int1: そのみちゅみやLv.99は外来通院する; int1 & fact1 -> int2: そのみちゅみやLv.99は外来通院するし痛ーい; int2 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis;
$facts$ = fact1: そのみちゅみやLv.99は痛ーい fact2: もし「そのみちゅみやLv.99は外来通院するし痛ーい」ということは真実だとすればそのみちゅみやLv.99は怖くない fact3: そのみちゅみやLv.99は毀つし外来通院する fact4: 「そのみちゅみやLv.99は毀つ」ということは本当だ ; $hypothesis$ = そのみちゅみやLv.99は怖い ; $proof$ = 
fact3 -> int1: そのみちゅみやLv.99は外来通院する; int1 & fact1 -> int2: そのみちゅみやLv.99は外来通院するし痛ーい; int2 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis; __DISPROVED__