そのプロベネシドは独立する
fact1: あの監督機能はプロジェクト評価だ fact2: この各派閥は独立する fact3: 仮になにがしかのものがプロジェクト評価であるかあるいは塩っ辛いか両方だとしたらそのプロベネシドは独立する
fact1 -> int1: あの監督機能はプロジェクト評価であるかまたは塩っ辛い; int1 -> int2: 「プロジェクト評価であるか塩っ辛いかまたは両方な」ものはある; int2 & fact3 -> hypothesis;
$facts$ = fact1: あの監督機能はプロジェクト評価だ fact2: この各派閥は独立する fact3: 仮になにがしかのものがプロジェクト評価であるかあるいは塩っ辛いか両方だとしたらそのプロベネシドは独立する ; $hypothesis$ = そのプロベネシドは独立する ; $proof$ = 
fact1 -> int1: あの監督機能はプロジェクト評価であるかまたは塩っ辛い; int1 -> int2: 「プロジェクト評価であるか塩っ辛いかまたは両方な」ものはある; int2 & fact3 -> hypothesis; __PROVED__
事実1: あの監督機能はプロジェクト評価だ
事実2: この各派閥は独立する
事実3: 仮になにがしかのものがプロジェクト評価であるかあるいは塩っ辛いか両方だとしたらそのプロベネシドは独立する

仮説: そのプロベネシドは独立する
1. 事実1から、推論1: "あの監督機能はプロジェクト評価であるかまたは塩っ辛い"が導かれる
2. 推論1から、推論2: "「プロジェクト評価であるか塩っ辛いかまたは両方な」ものはある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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