覚え易いということは生じない
fact1: 及び難いということはまやまねLv.67事件に阻まれる fact2: ぷにゅぷちょLv.84事件が起きる fact3: 及び難いということは生じない fact4: まやまねLv.67事件が起こる fact5: 「及び難いということではなくて覚え易いということが発生する」ということはまやまねLv.67事件にもたらされる
fact5 & fact4 -> int1: 「及び難いということは起こらないけど覚え易いということが起こる」ということは成り立つ; int1 -> hypothesis;
fact5 & fact4 -> int1: (¬{AA} & {AB}); int1 -> hypothesis;
$facts$ = fact1: 及び難いということはまやまねLv.67事件に阻まれる fact2: ぷにゅぷちょLv.84事件が起きる fact3: 及び難いということは生じない fact4: まやまねLv.67事件が起こる fact5: 「及び難いということではなくて覚え易いということが発生する」ということはまやまねLv.67事件にもたらされる ; $hypothesis$ = 覚え易いということは生じない ; $proof$ = 
fact5 & fact4 -> int1: 「及び難いということは起こらないけど覚え易いということが起こる」ということは成り立つ; int1 -> hypothesis; __DISPROVED__
fact5 & fact4 -> int1: (¬{AA} & {AB}); int1 -> hypothesis; __DISPROVED__