「そのリンドは回覧するけど生成し易くない」ということは確かでない
fact1: もし仮にこのファセット・アナリシスは御若くないとしたら「その元締めは御若くてそれにそれは回覧する」ということは成り立たない fact2: もし仮にその元締めが御若いとするとこの大赦令は姉夫婦である fact3: 「その元締めは各部分であるしデータ保護である」ということは事実と異なる fact4: この大赦令が姉夫婦だとすればこのファセット・アナリシスは回覧しない fact5: もし仮にとある物は御若いとすると「救い主であるけれど塗り分けない」ということは偽だ fact6: もし仮にこのファセット・アナリシスは回覧するということはないならば「そのリンドは回覧する一方で生成し易くない」ということは誤りだ fact7: もしとある物がデータ保護でないならばそれは御若いしそれにそれは姉夫婦である fact8: その元締めは御若い
fact2 & fact8 -> int1: この大赦令は姉夫婦である; int1 & fact4 -> int2: このファセット・アナリシスは回覧しない; int2 & fact6 -> hypothesis;
そのリンドは回覧するけれど生成し易くない
fact10 -> int3: そのリンドはデータ保護でないなら御若くておまけに姉夫婦だ; fact9 -> int4: 「「各部分であるしデータ保護である」ということは嘘な」ものはある;
$facts$ = fact1: もし仮にこのファセット・アナリシスは御若くないとしたら「その元締めは御若くてそれにそれは回覧する」ということは成り立たない fact2: もし仮にその元締めが御若いとするとこの大赦令は姉夫婦である fact3: 「その元締めは各部分であるしデータ保護である」ということは事実と異なる fact4: この大赦令が姉夫婦だとすればこのファセット・アナリシスは回覧しない fact5: もし仮にとある物は御若いとすると「救い主であるけれど塗り分けない」ということは偽だ fact6: もし仮にこのファセット・アナリシスは回覧するということはないならば「そのリンドは回覧する一方で生成し易くない」ということは誤りだ fact7: もしとある物がデータ保護でないならばそれは御若いしそれにそれは姉夫婦である fact8: その元締めは御若い ; $hypothesis$ = 「そのリンドは回覧するけど生成し易くない」ということは確かでない ; $proof$ = 
fact2 & fact8 -> int1: この大赦令は姉夫婦である; int1 & fact4 -> int2: このファセット・アナリシスは回覧しない; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にこのファセット・アナリシスは御若くないとしたら「その元締めは御若くてそれにそれは回覧する」ということは成り立たない
事実2: もし仮にその元締めが御若いとするとこの大赦令は姉夫婦である
事実3: 「その元締めは各部分であるしデータ保護である」ということは事実と異なる
事実4: この大赦令が姉夫婦だとすればこのファセット・アナリシスは回覧しない
事実5: もし仮にとある物は御若いとすると「救い主であるけれど塗り分けない」ということは偽だ
事実6: もし仮にこのファセット・アナリシスは回覧するということはないならば「そのリンドは回覧する一方で生成し易くない」ということは誤りだ
事実7: もしとある物がデータ保護でないならばそれは御若いしそれにそれは姉夫婦である
事実8: その元締めは御若い

仮説: 「そのリンドは回覧するけど生成し易くない」ということは確かでない
1. 事実2と事実8から、推論1: "この大赦令は姉夫婦である"が導かれる
2. 推論1と事実4から、推論2: "このファセット・アナリシスは回覧しない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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