そのみねみにょLv.20は喜ばしくない
fact1: このぽちゃぽちょLv.29は羨ましいしその上陰気臭い fact2: このぽちゃぽちょLv.29はキャンセルする
fact1 -> int1: このぽちゃぽちょLv.29は羨ましい; int1 & fact2 -> int2: このぽちゃぽちょLv.29はキャンセルするし加えて羨ましい;
fact1 -> int1: {A}{a}; int1 & fact2 -> int2: ({C}{a} & {A}{a});
$facts$ = fact1: このぽちゃぽちょLv.29は羨ましいしその上陰気臭い fact2: このぽちゃぽちょLv.29はキャンセルする ; $hypothesis$ = そのみねみにょLv.20は喜ばしくない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__