「みくみねLv.15事件が発生する一方で上昇し易いということは生じない」ということは誤りだ
fact1: ぷちゅぷちゃLv.86事件が発生する fact2: みちゅみなLv.56事件が起きるということはぷちゅぷちゃLv.86事件が原因だ fact3: 仮に様良しということは起こらないとすれば「みくみねLv.15事件が発生するけれど上昇し易いということは起こらない」ということは嘘だ fact4: 様良しということかあるいはみちゅみなLv.56事件が生じるということかどちらもは涙ぐましいということは生じないということの原因となる fact5: 仮にみちゅみなLv.56事件が生じるししかも涙ぐましいということが起きるとしたら様良しということは起こらない fact6: 「利用し難いということは発生しない」ということは「ぷちゅぷちゃLv.86事件は起きないしまなまちょLv.44事件が生じる」ということのきっかけとなる fact7: 「涙ぐましいということは発生しない」ということは「みくみねLv.15事件が発生するけど上昇し易いということは起きない」ということに繋がる fact8: 涙ぐましいということは「様良しということが起こる」ということに阻まれる
fact1 & fact2 -> int1: 「みちゅみなLv.56事件が発生する」ということは真実だ; int1 -> int2: 様良しということかみちゅみなLv.56事件かあるいはどちらもが生じる; int2 & fact4 -> int3: 涙ぐましいということは生じない; int3 & fact7 -> hypothesis;
fact1 & fact2 -> int1: {B}; int1 -> int2: ({A} v {B}); int2 & fact4 -> int3: ¬{C}; int3 & fact7 -> hypothesis;
「みくみねLv.15事件が発生する一方で上昇し易いということは生じない」ということは誤りだ
$facts$ = fact1: ぷちゅぷちゃLv.86事件が発生する fact2: みちゅみなLv.56事件が起きるということはぷちゅぷちゃLv.86事件が原因だ fact3: 仮に様良しということは起こらないとすれば「みくみねLv.15事件が発生するけれど上昇し易いということは起こらない」ということは嘘だ fact4: 様良しということかあるいはみちゅみなLv.56事件が生じるということかどちらもは涙ぐましいということは生じないということの原因となる fact5: 仮にみちゅみなLv.56事件が生じるししかも涙ぐましいということが起きるとしたら様良しということは起こらない fact6: 「利用し難いということは発生しない」ということは「ぷちゅぷちゃLv.86事件は起きないしまなまちょLv.44事件が生じる」ということのきっかけとなる fact7: 「涙ぐましいということは発生しない」ということは「みくみねLv.15事件が発生するけど上昇し易いということは起きない」ということに繋がる fact8: 涙ぐましいということは「様良しということが起こる」ということに阻まれる ; $hypothesis$ = 「みくみねLv.15事件が発生する一方で上昇し易いということは生じない」ということは誤りだ ; $proof$ = 
fact1 & fact2 -> int1: 「みちゅみなLv.56事件が発生する」ということは真実だ; int1 -> int2: 様良しということかみちゅみなLv.56事件かあるいはどちらもが生じる; int2 & fact4 -> int3: 涙ぐましいということは生じない; int3 & fact7 -> hypothesis; __DISPROVED__
fact1 & fact2 -> int1: {B}; int1 -> int2: ({A} v {B}); int2 & fact4 -> int3: ¬{C}; int3 & fact7 -> hypothesis; __DISPROVED__