このＷＷＷサーバーは貿易である
fact1: 「このレコードメニューは居眠りしない」ということは嘘でない fact2: その登録会社は幼しということはない fact3: もしこのアニュアルレポートが金塊であるとすればこの定量化は重要ポストである fact4: もし「この定量化は重要ポストである」ということは成り立つとするとその登録会社は幼しない fact5: 「この司法組織は居眠りしない」ということは嘘でない fact6: 「この司法組織は転写因子でない一方で居眠りする」ということは成り立つということはない fact7: もし仮にこの司法組織は居眠りするということはないならば「このアニュアルレポートは金塊でないがしかし根強い」ということは本当でない fact8: もしこの司法組織は居眠りしないとしたら「「このアニュアルレポートは金塊だしかつ根強い」ということは成り立たない」ということは成り立つ fact9: この管制盤が転写因子でないとするとそのキオスク端末は群がり集まる fact10: 「もし仮に「「このアニュアルレポートは金塊でないが重要ポストである」ということは嘘である」ということは成り立つとしたらこの定量化は根強い」ということは成り立つ fact11: なにがしかの物は群がり集まらないならば「それは転写因子であるしそれはランチメニューだ」ということは事実と異なる fact12: もしもなにかは転写因子でないとしたらそれは過不足無いしかつ幼し fact13: もし「このアニュアルレポートは金塊でない一方で根強い」ということは事実でないとすればあの定量化は重要ポストである fact14: もし「とあるものは転写因子だしランチメニューである」ということは成り立たないならばそれは転写因子でない fact15: 仮に「この司法組織は重要ポストでないけれど貿易である」ということは事実でないとすればこのＷＷＷサーバーは貿易だということはない fact16: この定量化が重要ポストであるならその登録会社は幼しないししかもそれは過不足無くない fact17: もしその登録会社は過不足無くないとすると「この管制盤は過不足無くないけど転写因子だ」ということは間違いである fact18: このアニュアルレポートは居眠りするとしたら「この司法組織は重要ポストでないが貿易だ」ということは偽だ fact19: 「このアニュアルレポートは金塊だし加えて根強い」ということは事実でない fact20: 「幼しものは居眠りする」ということは成り立つ fact21: もし仮にこのアニュアルレポートが青くないとするとそれは群がり集まらない fact22: 「もしそのキオスク端末が群がり集まるとしたらこのＷＷＷサーバーは貿易である」ということは本当である fact23: 仮に「この管制盤は過不足無くないけれど転写因子だ」ということは間違っているとするとそのキオスク端末は群がり集まる
fact7 & fact5 -> int1: 「このアニュアルレポートは金塊でないけど根強い」ということは間違っている; int1 & fact13 -> int2: この定量化は重要ポストだ; int2 & fact16 -> int3: その登録会社は幼しということはないし過不足無くない; int3 -> int4: 「その登録会社は過不足無くない」ということは成り立つ; int4 & fact17 -> int5: 「この管制盤は過不足無いということはないけど転写因子である」ということは誤っている; int5 & fact23 -> int6: そのキオスク端末は群がり集まる; int6 & fact22 -> hypothesis;
このＷＷＷサーバーは貿易でない
fact28 -> int7: このアニュアルレポートが幼しとすれば居眠りする; fact24 -> int8: 仮にこのアニュアルレポートは転写因子でないならばそれは過不足無くて加えて幼し; fact27 -> int9: 「このアニュアルレポートが転写因子だし更にそれはランチメニューである」ということは成り立たないとすれば転写因子でない; fact30 -> 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: 仮に「この管制盤は過不足無くないけれど転写因子だ」ということは間違っているとするとそのキオスク端末は群がり集まる ; $hypothesis$ = このＷＷＷサーバーは貿易である ; $proof$ = 
fact7 & fact5 -> int1: 「このアニュアルレポートは金塊でないけど根強い」ということは間違っている; int1 & fact13 -> int2: この定量化は重要ポストだ; int2 & fact16 -> int3: その登録会社は幼しということはないし過不足無くない; int3 -> int4: 「その登録会社は過不足無くない」ということは成り立つ; int4 & fact17 -> int5: 「この管制盤は過不足無いということはないけど転写因子である」ということは誤っている; int5 & fact23 -> int6: そのキオスク端末は群がり集まる; int6 & fact22 -> 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: 仮に「この管制盤は過不足無くないけれど転写因子だ」ということは間違っているとするとそのキオスク端末は群がり集まる

仮説: このＷＷＷサーバーは貿易である
1. 事実7と事実5から、推論1: "「このアニュアルレポートは金塊でないけど根強い」ということは間違っている"が導かれる
2. 推論1と事実13から、推論2: "この定量化は重要ポストだ"が導かれる
3. 推論2と事実16から、推論3: "その登録会社は幼しということはないし過不足無くない"が導かれる
4. 推論3から、推論4: "「その登録会社は過不足無くない」ということは成り立つ"が導かれる
5. 推論4と事実17から、推論5: "「この管制盤は過不足無いということはないけど転写因子である」ということは誤っている"が導かれる
6. 推論5と事実23から、推論6: "そのキオスク端末は群がり集まる"が導かれる
7. 推論6と事実22から、仮説が導かれる

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