そのウインドーズ版は打ち振らない
fact1: そのウインドーズ版は戻るということはないしさらに大島中将でないならそれは打ち振る fact2: そのウインドーズ版は戻るということはなくて大島中将でない
$facts$ = fact1: そのウインドーズ版は戻るということはないしさらに大島中将でないならそれは打ち振る fact2: そのウインドーズ版は戻るということはなくて大島中将でない ; $hypothesis$ = そのウインドーズ版は打ち振らない ; $proof$ = 
事実1: そのウインドーズ版は戻るということはないしさらに大島中将でないならそれは打ち振る
事実2: そのウインドーズ版は戻るということはなくて大島中将でない

仮説: そのウインドーズ版は打ち振らない