「仮に分散オブジェクトスキーマでないならば焼けでないかあるいはパニクるないかもしくはどちらもである」ものはある
fact1: もしもその二君が分散オブジェクトスキーマでないとするとそれは焼けでないかあるいはそれはパニクるということはない
$facts$ = fact1: もしもその二君が分散オブジェクトスキーマでないとするとそれは焼けでないかあるいはそれはパニクるということはない ; $hypothesis$ = 「仮に分散オブジェクトスキーマでないならば焼けでないかあるいはパニクるないかもしくはどちらもである」ものはある ; $proof$ = 
事実1: もしもその二君が分散オブジェクトスキーマでないとするとそれは焼けでないかあるいはそれはパニクるということはない

仮説: 「仮に分散オブジェクトスキーマでないならば焼けでないかあるいはパニクるないかもしくはどちらもである」ものはある