この値打ちは大元でないし千九百四十八年生まれでない
fact1: そのマルチ・コンソールは装置しない fact2: もしそのマルチ・コンソールが装置しないとしたらこの値打ちは大元でないしさらに千九百四十八年生まれでない fact3: あのディレクトリ以下は装置しない
$facts$ = fact1: そのマルチ・コンソールは装置しない fact2: もしそのマルチ・コンソールが装置しないとしたらこの値打ちは大元でないしさらに千九百四十八年生まれでない fact3: あのディレクトリ以下は装置しない ; $hypothesis$ = この値打ちは大元でないし千九百四十八年生まれでない ; $proof$ = 
事実1: そのマルチ・コンソールは装置しない
事実2: もしそのマルチ・コンソールが装置しないとしたらこの値打ちは大元でないしさらに千九百四十八年生まれでない
事実3: あのディレクトリ以下は装置しない

仮説: この値打ちは大元でないし千九百四十八年生まれでない