そのマイルストーンはちくちくしない一方で油っぽい
fact1: もしなんらかのものが冷え冷えする一方で処しないとすればこの作業地は読了する fact2: もしもこの作業地がＴＮＦαでないとするとその非結核性抗酸菌感染は左右され易くないかあるいは睨み付けるか両方ともだ fact3: もし仮になにかは冷え冷えするかもしくは処しないかあるいはどちらもだとすると冷え冷えする fact4: もし仮にこの作業地が左右され易くないならその非結核性抗酸菌感染はＴＮＦαでないか油っぽいかあるいはどちらもだ fact5: もしも何らかの物が冷え冷えすれば呼び戻すということはなくて更にそれは夏らしい fact6: とあるものは冷え冷えするけれど処しない fact7: この作業地はＴＮＦαであるかあるいは油っぽいかまたは両方ともである fact8: もし仮にあの再鑑定人が油っぽくないならばそのマイルストーンはちくちくしないけど油っぽい fact9: その非結核性抗酸菌感染が読了すればそれは左右され易くない fact10: 仮にこの作業地が読了するとすればそれはＴＮＦαでない fact11: このＩＴ特区は睨み付けるかそれは油っぽい fact12: もし仮にその非結核性抗酸菌感染が左右され易くないかまたは睨み付けるかもしくは両方であるとしたらあの再鑑定人は油っぽいということはない fact13: もしなにがしかの物は左右され易いとすると「それはＴＮＦαだけれど読了しない」ということは本当でない fact14: 「左右され易い」ものはある fact15: 仮に「このＩＴ特区はＴＮＦαだがしかし読了しない」ということは誤っているならそれは処しない fact16: 仮にそのマイルストーンが油っぽいということはないならばあの再鑑定人はちくちくしない
fact6 & fact1 -> int1: この作業地は読了する; int1 & fact10 -> int2: この作業地はＴＮＦαでない; int2 & fact2 -> int3: その非結核性抗酸菌感染は左右され易くないかそれは睨み付ける; int3 & fact12 -> int4: あの再鑑定人は油っぽいということはない; int4 & fact8 -> hypothesis;
このＩＴ特区は呼び戻すということはないがしかし夏らしい
fact19 -> int5: もし「このＩＴ特区は冷え冷えする」ということは事実であるとすると呼び戻さないけど夏らしい; fact20 -> int6: 仮にこのＩＴ特区が冷え冷えするかあるいはそれは処しないかあるいは両方ともだとすればそれは冷え冷えする; fact21 -> int7: もしこのＩＴ特区は左右され易いとすると「ＴＮＦαであるししかも読了しない」ということは偽である;
$facts$ = fact1: もしなんらかのものが冷え冷えする一方で処しないとすればこの作業地は読了する fact2: もしもこの作業地がＴＮＦαでないとするとその非結核性抗酸菌感染は左右され易くないかあるいは睨み付けるか両方ともだ fact3: もし仮になにかは冷え冷えするかもしくは処しないかあるいはどちらもだとすると冷え冷えする fact4: もし仮にこの作業地が左右され易くないならその非結核性抗酸菌感染はＴＮＦαでないか油っぽいかあるいはどちらもだ fact5: もしも何らかの物が冷え冷えすれば呼び戻すということはなくて更にそれは夏らしい fact6: とあるものは冷え冷えするけれど処しない fact7: この作業地はＴＮＦαであるかあるいは油っぽいかまたは両方ともである fact8: もし仮にあの再鑑定人が油っぽくないならばそのマイルストーンはちくちくしないけど油っぽい fact9: その非結核性抗酸菌感染が読了すればそれは左右され易くない fact10: 仮にこの作業地が読了するとすればそれはＴＮＦαでない fact11: このＩＴ特区は睨み付けるかそれは油っぽい fact12: もし仮にその非結核性抗酸菌感染が左右され易くないかまたは睨み付けるかもしくは両方であるとしたらあの再鑑定人は油っぽいということはない fact13: もしなにがしかの物は左右され易いとすると「それはＴＮＦαだけれど読了しない」ということは本当でない fact14: 「左右され易い」ものはある fact15: 仮に「このＩＴ特区はＴＮＦαだがしかし読了しない」ということは誤っているならそれは処しない fact16: 仮にそのマイルストーンが油っぽいということはないならばあの再鑑定人はちくちくしない ; $hypothesis$ = そのマイルストーンはちくちくしない一方で油っぽい ; $proof$ = 
fact6 & fact1 -> int1: この作業地は読了する; int1 & fact10 -> int2: この作業地はＴＮＦαでない; int2 & fact2 -> int3: その非結核性抗酸菌感染は左右され易くないかそれは睨み付ける; int3 & fact12 -> int4: あの再鑑定人は油っぽいということはない; int4 & fact8 -> hypothesis; __PROVED__
事実1: もしなんらかのものが冷え冷えする一方で処しないとすればこの作業地は読了する
事実2: もしもこの作業地がＴＮＦαでないとするとその非結核性抗酸菌感染は左右され易くないかあるいは睨み付けるか両方ともだ
事実3: もし仮になにかは冷え冷えするかもしくは処しないかあるいはどちらもだとすると冷え冷えする
事実4: もし仮にこの作業地が左右され易くないならその非結核性抗酸菌感染はＴＮＦαでないか油っぽいかあるいはどちらもだ
事実5: もしも何らかの物が冷え冷えすれば呼び戻すということはなくて更にそれは夏らしい
事実6: とあるものは冷え冷えするけれど処しない
事実7: この作業地はＴＮＦαであるかあるいは油っぽいかまたは両方ともである
事実8: もし仮にあの再鑑定人が油っぽくないならばそのマイルストーンはちくちくしないけど油っぽい
事実9: その非結核性抗酸菌感染が読了すればそれは左右され易くない
事実10: 仮にこの作業地が読了するとすればそれはＴＮＦαでない
事実11: このＩＴ特区は睨み付けるかそれは油っぽい
事実12: もし仮にその非結核性抗酸菌感染が左右され易くないかまたは睨み付けるかもしくは両方であるとしたらあの再鑑定人は油っぽいということはない
事実13: もしなにがしかの物は左右され易いとすると「それはＴＮＦαだけれど読了しない」ということは本当でない
事実14: 「左右され易い」ものはある
事実15: 仮に「このＩＴ特区はＴＮＦαだがしかし読了しない」ということは誤っているならそれは処しない
事実16: 仮にそのマイルストーンが油っぽいということはないならばあの再鑑定人はちくちくしない

仮説: そのマイルストーンはちくちくしない一方で油っぽい
1. 事実6と事実1から、推論1: "この作業地は読了する"が導かれる
2. 推論1と事実10から、推論2: "この作業地はＴＮＦαでない"が導かれる
3. 推論2と事実2から、推論3: "その非結核性抗酸菌感染は左右され易くないかそれは睨み付ける"が導かれる
4. 推論3と事実12から、推論4: "あの再鑑定人は油っぽいということはない"が導かれる
5. 推論4と事実8から、仮説が導かれる

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