そのぴにゅぴゆLv.72は怠くらない
fact1: あのぷえぷちゃLv.30は告白出来る fact2: 「管理し易いかあるいは告白出来るかもしくは両方である」モンスターがいるとするとそのぴにゅぴゆLv.72は怠い
fact1 -> int1: あのぷえぷちゃLv.30は管理し易いかまたは告白出来るかあるいはどちらもである; int1 -> int2: 「管理し易いかもしくは告白出来るかあるいは両方な」モンスターはいる; int2 & fact2 -> hypothesis;
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact2 -> hypothesis;
$facts$ = fact1: あのぷえぷちゃLv.30は告白出来る fact2: 「管理し易いかあるいは告白出来るかもしくは両方である」モンスターがいるとするとそのぴにゅぴゆLv.72は怠い ; $hypothesis$ = そのぴにゅぴゆLv.72は怠くらない ; $proof$ = 
fact1 -> int1: あのぷえぷちゃLv.30は管理し易いかまたは告白出来るかあるいはどちらもである; int1 -> int2: 「管理し易いかもしくは告白出来るかあるいは両方な」モンスターはいる; int2 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: ({A}{a} v {B}{a}); int1 -> int2: (Ex): ({A}x v {B}x); int2 & fact2 -> hypothesis; __DISPROVED__