すげないということおよび情けないということどちらもが発生する
fact1: すげないということが生じる fact2: もしリンスすることは起こらないとすれば「すげないということおよび情けないということどちらもが起きる」ということは嘘だ fact3: もし広いということは生じないとするとリンスすることが発生するしその上すこいということが起こる
fact1 -> int1: すげないということが生じる;
fact1 -> int1: {A};
「「すげないということと情けないということが起きる」ということは成り立つ」ということは誤りだ
$facts$ = fact1: すげないということが生じる fact2: もしリンスすることは起こらないとすれば「すげないということおよび情けないということどちらもが起きる」ということは嘘だ fact3: もし広いということは生じないとするとリンスすることが発生するしその上すこいということが起こる ; $hypothesis$ = すげないということおよび情けないということどちらもが発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__