その飲料費はフィードバック情報である一方で優越しない
fact1: もし仮にとある物は欠場すれば「フィードバック情報だしかつそれは優越しない」ということは成り立たない fact2: もし仮にあのセクシュアル・ハラスメントが欠場するならその飲料費はフィードバック情報である一方でそれは優越しない fact3: 「もし「その飲料費は優越する」ということは偽でないなら「あのセクシュアル・ハラスメントはフィードバック情報だがそれは欠場するということはない」ということは成り立つ」ということは真実だ fact4: その飲料費は優越しない fact5: このリンパ節転移度は欠場する fact6: 「あのセクシュアル・ハラスメントは淡い」ということは事実だ fact7: もし仮にあのセクシュアル・ハラスメントが欠場するとするとその飲料費は優越するということはない fact8: あのセクシュアル・ハラスメントは欠場する
fact2 & fact8 -> hypothesis;
fact2 & fact8 -> hypothesis;
「その飲料費はフィードバック情報だけれど優越しない」ということは成り立たない
fact9 -> int1: その飲料費は欠場するなら「フィードバック情報であるし更に優越しない」ということは成り立たない;
$facts$ = fact1: もし仮にとある物は欠場すれば「フィードバック情報だしかつそれは優越しない」ということは成り立たない fact2: もし仮にあのセクシュアル・ハラスメントが欠場するならその飲料費はフィードバック情報である一方でそれは優越しない fact3: 「もし「その飲料費は優越する」ということは偽でないなら「あのセクシュアル・ハラスメントはフィードバック情報だがそれは欠場するということはない」ということは成り立つ」ということは真実だ fact4: その飲料費は優越しない fact5: このリンパ節転移度は欠場する fact6: 「あのセクシュアル・ハラスメントは淡い」ということは事実だ fact7: もし仮にあのセクシュアル・ハラスメントが欠場するとするとその飲料費は優越するということはない fact8: あのセクシュアル・ハラスメントは欠場する ; $hypothesis$ = その飲料費はフィードバック情報である一方で優越しない ; $proof$ = 
fact2 & fact8 -> hypothesis; __PROVED__
事実1: もし仮にとある物は欠場すれば「フィードバック情報だしかつそれは優越しない」ということは成り立たない
事実2: もし仮にあのセクシュアル・ハラスメントが欠場するならその飲料費はフィードバック情報である一方でそれは優越しない
事実3: 「もし「その飲料費は優越する」ということは偽でないなら「あのセクシュアル・ハラスメントはフィードバック情報だがそれは欠場するということはない」ということは成り立つ」ということは真実だ
事実4: その飲料費は優越しない
事実5: このリンパ節転移度は欠場する
事実6: 「あのセクシュアル・ハラスメントは淡い」ということは事実だ
事実7: もし仮にあのセクシュアル・ハラスメントが欠場するとするとその飲料費は優越するということはない
事実8: あのセクシュアル・ハラスメントは欠場する

仮説: その飲料費はフィードバック情報である一方で優越しない
1. 事実2と事実8から、仮説が導かれる

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