このＩＰＣＣは通謀しない
fact1: 「このＩＰＣＣは通謀するということはない」ということは確かだ fact2: 「このアルは通謀するということはない」ということは確かだ
$facts$ = fact1: 「このＩＰＣＣは通謀するということはない」ということは確かだ fact2: 「このアルは通謀するということはない」ということは確かだ ; $hypothesis$ = このＩＰＣＣは通謀しない ; $proof$ = 
事実1: 「このＩＰＣＣは通謀するということはない」ということは確かだ
事実2: 「このアルは通謀するということはない」ということは確かだ

仮説: このＩＰＣＣは通謀しない