あの相続人がフォトセラピーだけど珍重しない
fact1: もしもとある物は珍重するとしたら「この全範囲がオンＩオンだしそれは出難い」ということは成り立たない fact2: 「そのコルチゾールは決め難い」ということは真実だ fact3: もし仮に「「オンＩオンであるしおまけに出難い」ということは誤っている」物があるとしたらあのＥ販売は窺う fact4: 心強くない物は珍重するし更にフォトセラピーだ fact5: もしも「「この全範囲は角状だということはなくておまけに明け遣らない」ということは成り立たない」ということは真実であるとすればオンＩオンだ fact6: 「この全範囲は角状でないし加えて明け遣らない」ということは嘘である fact7: このトウチーは決め難いとすれば「この表題部は移り易いかもしくはそれは溜まり易くないかどちらもだ」ということは嘘である fact8: あの相続人はフォトセラピーだ fact9: 仮にそのコルチゾールが決め難いとするとこのトウチーは決め難い fact10: 仮にこの全範囲が出難いならばそれは珍重する fact11: もし仮になにかはオンＩオンであるかもしくはそれが出難いとするとあの相続人は珍重しない
fact5 & fact6 -> int1: この全範囲はオンＩオンだ; int1 -> int2: この全範囲はオンＩオンであるかまたは出難い; int2 -> int3: なんらかの物はオンＩオンであるかあるいはそれは出難い; int3 & fact11 -> int4: あの相続人は珍重しない; int4 & fact8 -> hypothesis;
「「あの相続人はフォトセラピーであるけど珍重しない」ということは成り立つ」ということは成り立つということはない
$facts$ = fact1: もしもとある物は珍重するとしたら「この全範囲がオンＩオンだしそれは出難い」ということは成り立たない fact2: 「そのコルチゾールは決め難い」ということは真実だ fact3: もし仮に「「オンＩオンであるしおまけに出難い」ということは誤っている」物があるとしたらあのＥ販売は窺う fact4: 心強くない物は珍重するし更にフォトセラピーだ fact5: もしも「「この全範囲は角状だということはなくておまけに明け遣らない」ということは成り立たない」ということは真実であるとすればオンＩオンだ fact6: 「この全範囲は角状でないし加えて明け遣らない」ということは嘘である fact7: このトウチーは決め難いとすれば「この表題部は移り易いかもしくはそれは溜まり易くないかどちらもだ」ということは嘘である fact8: あの相続人はフォトセラピーだ fact9: 仮にそのコルチゾールが決め難いとするとこのトウチーは決め難い fact10: 仮にこの全範囲が出難いならばそれは珍重する fact11: もし仮になにかはオンＩオンであるかもしくはそれが出難いとするとあの相続人は珍重しない ; $hypothesis$ = あの相続人がフォトセラピーだけど珍重しない ; $proof$ = 
fact5 & fact6 -> int1: この全範囲はオンＩオンだ; int1 -> int2: この全範囲はオンＩオンであるかまたは出難い; int2 -> int3: なんらかの物はオンＩオンであるかあるいはそれは出難い; int3 & fact11 -> int4: あの相続人は珍重しない; int4 & fact8 -> hypothesis; __PROVED__
事実1: もしもとある物は珍重するとしたら「この全範囲がオンＩオンだしそれは出難い」ということは成り立たない
事実2: 「そのコルチゾールは決め難い」ということは真実だ
事実3: もし仮に「「オンＩオンであるしおまけに出難い」ということは誤っている」物があるとしたらあのＥ販売は窺う
事実4: 心強くない物は珍重するし更にフォトセラピーだ
事実5: もしも「「この全範囲は角状だということはなくておまけに明け遣らない」ということは成り立たない」ということは真実であるとすればオンＩオンだ
事実6: 「この全範囲は角状でないし加えて明け遣らない」ということは嘘である
事実7: このトウチーは決め難いとすれば「この表題部は移り易いかもしくはそれは溜まり易くないかどちらもだ」ということは嘘である
事実8: あの相続人はフォトセラピーだ
事実9: 仮にそのコルチゾールが決め難いとするとこのトウチーは決め難い
事実10: 仮にこの全範囲が出難いならばそれは珍重する
事実11: もし仮になにかはオンＩオンであるかもしくはそれが出難いとするとあの相続人は珍重しない

仮説: あの相続人がフォトセラピーだけど珍重しない
1. 事実5と事実6から、推論1: "この全範囲はオンＩオンだ"が導かれる
2. 推論1から、推論2: "この全範囲はオンＩオンであるかまたは出難い"が導かれる
3. 推論2から、推論3: "なんらかの物はオンＩオンであるかあるいはそれは出難い"が導かれる
4. 推論3と事実11から、推論4: "あの相続人は珍重しない"が導かれる
5. 推論4と事実8から、仮説が導かれる

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