あのぽくぽいLv.23は見窄らしくない
fact1: 「このまやまちゃLv.53は出現し易い」ということは真実だ fact2: もしもあのぽくぽいLv.23が熱いとすればあのぽくぽいLv.23は折れ易い fact3: もし仮にあのぽくぽいLv.23が折れ易いとするとあのぽくぽいLv.23は見窄らしい fact4: そのまくまえLv.77は付け易い fact5: そのまくまえLv.77は熱い fact6: 仮にそのまなまねLv.34はあどけないとすれば「あのぽくぽいLv.23は熱い」ということは真実だ fact7: そのまくまえLv.77は付け易いししかも出現し易い fact8: あのぽくぽいLv.23は言い難いしかつ近付き易い fact9: そのまなまねLv.34は出現し易い
fact7 -> int1: そのまくまえLv.77は出現し易い;
fact7 -> int1: {B}{a};
$facts$ = fact1: 「このまやまちゃLv.53は出現し易い」ということは真実だ fact2: もしもあのぽくぽいLv.23が熱いとすればあのぽくぽいLv.23は折れ易い fact3: もし仮にあのぽくぽいLv.23が折れ易いとするとあのぽくぽいLv.23は見窄らしい fact4: そのまくまえLv.77は付け易い fact5: そのまくまえLv.77は熱い fact6: 仮にそのまなまねLv.34はあどけないとすれば「あのぽくぽいLv.23は熱い」ということは真実だ fact7: そのまくまえLv.77は付け易いししかも出現し易い fact8: あのぽくぽいLv.23は言い難いしかつ近付き易い fact9: そのまなまねLv.34は出現し易い ; $hypothesis$ = あのぽくぽいLv.23は見窄らしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__