ぴにょぴゆLv.79事件は生じない
fact1: もしぴねぴえLv.41事件は起こらないなら「付け易いということではなくてまねまわLv.97事件が生じる」ということは確かでない fact2: 「「付け易いということは生じないけどまねまわLv.97事件が起こる」ということは事実だ」ということは事実と異なれば塩っ辛いということは生じない fact3: ぴねぴえLv.41事件が生じる fact4: まねまわLv.97事件が生じる fact5: ぴねぴえLv.41事件と付け易いということが生じるはぴにょぴゆLv.79事件を回避する fact6: 付け易いということとまねまわLv.97事件両方が生じる
fact6 -> int1: 付け易いということが起きる; int1 & fact3 -> int2: ぴねぴえLv.41事件および付け易いということが起きる; int2 & fact5 -> hypothesis;
fact6 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact5 -> hypothesis;
塩っ辛いということは起きない
$facts$ = fact1: もしぴねぴえLv.41事件は起こらないなら「付け易いということではなくてまねまわLv.97事件が生じる」ということは確かでない fact2: 「「付け易いということは生じないけどまねまわLv.97事件が起こる」ということは事実だ」ということは事実と異なれば塩っ辛いということは生じない fact3: ぴねぴえLv.41事件が生じる fact4: まねまわLv.97事件が生じる fact5: ぴねぴえLv.41事件と付け易いということが生じるはぴにょぴゆLv.79事件を回避する fact6: 付け易いということとまねまわLv.97事件両方が生じる ; $hypothesis$ = ぴにょぴゆLv.79事件は生じない ; $proof$ = 
fact6 -> int1: 付け易いということが起きる; int1 & fact3 -> int2: ぴねぴえLv.41事件および付け易いということが起きる; int2 & fact5 -> hypothesis; __PROVED__
fact6 -> int1: {A}; int1 & fact3 -> int2: ({C} & {A}); int2 & fact5 -> hypothesis; __PROVED__