このぽにょぽちょLv.86は見られ易くない
fact1: このぽにょぽちょLv.86は遣り辛い fact2: もしもこのぽにょぽちょLv.86が見られ易くてまた遣り辛いならばこのぽにょぽちょLv.86は胡散臭いということはない fact3: そのみなみにょLv.81は悔しい fact4: そのみなみにょLv.81が遣り辛いとするとこのぽにょぽちょLv.86は見られ易い fact5: そのみなみにょLv.81が悔しいとしたらこのぽにょぽちょLv.86は儚い fact6: このぴよぴちょLv.35は感慨深いしさらに久しい fact7: そのまやまのLv.22は遣り辛い
void -> assump1: 以下のように仮定する。このぽにょぽちょLv.86は見られ易い; assump1 & fact1 -> int1: このぽにょぽちょLv.86は見られ易いし遣り辛い; int1 & fact2 -> int2: このぽにょぽちょLv.86は胡散臭くない;
void -> assump1: {A}{a}; assump1 & fact1 -> int1: ({A}{a} & {B}{a}); int1 & fact2 -> int2: ¬{C}{a};
以下のように仮定する。このぽにょぽちょLv.86は見られ易い
$facts$ = fact1: このぽにょぽちょLv.86は遣り辛い fact2: もしもこのぽにょぽちょLv.86が見られ易くてまた遣り辛いならばこのぽにょぽちょLv.86は胡散臭いということはない fact3: そのみなみにょLv.81は悔しい fact4: そのみなみにょLv.81が遣り辛いとするとこのぽにょぽちょLv.86は見られ易い fact5: そのみなみにょLv.81が悔しいとしたらこのぽにょぽちょLv.86は儚い fact6: このぴよぴちょLv.35は感慨深いしさらに久しい fact7: そのまやまのLv.22は遣り辛い ; $hypothesis$ = このぽにょぽちょLv.86は見られ易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__