「このもにもねLv.6は出来易くてかわゆい」ということは成り立たない
fact1: このもにもねLv.6が限り無いならそのぴよぴくLv.38は限り無い fact2: あのもよもいLv.33はかわゆい fact3: このもにもねLv.6は限り無い fact4: そのみちょみちゃLv.43は出来易い fact5: このもにもねLv.6は限り無いししかもそれはかわゆい fact6: このもにもねLv.6は話し辛いしさらにそれは付け難い
fact5 -> int1: このもにもねLv.6はかわゆい;
fact5 -> int1: {B}{a};
そのぴよぴくLv.38は出来易い
$facts$ = fact1: このもにもねLv.6が限り無いならそのぴよぴくLv.38は限り無い fact2: あのもよもいLv.33はかわゆい fact3: このもにもねLv.6は限り無い fact4: そのみちょみちゃLv.43は出来易い fact5: このもにもねLv.6は限り無いししかもそれはかわゆい fact6: このもにもねLv.6は話し辛いしさらにそれは付け難い ; $hypothesis$ = 「このもにもねLv.6は出来易くてかわゆい」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__