愛しということが生じる
fact1: 「愛しということは起きない」ということは「潔しということは起こらない」ということか暗いということかあるいは両方ともを引き起こす fact2: もし仮に潔しということは起こらないかまたは暗いということが発生するかあるいは両方ならばぷにゃぷゆLv.9事件が起こる
void -> assump1: 以下のように仮定する。愛しということは発生しない; fact1 & assump1 -> int1: 潔しということは起きないかあるいは暗いということが起こるかあるいはどちらもだ; int1 & fact2 -> int2: ぷにゃぷゆLv.9事件が発生する;
void -> assump1: ¬{A}; fact1 & assump1 -> int1: (¬{AA} v {AB}); int1 & fact2 -> int2: {B};
$facts$ = fact1: 「愛しということは起きない」ということは「潔しということは起こらない」ということか暗いということかあるいは両方ともを引き起こす fact2: もし仮に潔しということは起こらないかまたは暗いということが発生するかあるいは両方ならばぷにゃぷゆLv.9事件が起こる ; $hypothesis$ = 愛しということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__