軟らかいということが発生する
fact1: 軟らかいということはもわものLv.40事件がきっかけである fact2: 荒いということが生じる fact3: ぴねぴちゃLv.50事件が生じる fact4: みにゅみやLv.73事件が生じる fact5: もわものLv.40事件が発生する fact6: みにょみいLv.18事件が起きる fact7: ぷちゃぷにLv.94事件は「染み込み易いということは起きない」ということを阻止する
fact5 -> int1: もわものLv.40事件が発生する; int1 & fact1 -> hypothesis;
fact5 -> int1: {A}; int1 & fact1 -> hypothesis;
$facts$ = fact1: 軟らかいということはもわものLv.40事件がきっかけである fact2: 荒いということが生じる fact3: ぴねぴちゃLv.50事件が生じる fact4: みにゅみやLv.73事件が生じる fact5: もわものLv.40事件が発生する fact6: みにょみいLv.18事件が起きる fact7: ぷちゃぷにLv.94事件は「染み込み易いということは起きない」ということを阻止する ; $hypothesis$ = 軟らかいということが発生する ; $proof$ = 
fact5 -> int1: もわものLv.40事件が発生する; int1 & fact1 -> hypothesis; __PROVED__
fact5 -> int1: {A}; int1 & fact1 -> hypothesis; __PROVED__