この達成は仲介だということはない
fact1: この二年後は御分かり頂ける fact2: このノックは御分かり頂ける fact3: もし「この二年後は御分かり頂ける」ということは事実であるならばあの達成は仲介だということはない
$facts$ = fact1: この二年後は御分かり頂ける fact2: このノックは御分かり頂ける fact3: もし「この二年後は御分かり頂ける」ということは事実であるならばあの達成は仲介だということはない ; $hypothesis$ = この達成は仲介だということはない ; $proof$ = 
事実1: この二年後は御分かり頂ける
事実2: このノックは御分かり頂ける
事実3: もし「この二年後は御分かり頂ける」ということは事実であるならばあの達成は仲介だということはない

仮説: この達成は仲介だということはない