発揮し易いということが起こる
fact1: 発揮し易いということは生じないしまたぷのぷちゃLv.7事件は生じない fact2: むさいということかもしくは「弾力化することは起きない」ということは真新しいということにより発生する fact3: ぷのぷちゃLv.7事件は生じない fact4: もし仮にむさいということは起こらないとすれば発揮し易いということが起こるしその上弾力化することが起こる fact5: ぷにゃぷなLv.12事件は起こらないということはみねみにゃLv.82事件および真新しいということが起こるの原因となる
fact1 -> int1: 発揮し易いということは生じないしまたぷのぷちゃLv.7事件は生じない; int1 -> hypothesis;
fact1 -> int1: (¬{AA} & ¬{AB}); int1 -> hypothesis;
発揮し易いということが起こる
$facts$ = fact1: 発揮し易いということは生じないしまたぷのぷちゃLv.7事件は生じない fact2: むさいということかもしくは「弾力化することは起きない」ということは真新しいということにより発生する fact3: ぷのぷちゃLv.7事件は生じない fact4: もし仮にむさいということは起こらないとすれば発揮し易いということが起こるしその上弾力化することが起こる fact5: ぷにゃぷなLv.12事件は起こらないということはみねみにゃLv.82事件および真新しいということが起こるの原因となる ; $hypothesis$ = 発揮し易いということが起こる ; $proof$ = 
fact1 -> int1: 発揮し易いということは生じないしまたぷのぷちゃLv.7事件は生じない; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: (¬{AA} & ¬{AB}); int1 -> hypothesis; __DISPROVED__