しょぼいということは起きない
fact1: 物足りることが起こるとしたら「ぴゆぴなLv.26事件が生じるがぽわぽねLv.0事件は起きない」ということは正しくない fact2: もしも「ぴゆぴなLv.26事件は発生するしぽわぽねLv.0事件は発生しない」ということは嘘であるとするとしょぼいということは発生しない fact3: もし仮に看過し難いということと物足りること両方ともが生じるなら見向くことは発生しない fact4: 「看過し難いということが生じる」ということは間違っていない fact5: 看過し難いということは物足りることに帰結する
fact5 & fact4 -> int1: 物足りることが起こる; int1 & fact1 -> int2: 「ぴゆぴなLv.26事件が生じるけれどぽわぽねLv.0事件は起こらない」ということは誤っている; int2 & fact2 -> hypothesis;
fact5 & fact4 -> int1: {B}; int1 & fact1 -> int2: ¬({C} & ¬{D}); int2 & fact2 -> hypothesis;
見向くことは発生しない
$facts$ = fact1: 物足りることが起こるとしたら「ぴゆぴなLv.26事件が生じるがぽわぽねLv.0事件は起きない」ということは正しくない fact2: もしも「ぴゆぴなLv.26事件は発生するしぽわぽねLv.0事件は発生しない」ということは嘘であるとするとしょぼいということは発生しない fact3: もし仮に看過し難いということと物足りること両方ともが生じるなら見向くことは発生しない fact4: 「看過し難いということが生じる」ということは間違っていない fact5: 看過し難いということは物足りることに帰結する ; $hypothesis$ = しょぼいということは起きない ; $proof$ = 
fact5 & fact4 -> int1: 物足りることが起こる; int1 & fact1 -> int2: 「ぴゆぴなLv.26事件が生じるけれどぽわぽねLv.0事件は起こらない」ということは誤っている; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact4 -> int1: {B}; int1 & fact1 -> int2: ¬({C} & ¬{D}); int2 & fact2 -> hypothesis; __PROVED__