この細胞診断はかどわかさない
fact1: もし仮にそのポーチが飲ますということはないとするとこの細胞診断は三号営業であるし発生し難い fact2: 仮にその四十前後は笑い出さないとしたら「着想しないか飲まさないかどちらもだ」ということは成り立たない fact3: その四十前後は関知しない fact4: この細胞診断は笑い出すかあるいは届き難いということはないかまたは両方である fact5: もし仮になにがしかのものがかどわかさないならばそれは三号営業であるし発生し難い fact6: 「「発生し難くないけれど鋳造する」ということは間違いである」物はある fact7: 「「鋳造しないが発生し難い」ということは成り立つということはない」ものはある fact8: 「「鋳造するし関知しない」ということは嘘である」ものはある fact9: 「この兄は鋳造しないししかも関知するということはない」ということは誤っている fact10: 「「三号営業でまた鋳造しない」ということは誤りな」ものはある fact11: 仮にそのポーチは三号営業でないならば「「その四十前後は発生し難くないし三号営業でない」ということは事実である」ということは事実と異なる fact12: もしそのポーチは三号営業であるならばそれは他人事だ fact13: もし仮に「なんらかの物は着想するけどそれは笑い出さない」ということは偽なら飲まさない fact14: 「この細胞診断は笑い出す」ということは成り立つとしたら「その四十前後は笑い出すということはない」ということは誤っていない fact15: もし仮に「「鋳造しなくてまた関知しない」ということは事実と異なる」物があるとすればあのポーチは三号営業でない fact16: 仮に「その四十前後は発生し難いということはないし更に三号営業だということはない」ということは本当でないとするとこの細胞診断はかどわかさない
fact9 -> int1: 「「鋳造しないしさらに関知しない」ということは事実と異なる」ものはある; int1 & fact15 -> int2: そのポーチは三号営業でない; int2 & fact11 -> int3: 「その四十前後は発生し難くないしさらにそれは三号営業でない」ということは事実と異なる; int3 & fact16 -> hypothesis;
「その薄青は他人事でなくて固茹で卵でない」ということは誤っている
fact19 -> int4: そのポーチがかどわかすということはないならそれは三号営業でそれは発生し難い;
$facts$ = fact1: もし仮にそのポーチが飲ますということはないとするとこの細胞診断は三号営業であるし発生し難い fact2: 仮にその四十前後は笑い出さないとしたら「着想しないか飲まさないかどちらもだ」ということは成り立たない fact3: その四十前後は関知しない fact4: この細胞診断は笑い出すかあるいは届き難いということはないかまたは両方である fact5: もし仮になにがしかのものがかどわかさないならばそれは三号営業であるし発生し難い fact6: 「「発生し難くないけれど鋳造する」ということは間違いである」物はある fact7: 「「鋳造しないが発生し難い」ということは成り立つということはない」ものはある fact8: 「「鋳造するし関知しない」ということは嘘である」ものはある fact9: 「この兄は鋳造しないししかも関知するということはない」ということは誤っている fact10: 「「三号営業でまた鋳造しない」ということは誤りな」ものはある fact11: 仮にそのポーチは三号営業でないならば「「その四十前後は発生し難くないし三号営業でない」ということは事実である」ということは事実と異なる fact12: もしそのポーチは三号営業であるならばそれは他人事だ fact13: もし仮に「なんらかの物は着想するけどそれは笑い出さない」ということは偽なら飲まさない fact14: 「この細胞診断は笑い出す」ということは成り立つとしたら「その四十前後は笑い出すということはない」ということは誤っていない fact15: もし仮に「「鋳造しなくてまた関知しない」ということは事実と異なる」物があるとすればあのポーチは三号営業でない fact16: 仮に「その四十前後は発生し難いということはないし更に三号営業だということはない」ということは本当でないとするとこの細胞診断はかどわかさない ; $hypothesis$ = この細胞診断はかどわかさない ; $proof$ = 
fact9 -> int1: 「「鋳造しないしさらに関知しない」ということは事実と異なる」ものはある; int1 & fact15 -> int2: そのポーチは三号営業でない; int2 & fact11 -> int3: 「その四十前後は発生し難くないしさらにそれは三号営業でない」ということは事実と異なる; int3 & fact16 -> hypothesis; __PROVED__
事実1: もし仮にそのポーチが飲ますということはないとするとこの細胞診断は三号営業であるし発生し難い
事実2: 仮にその四十前後は笑い出さないとしたら「着想しないか飲まさないかどちらもだ」ということは成り立たない
事実3: その四十前後は関知しない
事実4: この細胞診断は笑い出すかあるいは届き難いということはないかまたは両方である
事実5: もし仮になにがしかのものがかどわかさないならばそれは三号営業であるし発生し難い
事実6: 「「発生し難くないけれど鋳造する」ということは間違いである」物はある
事実7: 「「鋳造しないが発生し難い」ということは成り立つということはない」ものはある
事実8: 「「鋳造するし関知しない」ということは嘘である」ものはある
事実9: 「この兄は鋳造しないししかも関知するということはない」ということは誤っている
事実10: 「「三号営業でまた鋳造しない」ということは誤りな」ものはある
事実11: 仮にそのポーチは三号営業でないならば「「その四十前後は発生し難くないし三号営業でない」ということは事実である」ということは事実と異なる
事実12: もしそのポーチは三号営業であるならばそれは他人事だ
事実13: もし仮に「なんらかの物は着想するけどそれは笑い出さない」ということは偽なら飲まさない
事実14: 「この細胞診断は笑い出す」ということは成り立つとしたら「その四十前後は笑い出すということはない」ということは誤っていない
事実15: もし仮に「「鋳造しなくてまた関知しない」ということは事実と異なる」物があるとすればあのポーチは三号営業でない
事実16: 仮に「その四十前後は発生し難いということはないし更に三号営業だということはない」ということは本当でないとするとこの細胞診断はかどわかさない

仮説: この細胞診断はかどわかさない
1. 事実9から、推論1: "「「鋳造しないしさらに関知しない」ということは事実と異なる」ものはある"が導かれる
2. 推論1と事実15から、推論2: "そのポーチは三号営業でない"が導かれる
3. 推論2と事実11から、推論3: "「その四十前後は発生し難くないしさらにそれは三号営業でない」ということは事実と異なる"が導かれる
4. 推論3と事実16から、仮説が導かれる

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