このオネスト・ラボーロはＲ．Ｖ．システムであるということはない
fact1: このオネスト・ラボーロはＲ．Ｖ．システムである
$facts$ = fact1: このオネスト・ラボーロはＲ．Ｖ．システムである ; $hypothesis$ = このオネスト・ラボーロはＲ．Ｖ．システムであるということはない ; $proof$ = 
事実1: このオネスト・ラボーロはＲ．Ｖ．システムである

仮説: このオネスト・ラボーロはＲ．Ｖ．システムであるということはない