伝わり易いということが起こる
fact1: めでたいということは生じないなら理解し難いということが起こるしおまけに御寂しいということが起きる fact2: 「弱しということが生じる」ということは伝わり易いということが起きるということのきっかけとなる fact3: もしも規律することが起これば弱しということが生じる一方で伝わり易いということは起きない fact4: ぽわぽにゅLv.27事件が起きるということは規律することを発生させる fact5: 弱しということが起こる fact6: ぷよぷわLv.11事件は起きないということは理解し難いということに阻まれる fact7: ぷよぷわLv.11事件はぽわぽにゅLv.27事件の原因となる
fact5 -> int1: 弱しということが起こる; int1 & fact2 -> hypothesis;
fact5 -> int1: {A}; int1 & fact2 -> hypothesis;
伝わり易いということは起きない
$facts$ = fact1: めでたいということは生じないなら理解し難いということが起こるしおまけに御寂しいということが起きる fact2: 「弱しということが生じる」ということは伝わり易いということが起きるということのきっかけとなる fact3: もしも規律することが起これば弱しということが生じる一方で伝わり易いということは起きない fact4: ぽわぽにゅLv.27事件が起きるということは規律することを発生させる fact5: 弱しということが起こる fact6: ぷよぷわLv.11事件は起きないということは理解し難いということに阻まれる fact7: ぷよぷわLv.11事件はぽわぽにゅLv.27事件の原因となる ; $hypothesis$ = 伝わり易いということが起こる ; $proof$ = 
fact5 -> int1: 弱しということが起こる; int1 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__