その菊花は要約出来ない
fact1: そのプッシュダウンオートマトンは経済統制である fact2: そのプッシュダウンオートマトンが経済統制であるならその菊花は要約出来る
$facts$ = fact1: そのプッシュダウンオートマトンは経済統制である fact2: そのプッシュダウンオートマトンが経済統制であるならその菊花は要約出来る ; $hypothesis$ = その菊花は要約出来ない ; $proof$ = 
事実1: そのプッシュダウンオートマトンは経済統制である
事実2: そのプッシュダウンオートマトンが経済統制であるならその菊花は要約出来る

仮説: その菊花は要約出来ない