「この値下げは読み易いということはない」ということは成り立つ
fact1: 憎々しくない物は見られ易いし初期画面である fact2: もしこの解毒剤がデザイングリッドだとしたらこの値下げは憎々しくないかまたは初期画面であるかもしくは両方ともだ fact3: あるものは初期画面でない fact4: 「もしもこの値下げは輸入申告者だとしたら「この値下げはデザイングリッドでないけれど憎々しい」ということは嘘だ」ということは真実である fact5: とあるものは見られ易い fact6: この値下げは見られ易い fact7: 「見られ易くない」物はある fact8: 仮にあの枸櫞酸が初期画面であるならこの値下げは読み易い fact9: 仮になにかは茹で上がらないとすればデザイングリッドだしかつ輸入申告者である fact10: もしもあの枸櫞酸は対するなら「この値下げは輸入申告者である」ということは成り立つ fact11: もし仮に「なんらかのものはデザイングリッドでない一方で憎々しい」ということは誤っているとすれば「憎々しいということはない」ということは真実だ fact12: あの枸櫞酸は対するかあるいは輸入申告者でないかもしくはどちらもである fact13: もし仮にこの解毒剤が対するということはないけれどそれがローテーションするとしたらそれは茹で上がるということはない fact14: もしもあの枸櫞酸が見られ易いとすればこのＣオンは読み易い fact15: 何かは見られ易いということはないとしたらあの枸櫞酸は初期画面だ
fact7 & fact15 -> int1: あの枸櫞酸は初期画面だ; int1 & fact8 -> hypothesis;
このＣオンは読み易い
fact18 -> int2: この解毒剤が茹で上がらないとすればデザイングリッドであるしそれは輸入申告者だ;
$facts$ = fact1: 憎々しくない物は見られ易いし初期画面である fact2: もしこの解毒剤がデザイングリッドだとしたらこの値下げは憎々しくないかまたは初期画面であるかもしくは両方ともだ fact3: あるものは初期画面でない fact4: 「もしもこの値下げは輸入申告者だとしたら「この値下げはデザイングリッドでないけれど憎々しい」ということは嘘だ」ということは真実である fact5: とあるものは見られ易い fact6: この値下げは見られ易い fact7: 「見られ易くない」物はある fact8: 仮にあの枸櫞酸が初期画面であるならこの値下げは読み易い fact9: 仮になにかは茹で上がらないとすればデザイングリッドだしかつ輸入申告者である fact10: もしもあの枸櫞酸は対するなら「この値下げは輸入申告者である」ということは成り立つ fact11: もし仮に「なんらかのものはデザイングリッドでない一方で憎々しい」ということは誤っているとすれば「憎々しいということはない」ということは真実だ fact12: あの枸櫞酸は対するかあるいは輸入申告者でないかもしくはどちらもである fact13: もし仮にこの解毒剤が対するということはないけれどそれがローテーションするとしたらそれは茹で上がるということはない fact14: もしもあの枸櫞酸が見られ易いとすればこのＣオンは読み易い fact15: 何かは見られ易いということはないとしたらあの枸櫞酸は初期画面だ ; $hypothesis$ = 「この値下げは読み易いということはない」ということは成り立つ ; $proof$ = 
fact7 & fact15 -> int1: あの枸櫞酸は初期画面だ; int1 & fact8 -> hypothesis; __DISPROVED__
事実1: 憎々しくない物は見られ易いし初期画面である
事実2: もしこの解毒剤がデザイングリッドだとしたらこの値下げは憎々しくないかまたは初期画面であるかもしくは両方ともだ
事実3: あるものは初期画面でない
事実4: 「もしもこの値下げは輸入申告者だとしたら「この値下げはデザイングリッドでないけれど憎々しい」ということは嘘だ」ということは真実である
事実5: とあるものは見られ易い
事実6: この値下げは見られ易い
事実7: 「見られ易くない」物はある
事実8: 仮にあの枸櫞酸が初期画面であるならこの値下げは読み易い
事実9: 仮になにかは茹で上がらないとすればデザイングリッドだしかつ輸入申告者である
事実10: もしもあの枸櫞酸は対するなら「この値下げは輸入申告者である」ということは成り立つ
事実11: もし仮に「なんらかのものはデザイングリッドでない一方で憎々しい」ということは誤っているとすれば「憎々しいということはない」ということは真実だ
事実12: あの枸櫞酸は対するかあるいは輸入申告者でないかもしくはどちらもである
事実13: もし仮にこの解毒剤が対するということはないけれどそれがローテーションするとしたらそれは茹で上がるということはない
事実14: もしもあの枸櫞酸が見られ易いとすればこのＣオンは読み易い
事実15: 何かは見られ易いということはないとしたらあの枸櫞酸は初期画面だ

仮説: 「この値下げは読み易いということはない」ということは成り立つ
1. 事実7と事実15から、推論1: "あの枸櫞酸は初期画面だ"が導かれる
2. 推論1と事実8から、仮説が否定される

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