そのＨＵＢはとろ臭くない
fact1: そのＨＵＢは転勤するかまたは儚し fact2: そのＨＵＢは儚し fact3: もし仮にそのＨＵＢが溶け込めるならこのＣＰＵパワーは儚し fact4: もし仮になんらかの物が狙い難いということはないならそれは走り抜かない fact5: とあるものが転勤しないかもしくはそれは儚しかまたはどちらもであるなら溶け込めるということはない fact6: もしそのＨＵＢが走り抜かないとしたらそれは逆巻かないし各種控除でない fact7: もしも恨めしいものはアルスでないならばそれは狙い難くない fact8: もしとある物が転勤しないとしたら溶け込めない fact9: もしも何かは逆巻かないしさらに各種控除だということはないならそれは先進諸国間でない fact10: 儚しものは転勤する fact11: このサイクリックはとろ臭い fact12: もしもなにがしかの物が先進諸国間でないとすればとろ臭いしおまけにそれは溶け込める fact13: そのＨＵＢが溶け込めるということはないとしたらとろ臭い fact14: もしもそのＨＵＢが転勤しないとすれば溶け込めない fact15: そのＨＵＢが握り易いとしたらそれは恨めしいし加えてそれはアルスでない fact16: 「「何かは逆巻かないが先進諸国間である」ということは本当だ」ということは本当でないとすれば溶け込める fact17: 「「Ｃ点だ」ということは本当な」ものはある fact18: 何らかのものは溶け込めるとすると「それは転勤しなくて加えて儚しない」ということは誤っている
fact2 -> int1: そのＨＵＢは転勤しないか儚し; fact5 -> int2: 「もし仮にそのＨＵＢが転勤しないかあるいは儚しか両方ならばそのＨＵＢは溶け込めない」ということは真実だ; int1 & int2 -> int3: そのＨＵＢは溶け込めるということはない; int3 & fact13 -> hypothesis;
このＣＰＵパワーは転勤する
fact19 -> int4: もしもこのＣＰＵパワーが儚しならそれは転勤する; fact20 -> int5: もしそのＨＵＢは先進諸国間でないならばそれはとろ臭いし溶け込める; fact25 -> int6: そのＨＵＢが逆巻かなくて加えて各種控除でないとすると「それは先進諸国間でない」ということは嘘でない; fact27 -> int7: もし仮にそのＨＵＢが狙い難くないならそれは走り抜かない; fact22 -> int8: もしそのＨＵＢは恨めしいがアルスでないなら狙い難くない;
$facts$ = fact1: そのＨＵＢは転勤するかまたは儚し fact2: そのＨＵＢは儚し fact3: もし仮にそのＨＵＢが溶け込めるならこのＣＰＵパワーは儚し fact4: もし仮になんらかの物が狙い難いということはないならそれは走り抜かない fact5: とあるものが転勤しないかもしくはそれは儚しかまたはどちらもであるなら溶け込めるということはない fact6: もしそのＨＵＢが走り抜かないとしたらそれは逆巻かないし各種控除でない fact7: もしも恨めしいものはアルスでないならばそれは狙い難くない fact8: もしとある物が転勤しないとしたら溶け込めない fact9: もしも何かは逆巻かないしさらに各種控除だということはないならそれは先進諸国間でない fact10: 儚しものは転勤する fact11: このサイクリックはとろ臭い fact12: もしもなにがしかの物が先進諸国間でないとすればとろ臭いしおまけにそれは溶け込める fact13: そのＨＵＢが溶け込めるということはないとしたらとろ臭い fact14: もしもそのＨＵＢが転勤しないとすれば溶け込めない fact15: そのＨＵＢが握り易いとしたらそれは恨めしいし加えてそれはアルスでない fact16: 「「何かは逆巻かないが先進諸国間である」ということは本当だ」ということは本当でないとすれば溶け込める fact17: 「「Ｃ点だ」ということは本当な」ものはある fact18: 何らかのものは溶け込めるとすると「それは転勤しなくて加えて儚しない」ということは誤っている ; $hypothesis$ = そのＨＵＢはとろ臭くない ; $proof$ = 
fact2 -> int1: そのＨＵＢは転勤しないか儚し; fact5 -> int2: 「もし仮にそのＨＵＢが転勤しないかあるいは儚しか両方ならばそのＨＵＢは溶け込めない」ということは真実だ; int1 & int2 -> int3: そのＨＵＢは溶け込めるということはない; int3 & fact13 -> hypothesis; __DISPROVED__
事実1: そのＨＵＢは転勤するかまたは儚し
事実2: そのＨＵＢは儚し
事実3: もし仮にそのＨＵＢが溶け込めるならこのＣＰＵパワーは儚し
事実4: もし仮になんらかの物が狙い難いということはないならそれは走り抜かない
事実5: とあるものが転勤しないかもしくはそれは儚しかまたはどちらもであるなら溶け込めるということはない
事実6: もしそのＨＵＢが走り抜かないとしたらそれは逆巻かないし各種控除でない
事実7: もしも恨めしいものはアルスでないならばそれは狙い難くない
事実8: もしとある物が転勤しないとしたら溶け込めない
事実9: もしも何かは逆巻かないしさらに各種控除だということはないならそれは先進諸国間でない
事実10: 儚しものは転勤する
事実11: このサイクリックはとろ臭い
事実12: もしもなにがしかの物が先進諸国間でないとすればとろ臭いしおまけにそれは溶け込める
事実13: そのＨＵＢが溶け込めるということはないとしたらとろ臭い
事実14: もしもそのＨＵＢが転勤しないとすれば溶け込めない
事実15: そのＨＵＢが握り易いとしたらそれは恨めしいし加えてそれはアルスでない
事実16: 「「何かは逆巻かないが先進諸国間である」ということは本当だ」ということは本当でないとすれば溶け込める
事実17: 「「Ｃ点だ」ということは本当な」ものはある
事実18: 何らかのものは溶け込めるとすると「それは転勤しなくて加えて儚しない」ということは誤っている

仮説: そのＨＵＢはとろ臭くない
1. 事実2から、推論1: "そのＨＵＢは転勤しないか儚し"が導かれる
2. 事実5から、推論2: "「もし仮にそのＨＵＢが転勤しないかあるいは儚しか両方ならばそのＨＵＢは溶け込めない」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "そのＨＵＢは溶け込めるということはない"が導かれる
4. 推論3と事実13から、仮説が否定される

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