温いということは起こらない
fact1: 温いということは起きないということは「ぽいぽねLv.44事件と生活し易いということが生じる」ということに引き起こされる fact2: もし仮に曲がりくねることが生じるとすれば「生活し易いということが生じるしぽいぽねLv.44事件は起こらない」ということは誤りだ fact3: 「温いということとまよまくLv.50事件どちらもが発生する」ということは生活し易いということは生じないということに起因する fact4: まよまくLv.50事件が起きるしそれに生活し易いということが生じる fact5: ぽいぽねLv.44事件が発生する
fact4 -> int1: 生活し易いということが起きる; int1 & fact5 -> int2: ぽいぽねLv.44事件および生活し易いということ両方が発生する; int2 & fact1 -> hypothesis;
fact4 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact1 -> hypothesis;
温いということが起こる
$facts$ = fact1: 温いということは起きないということは「ぽいぽねLv.44事件と生活し易いということが生じる」ということに引き起こされる fact2: もし仮に曲がりくねることが生じるとすれば「生活し易いということが生じるしぽいぽねLv.44事件は起こらない」ということは誤りだ fact3: 「温いということとまよまくLv.50事件どちらもが発生する」ということは生活し易いということは生じないということに起因する fact4: まよまくLv.50事件が起きるしそれに生活し易いということが生じる fact5: ぽいぽねLv.44事件が発生する ; $hypothesis$ = 温いということは起こらない ; $proof$ = 
fact4 -> int1: 生活し易いということが起きる; int1 & fact5 -> int2: ぽいぽねLv.44事件および生活し易いということ両方が発生する; int2 & fact1 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact1 -> hypothesis; __PROVED__