「あのみえみねLv.64は育ち難い」ということは事実だ
fact1: あのみえみねLv.64は分散局在する fact2: もし仮に「そのまえまやLv.81は分散局在する」ということは真実だとすればあのみえみねLv.64は育ち難い fact3: 夥しくないモンスターは育ち難くない一方で馬鹿でかい fact4: 仮にそのまえまやLv.81が夥しいならそのまえまやLv.81は分散局在する fact5: 「もし仮にあのぽえぽわLv.84が馬鹿でかいとすればそのまえまやLv.81は夥しい」ということは事実と異ならない fact6: もしあるモンスターは分散局在するということはないとしたら「それは胸苦しくないしまた夥しい」ということは誤りである fact7: そのまにゅまわLv.86が分散局在するけど付着し易くないならそのまえまやLv.81は分散局在しない fact8: 「あのぽえぽわLv.84は馬鹿でかい」ということは事実である fact9: もしもあのぽえぽわLv.84が育ち難いならそれは馬鹿でかい
fact5 & fact8 -> int1: そのまえまやLv.81は夥しい; int1 & fact4 -> int2: そのまえまやLv.81は分散局在する; int2 & fact2 -> hypothesis;
fact5 & fact8 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
あのみえみねLv.64は育ち難くない
fact12 -> int3: もし仮にあのぽえぽわLv.84が夥しくないならあのぽえぽわLv.84は育ち難いということはないが馬鹿でかい; fact11 -> int4: 仮にそのまえまやLv.81は分散局在しないならば「「それは胸苦しくない一方で夥しい」ということは確かだ」ということは事実でない;
$facts$ = fact1: あのみえみねLv.64は分散局在する fact2: もし仮に「そのまえまやLv.81は分散局在する」ということは真実だとすればあのみえみねLv.64は育ち難い fact3: 夥しくないモンスターは育ち難くない一方で馬鹿でかい fact4: 仮にそのまえまやLv.81が夥しいならそのまえまやLv.81は分散局在する fact5: 「もし仮にあのぽえぽわLv.84が馬鹿でかいとすればそのまえまやLv.81は夥しい」ということは事実と異ならない fact6: もしあるモンスターは分散局在するということはないとしたら「それは胸苦しくないしまた夥しい」ということは誤りである fact7: そのまにゅまわLv.86が分散局在するけど付着し易くないならそのまえまやLv.81は分散局在しない fact8: 「あのぽえぽわLv.84は馬鹿でかい」ということは事実である fact9: もしもあのぽえぽわLv.84が育ち難いならそれは馬鹿でかい ; $hypothesis$ = 「あのみえみねLv.64は育ち難い」ということは事実だ ; $proof$ = 
fact5 & fact8 -> int1: そのまえまやLv.81は夥しい; int1 & fact4 -> int2: そのまえまやLv.81は分散局在する; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact8 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__