「この効率的運用は繰り戻さないしその上東京郊外でない」ということは嘘だ
fact1: 仮にこの終了原因が差し込むということはないならばこの効率的運用は繰り戻すということはなくて東京郊外でない fact2: そのヒマラヤ杉は差し込むということはない fact3: この終了原因は差し込むということはない
$facts$ = fact1: 仮にこの終了原因が差し込むということはないならばこの効率的運用は繰り戻すということはなくて東京郊外でない fact2: そのヒマラヤ杉は差し込むということはない fact3: この終了原因は差し込むということはない ; $hypothesis$ = 「この効率的運用は繰り戻さないしその上東京郊外でない」ということは嘘だ ; $proof$ = 
事実1: 仮にこの終了原因が差し込むということはないならばこの効率的運用は繰り戻すということはなくて東京郊外でない
事実2: そのヒマラヤ杉は差し込むということはない
事実3: この終了原因は差し込むということはない

仮説: 「この効率的運用は繰り戻さないしその上東京郊外でない」ということは嘘だ