「「割れ難いとすれば半直線である」ものはある」ということは間違いである
fact1: そのハウジングはデスモンだ fact2: 仮に「何らかの物は半直線でないしさらにそれは軽ーくない」ということは偽であるならそれは割れ難い fact3: 「そのハウジングは素早い」ということは成り立つ fact4: もしもあの黒線が連用するとすればこの銅鏡は連用する fact5: もし仮にこの銅鏡が連用するとすればあのハウジングは連用する fact6: そのハウジングは賑わう fact7: 「もし仮に「この最少は連用するが申し訳程度でない」ということは事実と異なるとしたらあの黒線は連用する」ということは確かだ fact8: 仮にあの黒線は半直線でないとしたら「この銅鏡は申し訳程度であるかもしくは割れ難いかどちらもだ」ということは正しい fact9: あのかちかち山が割れ難いならば告げる fact10: あの岡豊城はし易いということはなくて犯行声明でない fact11: もし仮になにかは行李であるなら「半直線であるということはないし軽ーくない」ということは成り立たない fact12: もしも「そのハウジングは割れ難い」ということは真実であるならば申し訳程度である fact13: もしもその道路交通上がグラッセすれば割れ難い fact14: そのハウジングが割れ難いならばそれは表現し直す fact15: もし仮になにかは申し訳程度であるとするとそれは半直線だ fact16: 「もし仮にそのハウジングが連用するとするとこの最短年数は連用する」ということは成り立つ fact17: あの岡豊城はし易くないならこの鉄道会社はサウナ小屋であるかあるいは消化し易いかもしくは両方だ fact18: もしもあの日本プロマージャン連盟は割れ難いとすると「それは付け狙う」ということは真実だ fact19: もし仮にそのハウジングが割れ難いとすれば鑑賞し易い fact20: もしそのハウジングが鑑賞し易いならば出掛かる
void -> assump1: 以下のように仮定する。「そのハウジングは割れ難い」ということは成り立つ; fact12 & assump1 -> int1: そのハウジングは申し訳程度である; fact15 -> int2: もしそのハウジングは申し訳程度であるならばそれは半直線だ; int1 & int2 -> int3: そのハウジングは半直線だ; [assump1] & int3 -> int4: もし仮にそのハウジングが割れ難いとすれば半直線だ; int4 -> hypothesis;
そのハウジングは注意深い
$facts$ = fact1: そのハウジングはデスモンだ fact2: 仮に「何らかの物は半直線でないしさらにそれは軽ーくない」ということは偽であるならそれは割れ難い fact3: 「そのハウジングは素早い」ということは成り立つ fact4: もしもあの黒線が連用するとすればこの銅鏡は連用する fact5: もし仮にこの銅鏡が連用するとすればあのハウジングは連用する fact6: そのハウジングは賑わう fact7: 「もし仮に「この最少は連用するが申し訳程度でない」ということは事実と異なるとしたらあの黒線は連用する」ということは確かだ fact8: 仮にあの黒線は半直線でないとしたら「この銅鏡は申し訳程度であるかもしくは割れ難いかどちらもだ」ということは正しい fact9: あのかちかち山が割れ難いならば告げる fact10: あの岡豊城はし易いということはなくて犯行声明でない fact11: もし仮になにかは行李であるなら「半直線であるということはないし軽ーくない」ということは成り立たない fact12: もしも「そのハウジングは割れ難い」ということは真実であるならば申し訳程度である fact13: もしもその道路交通上がグラッセすれば割れ難い fact14: そのハウジングが割れ難いならばそれは表現し直す fact15: もし仮になにかは申し訳程度であるとするとそれは半直線だ fact16: 「もし仮にそのハウジングが連用するとするとこの最短年数は連用する」ということは成り立つ fact17: あの岡豊城はし易くないならこの鉄道会社はサウナ小屋であるかあるいは消化し易いかもしくは両方だ fact18: もしもあの日本プロマージャン連盟は割れ難いとすると「それは付け狙う」ということは真実だ fact19: もし仮にそのハウジングが割れ難いとすれば鑑賞し易い fact20: もしそのハウジングが鑑賞し易いならば出掛かる ; $hypothesis$ = 「「割れ難いとすれば半直線である」ものはある」ということは間違いである ; $proof$ = 
void -> assump1: 以下のように仮定する。「そのハウジングは割れ難い」ということは成り立つ; fact12 & assump1 -> int1: そのハウジングは申し訳程度である; fact15 -> int2: もしそのハウジングは申し訳程度であるならばそれは半直線だ; int1 & int2 -> int3: そのハウジングは半直線だ; [assump1] & int3 -> int4: もし仮にそのハウジングが割れ難いとすれば半直線だ; int4 -> hypothesis; __DISPROVED__
事実1: そのハウジングはデスモンだ
事実2: 仮に「何らかの物は半直線でないしさらにそれは軽ーくない」ということは偽であるならそれは割れ難い
事実3: 「そのハウジングは素早い」ということは成り立つ
事実4: もしもあの黒線が連用するとすればこの銅鏡は連用する
事実5: もし仮にこの銅鏡が連用するとすればあのハウジングは連用する
事実6: そのハウジングは賑わう
事実7: 「もし仮に「この最少は連用するが申し訳程度でない」ということは事実と異なるとしたらあの黒線は連用する」ということは確かだ
事実8: 仮にあの黒線は半直線でないとしたら「この銅鏡は申し訳程度であるかもしくは割れ難いかどちらもだ」ということは正しい
事実9: あのかちかち山が割れ難いならば告げる
事実10: あの岡豊城はし易いということはなくて犯行声明でない
事実11: もし仮になにかは行李であるなら「半直線であるということはないし軽ーくない」ということは成り立たない
事実12: もしも「そのハウジングは割れ難い」ということは真実であるならば申し訳程度である
事実13: もしもその道路交通上がグラッセすれば割れ難い
事実14: そのハウジングが割れ難いならばそれは表現し直す
事実15: もし仮になにかは申し訳程度であるとするとそれは半直線だ
事実16: 「もし仮にそのハウジングが連用するとするとこの最短年数は連用する」ということは成り立つ
事実17: あの岡豊城はし易くないならこの鉄道会社はサウナ小屋であるかあるいは消化し易いかもしくは両方だ
事実18: もしもあの日本プロマージャン連盟は割れ難いとすると「それは付け狙う」ということは真実だ
事実19: もし仮にそのハウジングが割れ難いとすれば鑑賞し易い
事実20: もしそのハウジングが鑑賞し易いならば出掛かる

仮説: 「「割れ難いとすれば半直線である」ものはある」ということは間違いである
1. 仮定1: 以下のように仮定する。「そのハウジングは割れ難い」ということは成り立つ
2. 事実12と仮定1から、推論1: "そのハウジングは申し訳程度である"が導かれる
3. 事実15から、推論2: "もしそのハウジングは申し訳程度であるならばそれは半直線だ"が導かれる
4. 推論1と推論2から、推論3: "そのハウジングは半直線だ"が導かれる
5. [仮定1]と推論3から、推論4: "もし仮にそのハウジングが割れ難いとすれば半直線だ"が導かれる
6. 推論4から、仮説が否定される

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