「あのみえみちょLv.55は着易くない」ということは成り立つ
fact1: もしあのみちゅみにゃLv.43が物珍しいしその上粉っぽいとすればあのみえみちょLv.55は着易くない fact2: そのまちゃまのLv.61は思しいし素早い fact3: あのみちゅみにゃLv.43は粉っぽい fact4: あのみえみちょLv.55は素早い fact5: 「そのまちゃまのLv.61は思しい」ということは確かだとしたらあのみちゅみにゃLv.43は物珍しい
fact2 -> int1: そのまちゃまのLv.61は思しい; fact5 & int1 -> int2: 「あのみちゅみにゃLv.43は物珍しい」ということは成り立つ; int2 & fact3 -> int3: あのみちゅみにゃLv.43は物珍しくてさらに粉っぽい; int3 & fact1 -> hypothesis;
fact2 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{b}; int2 & fact3 -> int3: ({B}{b} & {C}{b}); int3 & fact1 -> hypothesis;
$facts$ = fact1: もしあのみちゅみにゃLv.43が物珍しいしその上粉っぽいとすればあのみえみちょLv.55は着易くない fact2: そのまちゃまのLv.61は思しいし素早い fact3: あのみちゅみにゃLv.43は粉っぽい fact4: あのみえみちょLv.55は素早い fact5: 「そのまちゃまのLv.61は思しい」ということは確かだとしたらあのみちゅみにゃLv.43は物珍しい ; $hypothesis$ = 「あのみえみちょLv.55は着易くない」ということは成り立つ ; $proof$ = 
fact2 -> int1: そのまちゃまのLv.61は思しい; fact5 & int1 -> int2: 「あのみちゅみにゃLv.43は物珍しい」ということは成り立つ; int2 & fact3 -> int3: あのみちゅみにゃLv.43は物珍しくてさらに粉っぽい; int3 & fact1 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{b}; int2 & fact3 -> int3: ({B}{b} & {C}{b}); int3 & fact1 -> hypothesis; __PROVED__