あのぴにょぴなLv.67は当たり難くない
fact1: あのぴちゃぴいLv.38は痛ましくない fact2: あのぴにょぴなLv.67は痛ましくない fact3: あのぴにょぴなLv.67は太しない fact4: あのぴちゃぴいLv.38が痛ましくない一方で太しとするとあのぴにょぴなLv.67は当たり難いということはない fact5: あのまにゃまちゅLv.78は止む無くないが離れ難い fact6: あのぴちゃぴいLv.38は太し
fact1 & fact6 -> int1: あのぴちゃぴいLv.38は痛ましくないが太し; int1 & fact4 -> hypothesis;
fact1 & fact6 -> int1: (¬{A}{a} & {B}{a}); int1 & fact4 -> hypothesis;
$facts$ = fact1: あのぴちゃぴいLv.38は痛ましくない fact2: あのぴにょぴなLv.67は痛ましくない fact3: あのぴにょぴなLv.67は太しない fact4: あのぴちゃぴいLv.38が痛ましくない一方で太しとするとあのぴにょぴなLv.67は当たり難いということはない fact5: あのまにゃまちゅLv.78は止む無くないが離れ難い fact6: あのぴちゃぴいLv.38は太し ; $hypothesis$ = あのぴにょぴなLv.67は当たり難くない ; $proof$ = 
fact1 & fact6 -> int1: あのぴちゃぴいLv.38は痛ましくないが太し; int1 & fact4 -> hypothesis; __PROVED__
fact1 & fact6 -> int1: (¬{A}{a} & {B}{a}); int1 & fact4 -> hypothesis; __PROVED__