そのみちゅみのLv.49は連想し易い
fact1: もしそのぴにぴなLv.55は立ち働くとすると「そのみにゃみなLv.5は自然らしい」ということは成り立つ fact2: そのみにゃみなLv.5は立ち働かないか発生し易い fact3: そのみにゃみなLv.5が自然らしいとするとそのぴにぴなLv.55は発生し易い fact4: もしもそのぴにぴなLv.55が自然らしいとすればそのみちゅみのLv.49は連想し易い fact5: もし仮にそのみにゃみなLv.5が立ち働くということはないか発生し易いかまたは両方だとすればそのぴにぴなLv.55は自然らしい fact6: そのみにゃみなLv.5は立ち働かないか自然らしいかあるいは両方だ fact7: もしそのぴにぴなLv.55がリポートしないならばそのみにゃみなLv.5は連想し易くなくて自然らしくない
fact5 & fact2 -> int1: そのぴにぴなLv.55は自然らしい; int1 & fact4 -> hypothesis;
fact5 & fact2 -> int1: {B}{b}; int1 & fact4 -> hypothesis;
そのみちゅみのLv.49は連想し易くない
$facts$ = fact1: もしそのぴにぴなLv.55は立ち働くとすると「そのみにゃみなLv.5は自然らしい」ということは成り立つ fact2: そのみにゃみなLv.5は立ち働かないか発生し易い fact3: そのみにゃみなLv.5が自然らしいとするとそのぴにぴなLv.55は発生し易い fact4: もしもそのぴにぴなLv.55が自然らしいとすればそのみちゅみのLv.49は連想し易い fact5: もし仮にそのみにゃみなLv.5が立ち働くということはないか発生し易いかまたは両方だとすればそのぴにぴなLv.55は自然らしい fact6: そのみにゃみなLv.5は立ち働かないか自然らしいかあるいは両方だ fact7: もしそのぴにぴなLv.55がリポートしないならばそのみにゃみなLv.5は連想し易くなくて自然らしくない ; $hypothesis$ = そのみちゅみのLv.49は連想し易い ; $proof$ = 
fact5 & fact2 -> int1: そのぴにぴなLv.55は自然らしい; int1 & fact4 -> hypothesis; __PROVED__
fact5 & fact2 -> int1: {B}{b}; int1 & fact4 -> hypothesis; __PROVED__