このぷちゃぷなLv.61は小汚くない
fact1: 仮に「このぷちゃぷなLv.61は成り掛かるけれどそれは疲れ難くない」ということは偽だとするとそれは小汚い fact2: このぷなぷえLv.93は疲れ難いし作り易い fact3: もしもこのぷちゃぷなLv.61が疲れ難いとすれば小汚い
fact2 -> int1: このぷなぷえLv.93は疲れ難い;
fact2 -> int1: {A}{a};
$facts$ = fact1: 仮に「このぷちゃぷなLv.61は成り掛かるけれどそれは疲れ難くない」ということは偽だとするとそれは小汚い fact2: このぷなぷえLv.93は疲れ難いし作り易い fact3: もしもこのぷちゃぷなLv.61が疲れ難いとすれば小汚い ; $hypothesis$ = このぷちゃぷなLv.61は小汚くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__