仮にそのまゆまよLv.58が愛くるしくないなら愛くるしくないけど悶える
fact1: 「もしそのまゆまよLv.58が愛くるしいとしたらそのまゆまよLv.58は愛くるしくないけれど悶える」ということは嘘でない fact2: そのまゆまよLv.58は悶える
void -> assump1: 以下のように仮定する。そのまゆまよLv.58は愛くるしくない; assump1 & fact2 -> int1: そのまゆまよLv.58は愛くるしくない一方で悶える; [assump1] & int1 -> hypothesis;
void -> assump1: ¬{A}{a}; assump1 & fact2 -> int1: (¬{A}{a} & {B}{a}); [assump1] & int1 -> hypothesis;
$facts$ = fact1: 「もしそのまゆまよLv.58が愛くるしいとしたらそのまゆまよLv.58は愛くるしくないけれど悶える」ということは嘘でない fact2: そのまゆまよLv.58は悶える ; $hypothesis$ = 仮にそのまゆまよLv.58が愛くるしくないなら愛くるしくないけど悶える ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまゆまよLv.58は愛くるしくない; assump1 & fact2 -> int1: そのまゆまよLv.58は愛くるしくない一方で悶える; [assump1] & int1 -> hypothesis; __PROVED__
void -> assump1: ¬{A}{a}; assump1 & fact2 -> int1: (¬{A}{a} & {B}{a}); [assump1] & int1 -> hypothesis; __PROVED__