あの外資系小売り企業はプロヴァンス料理である
fact1: あの外資系小売り企業は錆無くなくてまたそれは火車だということはない fact2: 「プロヴァンス料理でない」物はある fact3: もし仮に「言い捨てない」ものがあるとしたらあの外資系小売り企業は錆無くない fact4: あの外資系小売り企業は卑しない fact5: 「あの外資系小売り企業は日本国憲法下であるということはない」ということは真実である fact6: 「「言い捨てない」ということは成り立つ」物はある fact7: もしもなんらかの物が言い捨てないならそれはプロヴァンス料理であるということはないしかつ描き足さない fact8: すべては恵み深くないし更にそれはこだわり続けない fact9: あの外資系小売り企業は錆無くない fact10: もしも「言い捨てない」ものがあるとすればあの外資系小売り企業はプロヴァンス料理だということはないしまた錆無いということはない fact11: もし仮にとあるものが見過ごし難くないとするとこの自己開示は移り易くないしその上析出するということはない fact12: 「言い捨てる」物はある fact13: 仮に「昼夜逆転しない」物があるならこのチークカラーは格好悪くなくてまたそれは錆無くない
fact6 & fact10 -> int1: あの外資系小売り企業はプロヴァンス料理でなくて錆無くない; int1 -> hypothesis;
fact6 & fact10 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> hypothesis;
この気質はプロヴァンス料理でなくて描き足さない
fact14 -> int2: もしこの気質が言い捨てないとしたらプロヴァンス料理であるということはないしさらに描き足さない;
$facts$ = fact1: あの外資系小売り企業は錆無くなくてまたそれは火車だということはない fact2: 「プロヴァンス料理でない」物はある fact3: もし仮に「言い捨てない」ものがあるとしたらあの外資系小売り企業は錆無くない fact4: あの外資系小売り企業は卑しない fact5: 「あの外資系小売り企業は日本国憲法下であるということはない」ということは真実である fact6: 「「言い捨てない」ということは成り立つ」物はある fact7: もしもなんらかの物が言い捨てないならそれはプロヴァンス料理であるということはないしかつ描き足さない fact8: すべては恵み深くないし更にそれはこだわり続けない fact9: あの外資系小売り企業は錆無くない fact10: もしも「言い捨てない」ものがあるとすればあの外資系小売り企業はプロヴァンス料理だということはないしまた錆無いということはない fact11: もし仮にとあるものが見過ごし難くないとするとこの自己開示は移り易くないしその上析出するということはない fact12: 「言い捨てる」物はある fact13: 仮に「昼夜逆転しない」物があるならこのチークカラーは格好悪くなくてまたそれは錆無くない ; $hypothesis$ = あの外資系小売り企業はプロヴァンス料理である ; $proof$ = 
fact6 & fact10 -> int1: あの外資系小売り企業はプロヴァンス料理でなくて錆無くない; int1 -> hypothesis; __DISPROVED__
事実1: あの外資系小売り企業は錆無くなくてまたそれは火車だということはない
事実2: 「プロヴァンス料理でない」物はある
事実3: もし仮に「言い捨てない」ものがあるとしたらあの外資系小売り企業は錆無くない
事実4: あの外資系小売り企業は卑しない
事実5: 「あの外資系小売り企業は日本国憲法下であるということはない」ということは真実である
事実6: 「「言い捨てない」ということは成り立つ」物はある
事実7: もしもなんらかの物が言い捨てないならそれはプロヴァンス料理であるということはないしかつ描き足さない
事実8: すべては恵み深くないし更にそれはこだわり続けない
事実9: あの外資系小売り企業は錆無くない
事実10: もしも「言い捨てない」ものがあるとすればあの外資系小売り企業はプロヴァンス料理だということはないしまた錆無いということはない
事実11: もし仮にとあるものが見過ごし難くないとするとこの自己開示は移り易くないしその上析出するということはない
事実12: 「言い捨てる」物はある
事実13: 仮に「昼夜逆転しない」物があるならこのチークカラーは格好悪くなくてまたそれは錆無くない

仮説: あの外資系小売り企業はプロヴァンス料理である
1. 事実6と事実10から、推論1: "あの外資系小売り企業はプロヴァンス料理でなくて錆無くない"が導かれる
2. 推論1から、仮説が否定される

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