付き難いということが起こるしかつ歯痒いということが発生する
fact1: 「歯痒いということが発生する」ということは事実である fact2: まやまにょLv.91事件はぷのぷゆLv.78事件の原因となる fact3: まやまにょLv.91事件が起こる fact4: 扱い易いということは選択され易いということを引き起こす fact5: 「付き難いということは発生しない」ということはぷのぷゆLv.78事件に阻まれる
fact2 & fact3 -> int1: ぷのぷゆLv.78事件が生じる; int1 & fact5 -> int2: 付き難いということが発生する; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact1 -> hypothesis;
$facts$ = fact1: 「歯痒いということが発生する」ということは事実である fact2: まやまにょLv.91事件はぷのぷゆLv.78事件の原因となる fact3: まやまにょLv.91事件が起こる fact4: 扱い易いということは選択され易いということを引き起こす fact5: 「付き難いということは発生しない」ということはぷのぷゆLv.78事件に阻まれる ; $hypothesis$ = 付き難いということが起こるしかつ歯痒いということが発生する ; $proof$ = 
fact2 & fact3 -> int1: ぷのぷゆLv.78事件が生じる; int1 & fact5 -> int2: 付き難いということが発生する; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}; int1 & fact5 -> int2: {C}; int2 & fact1 -> hypothesis; __PROVED__