「この御内儀さんは連作するかもしくは言い出し難いかあるいは両方だ」ということは偽である
fact1: このトラッカーはクリアデータであるしそれにむず痒い fact2: もし仮に何かは骨移植でないとしたらそれは言い出し難くない fact3: 仮に「考え難い」ものがあるならこの女性学は月曜日でない fact4: 何かは考え難くないとすると「それはむず痒いかまたは言い出し難い」ということは成り立つということはない fact5: もしもこのトラッカーが成功し易いしそれにそれがクリアデータだとしたらこの女性学は訓読みしない fact6: 仮になんらかの物は骨移植でないなら「連作するかあるいはそれは言い出し難いかもしくはどちらもだ」ということは本当でない fact7: もしもこの御内儀さんは骨移植でないとしたら「それは言い出し難くない」ということは真実である fact8: 仮にこの御内儀さんは月曜日であるならば骨移植だということはない fact9: もしもこの女性学は訓読みしないとしたら「この御内儀さんは考え難くないし更に月曜日でない」ということは嘘である fact10: もしもある物は通常必要でないとしたら連作するししかも成功し易い fact11: もしも「なにがしかの物は考え難くないしその上月曜日でない」ということは成り立たないとしたら骨移植でない fact12: 「むず痒い」物はある fact13: このトラッカーは連作しない fact14: もし仮に「月曜日でない」ものはあるなら「このトラッカーは訓読みするしそれにクリアデータである」ということは確かだということはない fact15: この女性学は訓読みしないとしたら「この御内儀さんは考え難くないけど月曜日だ」ということは偽である fact16: 仮に「むず痒い」物があればこの回復後は骨移植であるかむず痒いかまたはどちらもだ fact17: もしもなにがしかのものが月曜日だとするとそれは骨移植でない fact18: 「もしもなにがしかの物は通常必要でないならば「連作するかあるいはクリアデータだ」ということは成り立たない」ということは真実だ fact19: このトラッカーは成功し易いしそれに通常必要だ fact20: このトラッカーはむず痒い fact21: この御内儀さんは言い出し難くない fact22: このトラッカーは通常必要だ fact23: 「この御内儀さんは考え難くないけれど月曜日である」ということは事実と異なる fact24: もしこの回復後がむず痒いなら考え難い
fact19 -> int1: このトラッカーは成功し易い; fact1 -> int2: このトラッカーはクリアデータだ; int1 & int2 -> int3: このトラッカーは成功し易いしさらにクリアデータである; int3 & fact5 -> int4: この女性学は訓読みしない; int4 & fact9 -> int5: 「この御内儀さんは考え難くないし更に月曜日でない」ということは成り立たない; fact11 -> int6: 仮に「この御内儀さんは考え難くなくて更に月曜日でない」ということは確かでないとすれば骨移植でない; int5 & int6 -> int7: 「この御内儀さんは骨移植だということはない」ということは本当だ; fact6 -> int8: もしもこの御内儀さんは骨移植でないとすると「連作するかまたは言い出し難いかまたはどちらもである」ということは誤っている; int7 & int8 -> hypothesis;
この御内儀さんは連作するかあるいはそれは言い出し難い
fact29 -> int9: この御内儀さんは通常必要であるということはないなら連作するし成功し易い; fact30 & fact26 -> int10: この回復後は骨移植であるかそれはむず痒いかどちらもだ;
$facts$ = fact1: このトラッカーはクリアデータであるしそれにむず痒い fact2: もし仮に何かは骨移植でないとしたらそれは言い出し難くない fact3: 仮に「考え難い」ものがあるならこの女性学は月曜日でない fact4: 何かは考え難くないとすると「それはむず痒いかまたは言い出し難い」ということは成り立つということはない fact5: もしもこのトラッカーが成功し易いしそれにそれがクリアデータだとしたらこの女性学は訓読みしない fact6: 仮になんらかの物は骨移植でないなら「連作するかあるいはそれは言い出し難いかもしくはどちらもだ」ということは本当でない fact7: もしもこの御内儀さんは骨移植でないとしたら「それは言い出し難くない」ということは真実である fact8: 仮にこの御内儀さんは月曜日であるならば骨移植だということはない fact9: もしもこの女性学は訓読みしないとしたら「この御内儀さんは考え難くないし更に月曜日でない」ということは嘘である fact10: もしもある物は通常必要でないとしたら連作するししかも成功し易い fact11: もしも「なにがしかの物は考え難くないしその上月曜日でない」ということは成り立たないとしたら骨移植でない fact12: 「むず痒い」物はある fact13: このトラッカーは連作しない fact14: もし仮に「月曜日でない」ものはあるなら「このトラッカーは訓読みするしそれにクリアデータである」ということは確かだということはない fact15: この女性学は訓読みしないとしたら「この御内儀さんは考え難くないけど月曜日だ」ということは偽である fact16: 仮に「むず痒い」物があればこの回復後は骨移植であるかむず痒いかまたはどちらもだ fact17: もしもなにがしかのものが月曜日だとするとそれは骨移植でない fact18: 「もしもなにがしかの物は通常必要でないならば「連作するかあるいはクリアデータだ」ということは成り立たない」ということは真実だ fact19: このトラッカーは成功し易いしそれに通常必要だ fact20: このトラッカーはむず痒い fact21: この御内儀さんは言い出し難くない fact22: このトラッカーは通常必要だ fact23: 「この御内儀さんは考え難くないけれど月曜日である」ということは事実と異なる fact24: もしこの回復後がむず痒いなら考え難い ; $hypothesis$ = 「この御内儀さんは連作するかもしくは言い出し難いかあるいは両方だ」ということは偽である ; $proof$ = 
fact19 -> int1: このトラッカーは成功し易い; fact1 -> int2: このトラッカーはクリアデータだ; int1 & int2 -> int3: このトラッカーは成功し易いしさらにクリアデータである; int3 & fact5 -> int4: この女性学は訓読みしない; int4 & fact9 -> int5: 「この御内儀さんは考え難くないし更に月曜日でない」ということは成り立たない; fact11 -> int6: 仮に「この御内儀さんは考え難くなくて更に月曜日でない」ということは確かでないとすれば骨移植でない; int5 & int6 -> int7: 「この御内儀さんは骨移植だということはない」ということは本当だ; fact6 -> int8: もしもこの御内儀さんは骨移植でないとすると「連作するかまたは言い出し難いかまたはどちらもである」ということは誤っている; int7 & int8 -> hypothesis; __PROVED__
事実1: このトラッカーはクリアデータであるしそれにむず痒い
事実2: もし仮に何かは骨移植でないとしたらそれは言い出し難くない
事実3: 仮に「考え難い」ものがあるならこの女性学は月曜日でない
事実4: 何かは考え難くないとすると「それはむず痒いかまたは言い出し難い」ということは成り立つということはない
事実5: もしもこのトラッカーが成功し易いしそれにそれがクリアデータだとしたらこの女性学は訓読みしない
事実6: 仮になんらかの物は骨移植でないなら「連作するかあるいはそれは言い出し難いかもしくはどちらもだ」ということは本当でない
事実7: もしもこの御内儀さんは骨移植でないとしたら「それは言い出し難くない」ということは真実である
事実8: 仮にこの御内儀さんは月曜日であるならば骨移植だということはない
事実9: もしもこの女性学は訓読みしないとしたら「この御内儀さんは考え難くないし更に月曜日でない」ということは嘘である
事実10: もしもある物は通常必要でないとしたら連作するししかも成功し易い
事実11: もしも「なにがしかの物は考え難くないしその上月曜日でない」ということは成り立たないとしたら骨移植でない
事実12: 「むず痒い」物はある
事実13: このトラッカーは連作しない
事実14: もし仮に「月曜日でない」ものはあるなら「このトラッカーは訓読みするしそれにクリアデータである」ということは確かだということはない
事実15: この女性学は訓読みしないとしたら「この御内儀さんは考え難くないけど月曜日だ」ということは偽である
事実16: 仮に「むず痒い」物があればこの回復後は骨移植であるかむず痒いかまたはどちらもだ
事実17: もしもなにがしかのものが月曜日だとするとそれは骨移植でない
事実18: 「もしもなにがしかの物は通常必要でないならば「連作するかあるいはクリアデータだ」ということは成り立たない」ということは真実だ
事実19: このトラッカーは成功し易いしそれに通常必要だ
事実20: このトラッカーはむず痒い
事実21: この御内儀さんは言い出し難くない
事実22: このトラッカーは通常必要だ
事実23: 「この御内儀さんは考え難くないけれど月曜日である」ということは事実と異なる
事実24: もしこの回復後がむず痒いなら考え難い

仮説: 「この御内儀さんは連作するかもしくは言い出し難いかあるいは両方だ」ということは偽である
1. 事実19から、推論1: "このトラッカーは成功し易い"が導かれる
2. 事実1から、推論2: "このトラッカーはクリアデータだ"が導かれる
3. 推論1と推論2から、推論3: "このトラッカーは成功し易いしさらにクリアデータである"が導かれる
4. 推論3と事実5から、推論4: "この女性学は訓読みしない"が導かれる
5. 推論4と事実9から、推論5: "「この御内儀さんは考え難くないし更に月曜日でない」ということは成り立たない"が導かれる
6. 事実11から、推論6: "仮に「この御内儀さんは考え難くなくて更に月曜日でない」ということは確かでないとすれば骨移植でない"が導かれる
7. 推論5と推論6から、推論7: "「この御内儀さんは骨移植だということはない」ということは本当だ"が導かれる
8. 事実6から、推論8: "もしもこの御内儀さんは骨移植でないとすると「連作するかまたは言い出し難いかまたはどちらもである」ということは誤っている"が導かれる
9. 推論7と推論8から、仮説が導かれる

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