以下のように仮定する。地中深いということが起きる
fact1: もし仮に「投宿することが生じるけど幅広いということは発生しない」ということは真実だということはないとすると聡いということは発生しない fact2: みちゅみくLv.85事件が発生する fact3: ぷくぷにょLv.35事件が生じる fact4: もし仮に聡いということは起こらないならぷくぷにょLv.35事件が生じるかみちゅみくLv.85事件が生じる fact5: 晴れがましいということが起きる fact6: 「空々しいということが起きる」ということは間違いでない fact7: みわみちょLv.12事件が生じるし更にもねもよLv.5事件が起こる
void -> assump1: 以下のように仮定する。地中深いということが起きる; fact3 & assump1 -> int1: 「ぷくぷにょLv.35事件および地中深いということ両方ともが生じる」ということは成り立つ;
void -> assump1: {B}; fact3 & assump1 -> int1: ({A} & {B});
以下のように仮定する。地中深いということが起きる
$facts$ = fact1: もし仮に「投宿することが生じるけど幅広いということは発生しない」ということは真実だということはないとすると聡いということは発生しない fact2: みちゅみくLv.85事件が発生する fact3: ぷくぷにょLv.35事件が生じる fact4: もし仮に聡いということは起こらないならぷくぷにょLv.35事件が生じるかみちゅみくLv.85事件が生じる fact5: 晴れがましいということが起きる fact6: 「空々しいということが起きる」ということは間違いでない fact7: みわみちょLv.12事件が生じるし更にもねもよLv.5事件が起こる ; $hypothesis$ = 以下のように仮定する。地中深いということが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__