つれないということが起こる
fact1: もし親らしいということは起きないとしたら「限り無いということは起こらない一方でみねみゆLv.95事件が発生する」ということは間違いである fact2: もしも益無しということは発生しないならば忘れ去ることおよび嘘っぽいということどちらもが発生する fact3: 「攻撃し易いということは起こらないが欲深いということが生じる」ということは「益無しということは発生しない」ということを発生させる fact4: 「忘れ去ることが発生する」ということは「親らしいということは起きない」ということを発生させる fact5: もし仮に「限り無いということは発生しないがしかしみねみゆLv.95事件が起きる」ということは嘘であるならば給すことは生じない fact6: 仮に「交雑することが起きなくて加えて給すことは生じない」ということは間違っているとすればつれないということは起こらない fact7: 交雑することが生じる
void -> assump1: 以下のように仮定する。交雑することが生じなくてそれに給すことは起こらない; assump1 -> int1: 交雑することは生じない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「交雑することが起こらないし給すことは起きない」ということは真実でない; int3 & fact6 -> hypothesis;
void -> assump1: (¬{A} & ¬{B}); assump1 -> int1: ¬{A}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A} & ¬{B}); int3 & fact6 -> hypothesis;
つれないということが起こる
$facts$ = fact1: もし親らしいということは起きないとしたら「限り無いということは起こらない一方でみねみゆLv.95事件が発生する」ということは間違いである fact2: もしも益無しということは発生しないならば忘れ去ることおよび嘘っぽいということどちらもが発生する fact3: 「攻撃し易いということは起こらないが欲深いということが生じる」ということは「益無しということは発生しない」ということを発生させる fact4: 「忘れ去ることが発生する」ということは「親らしいということは起きない」ということを発生させる fact5: もし仮に「限り無いということは発生しないがしかしみねみゆLv.95事件が起きる」ということは嘘であるならば給すことは生じない fact6: 仮に「交雑することが起きなくて加えて給すことは生じない」ということは間違っているとすればつれないということは起こらない fact7: 交雑することが生じる ; $hypothesis$ = つれないということが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。交雑することが生じなくてそれに給すことは起こらない; assump1 -> int1: 交雑することは生じない; int1 & fact7 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「交雑することが起こらないし給すことは起きない」ということは真実でない; int3 & fact6 -> hypothesis; __DISPROVED__
void -> assump1: (¬{A} & ¬{B}); assump1 -> int1: ¬{A}; int1 & fact7 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{A} & ¬{B}); int3 & fact6 -> hypothesis; __DISPROVED__