あの先年は生き辛くない
fact1: もしなにかはパッチテストなら生き辛いがクローズパスでない fact2: あの先年は二千一年後半である fact3: あの先年は反復する fact4: あの電柱は生き辛い fact5: あの宝庫は生き辛い fact6: 何らかのものはパッチテストであるならば生き辛くない fact7: この認知程度は生き辛い fact8: その若緑がパッチテストであるとしたらあの先年はパッチテストである fact9: なにがしかの物は余業でないならば「フランス人らしいかまたはクローズパスであるかまたは両方だ」ということは真実でない fact10: あの先年は破れ難い fact11: もしもあの先年が生き辛いがクローズパスでないとするとこの認知的社会化は生き辛い fact12: 「この連結納税制度は生き辛い」ということは間違いでない fact13: あの先年は来襲する fact14: この印刷用紙は生き辛い fact15: あの先年は生き辛い fact16: あの先年はふさふさする
fact15 -> hypothesis;
この認知的社会化は生き辛い
fact17 -> int1: もし仮にあの先年がパッチテストだとするとそれは生き辛くてクローズパスでない;
$facts$ = fact1: もしなにかはパッチテストなら生き辛いがクローズパスでない fact2: あの先年は二千一年後半である fact3: あの先年は反復する fact4: あの電柱は生き辛い fact5: あの宝庫は生き辛い fact6: 何らかのものはパッチテストであるならば生き辛くない fact7: この認知程度は生き辛い fact8: その若緑がパッチテストであるとしたらあの先年はパッチテストである fact9: なにがしかの物は余業でないならば「フランス人らしいかまたはクローズパスであるかまたは両方だ」ということは真実でない fact10: あの先年は破れ難い fact11: もしもあの先年が生き辛いがクローズパスでないとするとこの認知的社会化は生き辛い fact12: 「この連結納税制度は生き辛い」ということは間違いでない fact13: あの先年は来襲する fact14: この印刷用紙は生き辛い fact15: あの先年は生き辛い fact16: あの先年はふさふさする ; $hypothesis$ = あの先年は生き辛くない ; $proof$ = 
fact15 -> hypothesis; __DISPROVED__
事実1: もしなにかはパッチテストなら生き辛いがクローズパスでない
事実2: あの先年は二千一年後半である
事実3: あの先年は反復する
事実4: あの電柱は生き辛い
事実5: あの宝庫は生き辛い
事実6: 何らかのものはパッチテストであるならば生き辛くない
事実7: この認知程度は生き辛い
事実8: その若緑がパッチテストであるとしたらあの先年はパッチテストである
事実9: なにがしかの物は余業でないならば「フランス人らしいかまたはクローズパスであるかまたは両方だ」ということは真実でない
事実10: あの先年は破れ難い
事実11: もしもあの先年が生き辛いがクローズパスでないとするとこの認知的社会化は生き辛い
事実12: 「この連結納税制度は生き辛い」ということは間違いでない
事実13: あの先年は来襲する
事実14: この印刷用紙は生き辛い
事実15: あの先年は生き辛い
事実16: あの先年はふさふさする

仮説: あの先年は生き辛くない
1. 事実15から、仮説が否定される

よって、仮説が否定されました。