もいもゆLv.72事件および考え辛いということが起こる
fact1: 「せせこましいということが生じるけど熱いということは起きない」ということは「ぴちゃぴにLv.35事件は発生しない」ということが契機だ fact2: 「せせこましいということが発生するし熱いということは起こらない」ということは「考え辛いということは発生しない」ということを阻む fact3: もいもゆLv.72事件が発生する fact4: もわもいLv.42事件が起こるがぴちゃぴにLv.35事件は発生しない
fact4 -> int1: ぴちゃぴにLv.35事件は起きない; fact1 & int1 -> int2: せせこましいということが発生するし熱いということは起きない; int2 & fact2 -> int3: 考え辛いということが起こる; int3 & fact3 -> hypothesis;
fact4 -> int1: ¬{A}; fact1 & int1 -> int2: ({AA} & ¬{AB}); int2 & fact2 -> int3: {B}; int3 & fact3 -> hypothesis;
$facts$ = fact1: 「せせこましいということが生じるけど熱いということは起きない」ということは「ぴちゃぴにLv.35事件は発生しない」ということが契機だ fact2: 「せせこましいということが発生するし熱いということは起こらない」ということは「考え辛いということは発生しない」ということを阻む fact3: もいもゆLv.72事件が発生する fact4: もわもいLv.42事件が起こるがぴちゃぴにLv.35事件は発生しない ; $hypothesis$ = もいもゆLv.72事件および考え辛いということが起こる ; $proof$ = 
fact4 -> int1: ぴちゃぴにLv.35事件は起きない; fact1 & int1 -> int2: せせこましいということが発生するし熱いということは起きない; int2 & fact2 -> int3: 考え辛いということが起こる; int3 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: ¬{A}; fact1 & int1 -> int2: ({AA} & ¬{AB}); int2 & fact2 -> int3: {B}; int3 & fact3 -> hypothesis; __PROVED__