このぴやぴいLv.2は乗り難くて更に詳しい
fact1: このぴやぴいLv.2は疎い fact2: このぴやぴいLv.2は詳しい fact3: このぴやぴいLv.2が均質化しなくてさらにおっかなくないとしたらこのぴやぴいLv.2は乗り難い fact4: 仮に「このぴやぴいLv.2は疎くない」ということは事実ならばそのまちゃまゆLv.13は戻し易くて乗り難い fact5: もしもこのぴやぴいLv.2が均質化しないならそれは均質化しないしおっかなくない
fact1 -> int1: このぴやぴいLv.2は戻し易いかもしくはそれは疎いかまたは両方である;
fact1 -> int1: ({A}{a} v {B}{a});
そのまちゃまゆLv.13は乗り難い
$facts$ = fact1: このぴやぴいLv.2は疎い fact2: このぴやぴいLv.2は詳しい fact3: このぴやぴいLv.2が均質化しなくてさらにおっかなくないとしたらこのぴやぴいLv.2は乗り難い fact4: 仮に「このぴやぴいLv.2は疎くない」ということは事実ならばそのまちゃまゆLv.13は戻し易くて乗り難い fact5: もしもこのぴやぴいLv.2が均質化しないならそれは均質化しないしおっかなくない ; $hypothesis$ = このぴやぴいLv.2は乗り難くて更に詳しい ; $proof$ = 
__UNKNOWN__
__UNKNOWN__