躍り掛かることが起きるしおまけに神々しいということが発生する
fact1: もにょものLv.16事件がまのまちゃLv.38事件は生じないということを回避する fact2: 「言い出し難いということが生じる」ということは神々しいということが生じるということのきっかけとなる fact3: 躍り掛かることはぽにゅぽねLv.82事件に阻止される fact4: 言い出し難いということが起きる fact5: 躍り掛かることが起こる
fact2 & fact4 -> int1: 神々しいということが起きる; int1 & fact5 -> hypothesis;
fact2 & fact4 -> int1: {B}; int1 & fact5 -> hypothesis;
知り合いらしいということが起こる
$facts$ = fact1: もにょものLv.16事件がまのまちゃLv.38事件は生じないということを回避する fact2: 「言い出し難いということが生じる」ということは神々しいということが生じるということのきっかけとなる fact3: 躍り掛かることはぽにゅぽねLv.82事件に阻止される fact4: 言い出し難いということが起きる fact5: 躍り掛かることが起こる ; $hypothesis$ = 躍り掛かることが起きるしおまけに神々しいということが発生する ; $proof$ = 
fact2 & fact4 -> int1: 神々しいということが起きる; int1 & fact5 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {B}; int1 & fact5 -> hypothesis; __PROVED__