「もし適時開示でないならば「面会出来るかもしくはどぎついかまたは両方ともである」ということは嘘である」ものはある
fact1: もし仮にこの球茎は止めど無くないとすると「それは後らしいかあるいはどぎついかもしくはどちらもである」ということは間違っている fact2: もし「この反転項目は適時開示でない」ということは成り立つとすると面会出来ない fact3: 「もし棘突起間でないなら「密会するかもしくは致し兼ねるかまたは両方だ」ということは成り立たない」物はある fact4: もし仮にこの反転項目は入れ始めれば「適時開示であるか山積みするかあるいは両方ともだ」ということは成り立たない fact5: もしも「この反転項目は切り出さない」ということは間違いでないならば「適時開示でない」ということは真実である fact6: 「もしも「適時開示でない」ということは成り立てばどぎついということはない」ものはある fact7: 「もしも適時開示でないとすると面会出来ない」物はある fact8: 仮にとあるものは熊笹であるならば「百姓らしいかまたは円卓会議である」ということは成り立たない fact9: 「仮にいみじないならば「山積みするかあるいは袖廊であるかあるいは両方ともである」ということは間違っている」ものはある fact10: もしもこの反転項目が適時開示でないとしたら面会出来るかまたはそれはどぎつい fact11: もしもとあるものは適時開示であるということはないとしたら「面会出来るかあるいはどぎついかもしくは両方ともである」ということは間違っている
fact11 -> int1: もしこの反転項目は適時開示でないとすれば「それは面会出来るかどぎつい」ということは嘘である; int1 -> hypothesis;
$facts$ = fact1: もし仮にこの球茎は止めど無くないとすると「それは後らしいかあるいはどぎついかもしくはどちらもである」ということは間違っている fact2: もし「この反転項目は適時開示でない」ということは成り立つとすると面会出来ない fact3: 「もし棘突起間でないなら「密会するかもしくは致し兼ねるかまたは両方だ」ということは成り立たない」物はある fact4: もし仮にこの反転項目は入れ始めれば「適時開示であるか山積みするかあるいは両方ともだ」ということは成り立たない fact5: もしも「この反転項目は切り出さない」ということは間違いでないならば「適時開示でない」ということは真実である fact6: 「もしも「適時開示でない」ということは成り立てばどぎついということはない」ものはある fact7: 「もしも適時開示でないとすると面会出来ない」物はある fact8: 仮にとあるものは熊笹であるならば「百姓らしいかまたは円卓会議である」ということは成り立たない fact9: 「仮にいみじないならば「山積みするかあるいは袖廊であるかあるいは両方ともである」ということは間違っている」ものはある fact10: もしもこの反転項目が適時開示でないとしたら面会出来るかまたはそれはどぎつい fact11: もしもとあるものは適時開示であるということはないとしたら「面会出来るかあるいはどぎついかもしくは両方ともである」ということは間違っている ; $hypothesis$ = 「もし適時開示でないならば「面会出来るかもしくはどぎついかまたは両方ともである」ということは嘘である」ものはある ; $proof$ = 
fact11 -> int1: もしこの反転項目は適時開示でないとすれば「それは面会出来るかどぎつい」ということは嘘である; int1 -> hypothesis; __PROVED__
事実1: もし仮にこの球茎は止めど無くないとすると「それは後らしいかあるいはどぎついかもしくはどちらもである」ということは間違っている
事実2: もし「この反転項目は適時開示でない」ということは成り立つとすると面会出来ない
事実3: 「もし棘突起間でないなら「密会するかもしくは致し兼ねるかまたは両方だ」ということは成り立たない」物はある
事実4: もし仮にこの反転項目は入れ始めれば「適時開示であるか山積みするかあるいは両方ともだ」ということは成り立たない
事実5: もしも「この反転項目は切り出さない」ということは間違いでないならば「適時開示でない」ということは真実である
事実6: 「もしも「適時開示でない」ということは成り立てばどぎついということはない」ものはある
事実7: 「もしも適時開示でないとすると面会出来ない」物はある
事実8: 仮にとあるものは熊笹であるならば「百姓らしいかまたは円卓会議である」ということは成り立たない
事実9: 「仮にいみじないならば「山積みするかあるいは袖廊であるかあるいは両方ともである」ということは間違っている」ものはある
事実10: もしもこの反転項目が適時開示でないとしたら面会出来るかまたはそれはどぎつい
事実11: もしもとあるものは適時開示であるということはないとしたら「面会出来るかあるいはどぎついかもしくは両方ともである」ということは間違っている

仮説: 「もし適時開示でないならば「面会出来るかもしくはどぎついかまたは両方ともである」ということは嘘である」ものはある
1. 事実11から、推論1: "もしこの反転項目は適時開示でないとすれば「それは面会出来るかどぎつい」ということは嘘である"が導かれる
2. 推論1から、仮説が導かれる

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