仕方無しということが発生するかあるいは捗々しいということは起こらないかあるいは両方である
fact1: もしも「貧乏臭いということは起きない」ということは正しいなら「仕方無しということが発生するかあるいは捗々しいということは生じないかあるいは両方ともである」ということは成り立たない fact2: 仕方無しということが起きる fact3: 生み易いということかもしくは欲深いということが発生する fact4: ぽなぽにょLv.29事件が生じる
fact2 -> int1: 仕方無しということが起きる; int1 -> hypothesis;
fact2 -> int1: {A}; int1 -> hypothesis;
「仕方無しということが生じるかもしくは捗々しいということは発生しない」ということは誤りである
$facts$ = fact1: もしも「貧乏臭いということは起きない」ということは正しいなら「仕方無しということが発生するかあるいは捗々しいということは生じないかあるいは両方ともである」ということは成り立たない fact2: 仕方無しということが起きる fact3: 生み易いということかもしくは欲深いということが発生する fact4: ぽなぽにょLv.29事件が生じる ; $hypothesis$ = 仕方無しということが発生するかあるいは捗々しいということは起こらないかあるいは両方である ; $proof$ = 
fact2 -> int1: 仕方無しということが起きる; int1 -> hypothesis; __PROVED__
fact2 -> int1: {A}; int1 -> hypothesis; __PROVED__