「もし仮に「運び易い」ということは本当だとしたら新店舗でない」物はある
fact1: もしこのイメージングプレートはけばけばしいということはないが運び易いなら「それは新店舗だ」ということは本当だ fact2: この貨幣市場は捨て難くない fact3: 仮にこのイメージングプレートが運び易いとすれば新店舗である fact4: もしあのダッチオーブンが捨て難いということはない一方で一揃いならこの薬品名は乾き易くない fact5: けばけばしくない物が運び易いとしたらそれは新店舗でない fact6: このイメージングプレートは新店舗だ fact7: このイメージングプレートは捨て難くない fact8: もし「「この薬品名は西洋料理であるかそれは乾き易くないかもしくはどちらもだ」ということは成り立たない」ということは成り立てばけばけばしくない fact9: もしもこの薬品名は乾き易くないとすれば「このイメージングプレートは西洋料理であるか結合し易くないかまたは両方ともだ」ということは誤りである fact10: もしこの薬品名は乾き易いということはないとすれば「このイメージングプレートは結合し易い」ということは成り立つ fact11: もし仮にけばけばしいということはないものが運び易いとするとそれは新店舗だ fact12: あのダッチオーブンは捨て難くないしさらに一揃いでない fact13: 仮に「このイメージングプレートは西洋料理であるかもしくは結合し易くないかあるいは両方ともである」ということは誤っているとすればそれはけばけばしくない fact14: もしもあのダッチオーブンは結合し易いということはないとしたら「「このイメージングプレートは西洋料理であるかそれは一揃いでない」ということは事実である」ということは偽だ fact15: 仮にあのダッチオーブンが捨て難くないし一揃いだということはないとしたらこの薬品名は乾き易いということはない fact16: あのダッチオーブンが捨て難い一方でそれが一揃いでないならこの薬品名は乾き易くない fact17: 仮に運び易くないものは新店舗であるとすればそれは捨て難くない fact18: このイメージングプレートは結合し易い fact19: この薬品名は一揃いである fact20: 「もしも運び易いとすれば新店舗な」ものはある fact21: 仮に「このイメージングプレートは西洋料理であるかそれは結合し易いかもしくは両方ともである」ということは確かでないとしたらそれはけばけばしくない fact22: もし仮に何らかのものが西洋料理でないがそれは一揃いであるとするとそれは結合し易くない
fact15 & fact12 -> int1: この薬品名は乾き易くない; int1 & fact9 -> int2: 「このイメージングプレートは西洋料理であるかもしくはそれは結合し易くないかまたは両方ともである」ということは正しくない; int2 & fact13 -> int3: このイメージングプレートはけばけばしくない; void -> assump1: 以下のように仮定する。「このイメージングプレートは運び易い」ということは本当だ; int3 & assump1 -> int4: このイメージングプレートはけばけばしいということはないけれど運び易い; fact5 -> int5: このイメージングプレートはけばけばしくないがしかし運び易いとすれば新店舗でない; int4 & int5 -> int6: このイメージングプレートは新店舗でない; [assump1] & int6 -> int7: このイメージングプレートが運び易いとすれば新店舗でない; int7 -> hypothesis;
$facts$ = fact1: もしこのイメージングプレートはけばけばしいということはないが運び易いなら「それは新店舗だ」ということは本当だ fact2: この貨幣市場は捨て難くない fact3: 仮にこのイメージングプレートが運び易いとすれば新店舗である fact4: もしあのダッチオーブンが捨て難いということはない一方で一揃いならこの薬品名は乾き易くない fact5: けばけばしくない物が運び易いとしたらそれは新店舗でない fact6: このイメージングプレートは新店舗だ fact7: このイメージングプレートは捨て難くない fact8: もし「「この薬品名は西洋料理であるかそれは乾き易くないかもしくはどちらもだ」ということは成り立たない」ということは成り立てばけばけばしくない fact9: もしもこの薬品名は乾き易くないとすれば「このイメージングプレートは西洋料理であるか結合し易くないかまたは両方ともだ」ということは誤りである fact10: もしこの薬品名は乾き易いということはないとすれば「このイメージングプレートは結合し易い」ということは成り立つ fact11: もし仮にけばけばしいということはないものが運び易いとするとそれは新店舗だ fact12: あのダッチオーブンは捨て難くないしさらに一揃いでない fact13: 仮に「このイメージングプレートは西洋料理であるかもしくは結合し易くないかあるいは両方ともである」ということは誤っているとすればそれはけばけばしくない fact14: もしもあのダッチオーブンは結合し易いということはないとしたら「「このイメージングプレートは西洋料理であるかそれは一揃いでない」ということは事実である」ということは偽だ fact15: 仮にあのダッチオーブンが捨て難くないし一揃いだということはないとしたらこの薬品名は乾き易いということはない fact16: あのダッチオーブンが捨て難い一方でそれが一揃いでないならこの薬品名は乾き易くない fact17: 仮に運び易くないものは新店舗であるとすればそれは捨て難くない fact18: このイメージングプレートは結合し易い fact19: この薬品名は一揃いである fact20: 「もしも運び易いとすれば新店舗な」ものはある fact21: 仮に「このイメージングプレートは西洋料理であるかそれは結合し易いかもしくは両方ともである」ということは確かでないとしたらそれはけばけばしくない fact22: もし仮に何らかのものが西洋料理でないがそれは一揃いであるとするとそれは結合し易くない ; $hypothesis$ = 「もし仮に「運び易い」ということは本当だとしたら新店舗でない」物はある ; $proof$ = 
fact15 & fact12 -> int1: この薬品名は乾き易くない; int1 & fact9 -> int2: 「このイメージングプレートは西洋料理であるかもしくはそれは結合し易くないかまたは両方ともである」ということは正しくない; int2 & fact13 -> int3: このイメージングプレートはけばけばしくない; void -> assump1: 以下のように仮定する。「このイメージングプレートは運び易い」ということは本当だ; int3 & assump1 -> int4: このイメージングプレートはけばけばしいということはないけれど運び易い; fact5 -> int5: このイメージングプレートはけばけばしくないがしかし運び易いとすれば新店舗でない; int4 & int5 -> int6: このイメージングプレートは新店舗でない; [assump1] & int6 -> int7: このイメージングプレートが運び易いとすれば新店舗でない; int7 -> hypothesis; __PROVED__
事実1: もしこのイメージングプレートはけばけばしいということはないが運び易いなら「それは新店舗だ」ということは本当だ
事実2: この貨幣市場は捨て難くない
事実3: 仮にこのイメージングプレートが運び易いとすれば新店舗である
事実4: もしあのダッチオーブンが捨て難いということはない一方で一揃いならこの薬品名は乾き易くない
事実5: けばけばしくない物が運び易いとしたらそれは新店舗でない
事実6: このイメージングプレートは新店舗だ
事実7: このイメージングプレートは捨て難くない
事実8: もし「「この薬品名は西洋料理であるかそれは乾き易くないかもしくはどちらもだ」ということは成り立たない」ということは成り立てばけばけばしくない
事実9: もしもこの薬品名は乾き易くないとすれば「このイメージングプレートは西洋料理であるか結合し易くないかまたは両方ともだ」ということは誤りである
事実10: もしこの薬品名は乾き易いということはないとすれば「このイメージングプレートは結合し易い」ということは成り立つ
事実11: もし仮にけばけばしいということはないものが運び易いとするとそれは新店舗だ
事実12: あのダッチオーブンは捨て難くないしさらに一揃いでない
事実13: 仮に「このイメージングプレートは西洋料理であるかもしくは結合し易くないかあるいは両方ともである」ということは誤っているとすればそれはけばけばしくない
事実14: もしもあのダッチオーブンは結合し易いということはないとしたら「「このイメージングプレートは西洋料理であるかそれは一揃いでない」ということは事実である」ということは偽だ
事実15: 仮にあのダッチオーブンが捨て難くないし一揃いだということはないとしたらこの薬品名は乾き易いということはない
事実16: あのダッチオーブンが捨て難い一方でそれが一揃いでないならこの薬品名は乾き易くない
事実17: 仮に運び易くないものは新店舗であるとすればそれは捨て難くない
事実18: このイメージングプレートは結合し易い
事実19: この薬品名は一揃いである
事実20: 「もしも運び易いとすれば新店舗な」ものはある
事実21: 仮に「このイメージングプレートは西洋料理であるかそれは結合し易いかもしくは両方ともである」ということは確かでないとしたらそれはけばけばしくない
事実22: もし仮に何らかのものが西洋料理でないがそれは一揃いであるとするとそれは結合し易くない

仮説: 「もし仮に「運び易い」ということは本当だとしたら新店舗でない」物はある
1. 事実15と事実12から、推論1: "この薬品名は乾き易くない"が導かれる
2. 推論1と事実9から、推論2: "「このイメージングプレートは西洋料理であるかもしくはそれは結合し易くないかまたは両方ともである」ということは正しくない"が導かれる
3. 推論2と事実13から、推論3: "このイメージングプレートはけばけばしくない"が導かれる
4. 仮定1: 以下のように仮定する。「このイメージングプレートは運び易い」ということは本当だ
5. 推論3と仮定1から、推論4: "このイメージングプレートはけばけばしいということはないけれど運び易い"が導かれる
6. 事実5から、推論5: "このイメージングプレートはけばけばしくないがしかし運び易いとすれば新店舗でない"が導かれる
7. 推論4と推論5から、推論6: "このイメージングプレートは新店舗でない"が導かれる
8. [仮定1]と推論6から、推論7: "このイメージングプレートが運び易いとすれば新店舗でない"が導かれる
9. 推論7から、仮説が導かれる

よって、仮説が証明されました。