覚え易いということが起こる
fact1: 「疲れ難いということが生じる」ということは成り立つ fact2: 「ぴにぴわLv.0事件は生じない」ということはまちゃまなLv.26事件が発生するということに阻止される fact3: まちゃまなLv.26事件およびとろ臭いということが発生する fact4: 覚え易いということはぴにぴわLv.0事件に誘発される
fact3 -> int1: まちゃまなLv.26事件が生じる; int1 & fact2 -> int2: ぴにぴわLv.0事件が起こる; int2 & fact4 -> hypothesis;
fact3 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis;
$facts$ = fact1: 「疲れ難いということが生じる」ということは成り立つ fact2: 「ぴにぴわLv.0事件は生じない」ということはまちゃまなLv.26事件が発生するということに阻止される fact3: まちゃまなLv.26事件およびとろ臭いということが発生する fact4: 覚え易いということはぴにぴわLv.0事件に誘発される ; $hypothesis$ = 覚え易いということが起こる ; $proof$ = 
fact3 -> int1: まちゃまなLv.26事件が生じる; int1 & fact2 -> int2: ぴにぴわLv.0事件が起こる; int2 & fact4 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact2 -> int2: {C}; int2 & fact4 -> hypothesis; __PROVED__